Skip to content

Commit

Permalink
Fix highlighting after saving a file to a different path
Browse files Browse the repository at this point in the history
  • Loading branch information
guidotack committed Jul 29, 2015
1 parent 41096ee commit dafd8ed
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion MiniZincIDE/codeeditor.cpp
100644 → 100755
Original file line number Diff line number Diff line change
Expand Up @@ -87,7 +87,7 @@ void CodeEditor::setDocument(QTextDocument *document)
QPlainTextEdit::setDocument(document);
if (document) {
QFont f= font();
highlighter = new Highlighter(f,document);
highlighter = new Highlighter(f,darkMode,document);
connect(document, SIGNAL(modificationChanged(bool)), this, SLOT(docChanged(bool)));
}
}
Expand Down

0 comments on commit dafd8ed

Please sign in to comment.