From b2077dc9c0bb9eeccbf48980d0d22269b621e8c3 Mon Sep 17 00:00:00 2001 From: Dirk Hohndel Date: Thu, 13 Nov 2014 14:27:30 -0800 Subject: Better menu entry for filter This is no longer just a tag filter. Also, since we use this entry (and its shortcut) like a toggle we should mark the menu entry accordingly. Signed-off-by: Dirk Hohndel --- qt-ui/mainwindow.ui | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/qt-ui/mainwindow.ui b/qt-ui/mainwindow.ui index 7b75c2802..5dfde4fb9 100644 --- a/qt-ui/mainwindow.ui +++ b/qt-ui/mainwindow.ui @@ -836,8 +836,11 @@ p, li { white-space: pre-wrap; } + + true + - &Filter by tags + &Filter divelist Ctrl+F -- cgit v1.2.3-70-g09d2