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 <dirk@hohndel.org>
This commit is contained in:
Dirk Hohndel 2014-11-13 14:27:30 -08:00
parent d765f7a991
commit b2077dc9c0

View file

@ -836,8 +836,11 @@ p, li { white-space: pre-wrap; }
</property>
</action>
<action name="actionFilterTags">
<property name="checkable">
<bool>true</bool>
</property>
<property name="text">
<string>&amp;Filter by tags</string>
<string>&amp;Filter divelist</string>
</property>
<property name="shortcut">
<string>Ctrl+F</string>