From f78e686b3536b498b4bcea63197795dc3032f0e1 Mon Sep 17 00:00:00 2001
From: Dirk Hohndel <dirk@hohndel.org>
Date: Tue, 19 Feb 2019 09:32:55 -0800
Subject: 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>
---
 desktop-widgets/mainwindow.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'desktop-widgets')

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>&amp;Filter divelist</string>
-- 
cgit v1.2.3-70-g09d2