diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-02-18 12:45:48 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-02-19 12:02:58 -0800 |
| commit | 208b3bb9af8039ef0e2fc70e0e617c24db047e5d (patch) | |
| tree | 4ddd2c2255e4ecc763b2fe813564f546591e6bf5 /desktop-widgets/usersurvey.ui | |
| parent | 106c682c03eb48b7248f05bc932cd7dbb9aac35b (diff) | |
| download | subsurface-208b3bb9af8039ef0e2fc70e0e617c24db047e5d.tar.gz | |
Desktop: don't clear the filter when the widget is hidden
Only clear the filter when the user explicitly resets it. This way the user can
toggle between the map and the filter widget without losing the filter state.
Fixes #1952
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/usersurvey.ui')
0 files changed, 0 insertions, 0 deletions