qgis/QGIS — pull request #1686 by alexbruy (2014-11-13 15:11:12+00:00)
Title: switch DB Manager's SQL editor to QgsCodeEditorSQL

As now we have Scintilla-based code editors in core, it makes sense to use them instead of custom widgets