From 7cff4977b4ca21f269469af4b9c58bc065101aaa Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Tue, 29 Mar 2016 17:10:37 +0800 Subject: [PATCH] gui/applets: use a better default size, make minimum size proportional to font --- artiq/gui/applets.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/artiq/gui/applets.py b/artiq/gui/applets.py index f9c93d9f5..78ff02d1f 100644 --- a/artiq/gui/applets.py +++ b/artiq/gui/applets.py @@ -89,7 +89,10 @@ 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)) + + qfm = QtGui.QFontMetrics(self.font()) + self.setMinimumSize(20*qfm.averageCharWidth(), 5*qfm.lineSpacing()) + self.resize(40*qfm.averageCharWidth(), 10*qfm.lineSpacing()) self.datasets_sub = datasets_sub self.applet_name = name