From 9a5196c33ff0ab5cf5492eb4ea536ac8f7cb4d2f Mon Sep 17 00:00:00 2001 From: Marcel Date: Wed, 23 Aug 2017 09:20:59 +0200 Subject: [PATCH] [minor] cosmetics --- pylot/core/util/widgets.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pylot/core/util/widgets.py b/pylot/core/util/widgets.py index a91216f3..d863fe77 100644 --- a/pylot/core/util/widgets.py +++ b/pylot/core/util/widgets.py @@ -2051,6 +2051,8 @@ class AutoPickWidget(QWidget): self.main_layout.setStretch(0, 0) self.main_layout.setStretch(1, 1) + self.main_splitter.setStretchFactor(0, 1) + self.main_splitter.setStretchFactor(1, 2) def connect_buttons(self): self.start_button.clicked.connect(self.start_picker) @@ -2109,6 +2111,8 @@ class AutoPickWidget(QWidget): tooltip += '{}'.format(event.pylot_id) if not index + 1 == len(eventlist): tooltip += '\n' + if not tooltip: + tooltip = 'No events for this selection' self.rb_dict[key].setToolTip(tooltip) def start_picker(self):