gui: reduce size of log dock

2016-01-27 20:51:34 +01:00 · 2016-01-27 20:51:34 +01:00 · cfa4f791e8
parent dca44ef501
commit cfa4f791e8
1 changed files with 1 additions and 1 deletions
--- a/artiq/gui/log.py
+++ b/artiq/gui/log.py
@ -147,7 +147,7 @@ class _LogFilterProxyModel(QSortFilterProxyModel):
 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)