From ebb959cd50690907abfc79559f9f8fb3cd8f3adf Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 27 Jan 2016 21:25:42 +0100
Subject: [PATCH] gui: reduce size of console dock

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

diff --git a/artiq/gui/console.py b/artiq/gui/console.py
index 99fba1fd6..0ec286d55 100644
--- a/artiq/gui/console.py
+++ b/artiq/gui/console.py
@@ -17,7 +17,7 @@ The following functions are available:
 class ConsoleDock(dockarea.Dock):
     def __init__(self, dataset_sub, dataset_ctl):
         dockarea.Dock.__init__(self, "Console")
-        self.setMinimumSize(QtCore.QSize(850, 300))
+        self.setMinimumSize(QtCore.QSize(720, 300))
         self.dataset_sub = dataset_sub
         self.dataset_ctl = dataset_ctl
         ns = {