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