diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2014-11-13 14:27:30 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2014-11-13 14:27:30 -0800 |
| commit | b2077dc9c0bb9eeccbf48980d0d22269b621e8c3 (patch) | |
| tree | 7b4d62f9a36a1de4701c9ea58df8c8924cb4a41f /qt-ui/printoptions.h | |
| parent | d765f7a991e3598cbf75aa317f1ab3392fa538b5 (diff) | |
| download | subsurface-b2077dc9c0bb9eeccbf48980d0d22269b621e8c3.tar.gz | |
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>
Diffstat (limited to 'qt-ui/printoptions.h')
0 files changed, 0 insertions, 0 deletions