From 2384dbd193aca4d9b96485907fc58e1223ac7d50 Mon Sep 17 00:00:00 2001
From: Guido Tack <guido.tack@monash.edu>
Date: Fri, 20 Dec 2019 16:33:00 +1100
Subject: [PATCH] Make strings italic (to match interpolated strings)

---
 MiniZincIDE/highlighter.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/MiniZincIDE/highlighter.cpp b/MiniZincIDE/highlighter.cpp
index c256534..7aeb3c4 100644
--- a/MiniZincIDE/highlighter.cpp
+++ b/MiniZincIDE/highlighter.cpp
@@ -122,6 +122,7 @@ void Highlighter::highlightBlock(const QString &text)
 
     QTextCharFormat stringFormat;
     stringFormat.setForeground(stringColor);
+    stringFormat.setFontItalic(true);
     QTextCharFormat interpolateFormat;
     interpolateFormat.setFontItalic(true);