From bae0d482a28dab310eae7e0339d858e05215ddfa Mon Sep 17 00:00:00 2001
From: Salvo 'LtWorf' Tomaselli <tiposchi@tiscali.it>
Date: Thu, 4 Jun 2015 22:30:39 +0200
Subject: [PATCH] Set font for windows

Apparently the new symbols used are not present in Dejavu fonts.

However they should be present in Cambria, which should be shipped
by default on windows.
---
 relational_gui.py         | 8 +++++++-
 relational_gui/maingui.ui | 2 +-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/relational_gui.py b/relational_gui.py
index 21f3a80..f5bd704 100755
--- a/relational_gui.py
+++ b/relational_gui.py
@@ -103,8 +103,14 @@ if __name__ == "__main__":
 
         ui = maingui.Ui_MainWindow()
         form = guihandler.relForm(ui)
-
         ui.setupUi(form)
+        if sys.platform.startswith('win'):
+            winFont = 'Cambria'
+            ui.lstHistory.setFont(QtGui.QFont(winFont))
+            ui.txtMultiQuery.setFont(QtGui.QFont(winFont))
+            ui.txtQuery.setFont(QtGui.QFont(winFont))
+            ui.groupOperators.setFont(QtGui.QFont(winFont))
+
         form.restore_settings()
 
         m = enumerate(map(os.path.isfile, files))
diff --git a/relational_gui/maingui.ui b/relational_gui/maingui.ui
index 5051d85..9750a6c 100644
--- a/relational_gui/maingui.ui
+++ b/relational_gui/maingui.ui
@@ -47,7 +47,7 @@
          </widget>
         </item>
         <item>
-         <widget class="QGroupBox" name="groupBox_4">
+         <widget class="QGroupBox" name="groupOperators">
           <property name="title">
            <string>Operators</string>
           </property>