From 5979f85c1c7851805eb0b9e827d4b05d3afe8fbd Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sat, 25 Jul 2015 11:38:26 +0800
Subject: [PATCH] gui: use monospace font in log

---
 artiq/gui/log.py | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/artiq/gui/log.py b/artiq/gui/log.py
index 7a0fb4894..8c7a99c24 100644
--- a/artiq/gui/log.py
+++ b/artiq/gui/log.py
@@ -12,6 +12,15 @@ class _LogModel(ListSyncModel):
         ListSyncModel.__init__(self,
             ["RID", "Message"],
             parent, init)
+        self.fixed_font = QtGui.QFont()
+        self.fixed_font.setFamily("Monospace")
+
+    def data(self, index, role):
+        if (role == QtCore.Qt.FontRole and index.isValid()
+                and index.column() == 1):
+            return self.fixed_font
+        else:
+            return ListSyncModel.data(self, index, role)
 
     def convert(self, v, column):
         return v[column]