Jules Aguillon cd95c589de Extra keys alternatives ... For each extra key, a list of alternative can be specified. An extra key won't be added to the keyboard if all its alternatives are already present on it. This is useful to avoid having the dead key for an accent and the accented letters at the same time.		2023-08-06 17:14:23 +02:00
..
juloo.common	Correct displayed value when cancelling settings modification	2022-03-21 00:39:40 +01:00
juloo.keyboard2	Extra keys alternatives	2023-08-06 17:14:23 +02:00
special_font	font: Move glyphs into the PUA	2023-08-02 20:39:37 +02:00