diff options
| author |  Jan Mulder <jlmulder@xs4all.nl> | 2017-12-26 11:36:43 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2017-12-26 13:08:37 -0800 |
| commit | ff3b107a9de188fd58e010d6b86f30a786293ada (patch) | |
| tree | 669162b18c8244240322dc412ff1ee2f5fb0aa80 /android | |
| parent | 702ec37145d04b2a81b27fec7bb2fa852899c9a0 (diff) | |
| download | subsurface-ff3b107a9de188fd58e010d6b86f30a786293ada.tar.gz | |
mobile: close GPS menu drawer when selected
This is mainly a cosmetic improvement. The GPS menu stayed
visible, when selecting most of the options. This looks weird,
as the close of the menu is also an indication of the selected
action carried out. So, just close it
Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>
Diffstat (limited to 'android')
0 files changed, 0 insertions, 0 deletions