From dafd8eddc33e4c38cd29b52f4fb03459794054b3 Mon Sep 17 00:00:00 2001
From: Guido Tack <guido.tack@monash.edu>
Date: Wed, 29 Jul 2015 11:29:30 +1000
Subject: [PATCH] Fix highlighting after saving a file to a different path

---
 MiniZincIDE/codeeditor.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 mode change 100644 => 100755 MiniZincIDE/codeeditor.cpp

diff --git a/MiniZincIDE/codeeditor.cpp b/MiniZincIDE/codeeditor.cpp
old mode 100644
new mode 100755
index b0a6b57..4b53022
--- a/MiniZincIDE/codeeditor.cpp
+++ b/MiniZincIDE/codeeditor.cpp
@@ -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)));
     }
 }