Jules Aguillon 64c7c8ce20 Draw borders and update themes ... Themes can define the color of each borders independently. Every borders must have the same width for now. It's possible to set a different width when the key is activated, thought this is only used to remove borders. The 4 themes are updated to take advantage of borders.		2022-11-13 20:53:06 +01:00
..
juloo.common	Correct displayed value when cancelling settings modification	2022-03-21 00:39:40 +01:00
juloo.keyboard2	Draw borders and update themes	2022-11-13 20:53:06 +01:00
special_font	Allow switching quickly between two layouts	2022-11-13 00:24:23 +01:00