mirror of
https://github.com/qgis/QGIS.git
synced 2025-10-11 00:04:09 -04: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)