gui: reduce size of log dock

m-labs · Jan 27, 2016 · cfa4f79 · cfa4f79
1 parent dca44ef
commit cfa4f79
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/artiq/gui/log.py b/artiq/gui/log.py
@@ -147,7 +147,7 @@ def set_freetext(self, freetext):
 class _LogDock(dockarea.Dock):
     def __init__(self, manager, name, log_sub):
         dockarea.Dock.__init__(self, name, label="Log")
-        self.setMinimumSize(QtCore.QSize(850, 450))
+        self.setMinimumSize(QtCore.QSize(720, 250))
 
         grid = LayoutWidget()
         self.addWidget(grid)