From cfa4f791e87e664d63d3592c1a0ce7faeba3d097 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 27 Jan 2016 20:51:34 +0100
Subject: [PATCH] gui: reduce size of log dock

---
 artiq/gui/log.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/artiq/gui/log.py b/artiq/gui/log.py
index 4e068f623..474d040c9 100644
--- 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)