Dirk Hohndel
b0a0e1e374
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>
2018-10-23 22:45:30 +01:00
2018-10-23 22:45:29 +01:00
2018-10-01 05:29:46 -07:00
2018-10-09 10:03:21 -07:00
2018-10-12 08:22:26 -07:00
2018-10-01 05:29:46 -07:00
2018-10-01 05:29:46 -07:00
2018-10-23 22:45:30 +01:00
2018-10-07 17:43:34 +03:00
2018-10-12 08:22:26 -07:00
2018-10-07 17:43:34 +03:00
2018-10-01 05:29:46 -07:00
2018-10-01 05:29:46 -07:00
2018-10-23 22:45:30 +01:00
2018-10-01 05:29:46 -07:00
2018-10-23 22:45:29 +01:00
2017-04-01 09:35:51 +02:00
2018-10-23 22:45:30 +01:00
2018-10-01 05:29:46 -07:00
2018-10-01 05:29:46 -07:00
2018-10-21 14:43:41 -04:00
2018-10-01 05:29:46 -07:00
2018-10-01 05:29:46 -07:00
b0a0e1e374