Jules Aguillon 1eea9e25d2 Remove the Accents option ... This option makes less sense since per-script extra keys. It's also getting in the way of an eventual "dead-key or accented-letters" option.		2023-08-06 17:15:35 +02:00
..
juloo.common	Correct displayed value when cancelling settings modification	2022-03-21 00:39:40 +01:00
juloo.keyboard2	Remove the Accents option	2023-08-06 17:15:35 +02:00
special_font	font: Move glyphs into the PUA	2023-08-02 20:39:37 +02:00