diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-03-29 14:56:06 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-03-30 09:16:55 -0700 |
| commit | fbe68a6e07cfa7574321b658b3a3e7c33062772f (patch) | |
| tree | ea863af6baf0ca1e29ae85f4d61e194a57c3f5f8 /.tx | |
| parent | c233803d4f583f8982c5ecb3a3feb948afa5b97d (diff) | |
| download | subsurface-fbe68a6e07cfa7574321b658b3a3e7c33062772f.tar.gz | |
mobile UI: don't exit when using back button to close drawers
An Android user might reasonably assume that they can use the back button to
close the global or context drawers. So act accordingly.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.tx')
0 files changed, 0 insertions, 0 deletions