From 7be9fc28fa1c06a8de1b46136cf7fad877503644 Mon Sep 17 00:00:00 2001 From: Marcel Date: Tue, 9 Jan 2018 12:21:49 +0100 Subject: [PATCH] [minor] beautification --- pylot/RELEASE-VERSION | 2 +- pylot/core/util/widgets.py | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/pylot/RELEASE-VERSION b/pylot/RELEASE-VERSION index 8cae57c1..e4008af6 100644 --- a/pylot/RELEASE-VERSION +++ b/pylot/RELEASE-VERSION @@ -1 +1 @@ -fe81b-dirty +a81c9-dirty diff --git a/pylot/core/util/widgets.py b/pylot/core/util/widgets.py index fe5788c9..8ffe0848 100644 --- a/pylot/core/util/widgets.py +++ b/pylot/core/util/widgets.py @@ -1165,7 +1165,7 @@ class PickDlg(QDialog): else: self.filteroptions = FILTERDEFAULTS self.pick_block = False - self.nextStation = QtGui.QCheckBox('Continue with next station.') + self.nextStation = QtGui.QCheckBox('Continue with next station ') # initialize panning attributes self.press = None @@ -1336,6 +1336,7 @@ class PickDlg(QDialog): _dialtoolbar.addAction(self.resetZoomAction) _dialtoolbar.addSeparator() _dialtoolbar.addAction(self.resetPicksAction) + _dialtoolbar.addSeparator() if self._embedded: manu_label = QLabel('Manual Onsets:') manu_label.setStyleSheet('QLabel {' @@ -1346,6 +1347,7 @@ class PickDlg(QDialog): _dialtoolbar.addWidget(self.reject_button) else: _dialtoolbar.addWidget(self.nextStation) + _dialtoolbar.addSeparator() est_label = QLabel('Estimated onsets:') est_label.setStyleSheet('QLabel {' 'padding:2px;'