From 9797acc9642c050f3eec50d820025a2e5d43b0db Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sun, 14 Feb 2016 23:27:59 +0100
Subject: [PATCH] gui/applets: prevent size from shrinking to zero when docked

---
 artiq/gui/applets.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/artiq/gui/applets.py b/artiq/gui/applets.py
index 2a8732f5a..a4a29b475 100644
--- a/artiq/gui/applets.py
+++ b/artiq/gui/applets.py
@@ -89,6 +89,7 @@ class AppletDock(QDockWidgetCloseDetect):
     def __init__(self, datasets_sub, uid, name, command):
         QDockWidgetCloseDetect.__init__(self, "Applet: " + name)
         self.setObjectName("applet" + str(uid))
+        self.setMinimumSize(QtCore.QSize(100, 100))
 
         self.datasets_sub = datasets_sub
         self.applet_name = name