db manager: re-enable margins with line numbers in sql editor

(fixes #15110)
This commit is contained in:
Juergen E. Fischer 2016-06-22 22:41:09 +02:00
parent c92afcf2c6
commit d9f934f950
2 changed files with 3 additions and 2 deletions

View File

@ -70,6 +70,7 @@ class DlgSqlWindow(QWidget, Ui_Dialog):
self.editSql.setFocus()
self.editSql.setVerticalScrollBarPolicy(Qt.ScrollBarAsNeeded)
self.editSql.setMarginVisible(True)
self.initCompleter()
# allow copying results

View File

@ -39,8 +39,8 @@ class GUI_EXPORT QgsCodeEditor : public QsciScintilla
*
* @param parent The parent QWidget
* @param title The title to show in the code editor dialog
* @param folding False: Enable margin for code editor
* @param margin False: Enable folding for code editor
* @param folding false: Enable folding for code editor
* @param margin false: Enable margin for code editor
* @note added in 2.6
*/
QgsCodeEditor( QWidget *parent = nullptr, const QString& title = "", bool folding = false, bool margin = false );