diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-02-19 09:32:55 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-02-19 12:02:58 -0800 |
| commit | f78e686b3536b498b4bcea63197795dc3032f0e1 (patch) | |
| tree | dd7bcd3d646362923a514643aa95e1452d0703c0 | |
| parent | c1aaea8d766598861359bc8b05428b7c7ac50f8c (diff) | |
| download | subsurface-f78e686b3536b498b4bcea63197795dc3032f0e1.tar.gz | |
Desktop: remove checkmark from Filter divelist entry in Log menu
That's redundant with the information that we show in the window title (and
only risks going out of sync, as it is right now).
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
| -rw-r--r-- | desktop-widgets/mainwindow.ui | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/desktop-widgets/mainwindow.ui b/desktop-widgets/mainwindow.ui index b92a02e5f..3548280e8 100644 --- a/desktop-widgets/mainwindow.ui +++ b/desktop-widgets/mainwindow.ui @@ -626,7 +626,7 @@ </action> <action name="actionFilterTags"> <property name="checkable"> - <bool>true</bool> + <bool>false</bool> </property> <property name="text"> <string>&Filter divelist</string> |