diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2020-02-12 06:58:47 -0800 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2020-02-13 14:01:34 -0800 |
commit | 619de80dfd1e896bf023ba8c3f8ee3297fcd3abb (patch) | |
tree | d9ca63bc100d97d921cb775f3f3b94130a293d5e /core | |
parent | 639be7149f3daa27a7a6c54cb8b12ea747eeb8a6 (diff) | |
download | subsurface-619de80dfd1e896bf023ba8c3f8ee3297fcd3abb.tar.gz |
mobile UI: restructure menu
This changes the 'GPS' entry to be called 'Location', moves the 'Map' entry
below that, and reuses the map icon for both the map inside this submenu and
for the main menu item.
It moves the 'About' entry under 'Help' and both 'Export' and 'Dive summary'
under 'Dive management'.
This way we have only five (or with 'Developer' enabled, six) entries in the
main menu making it much more appropriate for really tiny screens.
Additionally, the entrieis moved into sub-menus are ones that are not all that
commonly used.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions