diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-10-20 12:01:21 -0400 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-10-23 22:45:30 +0100 |
| commit | b0a0e1e3740232e1d83ed3ad5f46c241d7b4c25c (patch) | |
| tree | 5612fad644f4d9a2a96a25ab4909344e5b8adc5a /theme/sand.css | |
| parent | 466a0bf75838e67e96b61f296de06205f2177030 (diff) | |
| download | subsurface-b0a0e1e3740232e1d83ed3ad5f46c241d7b4c25c.tar.gz | |
Mobile/filtering: simplify the filter toggle
Simply make it always reset the filter. There's no point remembering the last
filter pattern and explicitly setting it, if the last thing we do is to reset
this pattern.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'theme/sand.css')
0 files changed, 0 insertions, 0 deletions