Jules Aguillon 87144fd3a8 Reduce the text size for some keys ... The symbols are now smaller for Shift, Space, Backspace, Delete and some keys on the bottom row. The previous rule was to make the text smaller for symbols made of several characters. This is changed to a flag approach.		2022-02-27 15:23:36 +01:00
..
juloo.common	Auto-format Java and XML files	2021-12-19 19:44:27 +01:00
juloo.keyboard2	Reduce the text size for some keys	2022-02-27 15:23:36 +01:00