Jules Aguillon 45905f5f3b Replace dead-keys when there's one alternative ...

The dead-key is replaced by its alternative if there's only one
specified.
Extra keys from every subtypes must be merged together to be able to
make this check.

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

Replace dead-keys when there's one alternative

2023-08-06 17:14:23 +02:00

special_font

font: Move glyphs into the PUA

2023-08-02 20:39:37 +02:00