1 files changed, 8 insertions, 0 deletions
diff --git a/mainwin.cc b/mainwin.cc
index 19f558a..d63990e 100644
--- a/mainwin.cc
+++ b/mainwin.cc
@@ -80,6 +80,7 @@ MainWindow::MainWindow(const char *filename)
 
 	s1 = new QSplitter(Qt::Horizontal, this);
 	editor = new QTextEdit(s1);
+	highlighter = new Highlighter(editor->document());
 
 	QFont font;
 	font.setStyleHint(QFont::TypeWriter);
@@ -411,6 +412,9 @@ void MainWindow::compile(bool procevents)
 
 	root_module = parse(editor->toPlainText().toAscii().data(), false);
 
+	delete highlighter;
+	highlighter = new Highlighter(editor->document());
+
 	if (!root_module) {
 		QTextCursor cursor = editor->textCursor();
 		cursor.setPosition(parser_error_pos);
@@ -861,7 +865,11 @@ void MainWindow::actionDisplayCSGProducts()
 	current_win = NULL;
 }
 
+#ifdef ENABLE_CGAL
 void MainWindow::actionExportSTLorOFF(bool stl_mode)
+#else
+void MainWindow::actionExportSTLorOFF(bool)
+#endif
 {
 	current_win = this;