diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-02-18 12:43:34 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-02-19 12:02:58 -0800 |
| commit | 106c682c03eb48b7248f05bc932cd7dbb9aac35b (patch) | |
| tree | 86cebe20693dacd6b366b8b9efaa8699f60b44ee /desktop-widgets/mapwidget.h | |
| parent | 0d7d3479521e520a25b150ce832a7504e3ac00f1 (diff) | |
| download | subsurface-106c682c03eb48b7248f05bc932cd7dbb9aac35b.tar.gz | |
Desktop: track if the filter widget is active
This is not perfect - if you open the filter, set some criterion and then
remove it again (without resetting the filter), this variable will give you a
false positive).
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/mapwidget.h')
0 files changed, 0 insertions, 0 deletions