diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-10-17 06:28:29 -0400 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-10-23 22:45:29 +0100 |
| commit | 65aa6bc43b763f9b391a3f414c4cda76c6e52062 (patch) | |
| tree | e873b404215e6d0b1d3e9fa64dc57399b26fe895 /printing_templates | |
| parent | 8f7633eff867e7d5437f9caf24e82f581bf624c0 (diff) | |
| download | subsurface-65aa6bc43b763f9b391a3f414c4cda76c6e52062.tar.gz | |
Mobile/filtering: make the search box an overlay
This way it stays at the top of the dive list.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'printing_templates')
0 files changed, 0 insertions, 0 deletions