Mark Thompson 96cdb2e9e0
Keyboard tweaks (#1338)
* Disallow 1-time shift in digits/symbols mode

* Slightly wider "123" button and smaller OK button

* Slightly wider "123" button and smaller OK button
2023-08-01 14:25:26 -05:00
..
2023-08-01 14:25:26 -05:00
2019-02-03 18:25:11 +00:00
2023-06-07 11:25:35 +02:00
2023-07-31 21:44:05 -07:00
2023-07-31 21:44:05 -07:00
2023-07-30 09:36:57 +02:00