gui/log: use QFontDatabase for fixed font

sbourdeauducq · sbourdeauducq · commit 1d92c0874e49 · 2016-01-29T23:21:22.000+01:00
diff --git a/artiq/gui/log.py b/artiq/gui/log.py
@@ -22,8 +22,7 @@ def __init__(self, init):
         timer.timeout.connect(self.timer_tick)
         timer.start(100)
 
-        self.fixed_font = QtGui.QFont()
-        self.fixed_font.setFamily("Monospace")
+        self.fixed_font = QtGui.QFontDatabase.systemFont(QtGui.QFontDatabase.FixedFont)
 
         self.white = QtGui.QBrush(QtGui.QColor(255, 255, 255))
         self.black = QtGui.QBrush(QtGui.QColor(0, 0, 0))
