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

@@ -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))

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>