diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-10-31 12:52:51 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-10-31 14:34:43 -0700 |
| commit | 4636fcc83469309362c3925ef80ade589ea409a0 (patch) | |
| tree | a20cdbac37add33560745036e5fed2a68bcde611 /.github | |
| parent | 26f6d95305acdb86c99e11c017987497d0238321 (diff) | |
| download | subsurface-4636fcc83469309362c3925ef80ade589ea409a0.tar.gz | |
Mobile/filtering: don't show the filter line when pulling divelist down
Even though the height was zero, when pulling down the dive list for refresh,
the filter input line would still be visible. With this fix it no longer is.
Also remove unused property.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions