Jules Aguillon b85b67c2f0 Swap Ctrl and switch_numeric keys ... The switch_numeric key is generally more important, especially in the numeric pane.		2022-04-03 12:48:29 +02:00
..
juloo.common	Correct displayed value when cancelling settings modification	2022-03-21 00:39:40 +01:00
juloo.keyboard2	Swap Ctrl and switch_numeric keys	2022-04-03 12:48:29 +02:00
special_font	Update Space Glyph	2022-04-02 17:36:10 +02:00