Po Lu
45b5c9b8b7
Improve radio button appearance in Android menus
...
* java/org/gnu/emacs/EmacsContextMenu.java (EmacsContextMenu):
New field `lastGroupId'.
(Item): New field `isRadio'.
(addItem): New arg `isRadio'.
(inflateMenuItems): Apply an empty radio button group if
required.
* src/androidmenu.c (android_init_emacs_context_menu): Adjust
accordingly.
(android_menu_show): Likewise.
2023-03-17 13:10:23 +08:00
..
2023-03-11 11:35:59 +08:00
2023-03-01 12:00:46 +08:00
2023-01-24 10:34:40 +08:00
2023-03-17 13:10:23 +08:00
2023-03-01 12:00:46 +08:00
2023-03-10 15:16:13 +08:00
2023-03-15 09:46:01 +08:00
2023-03-16 14:13:21 +08:00
2023-01-19 22:19:06 +08:00
2023-03-05 19:58:28 +08:00
2023-03-01 12:00:46 +08:00
2023-03-05 19:58:28 +08:00
2023-03-05 19:58:28 +08:00
2023-03-01 12:00:46 +08:00
2023-03-05 19:58:28 +08:00
2023-03-01 12:00:46 +08:00
2023-03-05 19:58:28 +08:00
2023-03-05 19:58:28 +08:00
2023-03-05 19:58:28 +08:00
2023-03-10 19:13:22 +08:00
2023-03-05 19:58:28 +08:00
2023-03-13 13:25:02 +08:00
2023-03-01 12:00:46 +08:00
2023-03-01 12:00:46 +08:00
2023-03-05 19:58:28 +08:00
2023-03-05 19:58:28 +08:00
2023-03-01 12:00:46 +08:00
2023-03-01 12:00:46 +08:00
2023-03-13 13:25:02 +08:00
2023-03-01 12:00:46 +08:00
2023-03-13 13:25:02 +08:00
2023-03-17 10:38:09 +08:00
2023-03-14 13:19:01 +08:00
2023-03-17 10:38:09 +08:00