mirror of
https://github.com/qgis/QGIS.git
synced 2025-02-24 00:47:57 -05:00
This isn't required -- it was used to convert xml/json to a prettified HTML representation, but we get better results by just using the QgsCodeEditor widget subclasses instead (eg bracket highlighting, collapsing, line numbers etc)