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
..
arrays.xml	Allow switching quickly between two layouts	2022-11-13 00:24:23 +01:00
attrs.xml	Allow switching quickly between two layouts	2022-11-13 00:24:23 +01:00
strings.xml	Allow switching quickly between two layouts	2022-11-13 00:24:23 +01:00
styles.xml	Compute text size relative to key height	2022-02-27 01:50:24 +01:00
themes.xml	Draw borders and update themes	2022-11-13 20:53:06 +01:00
values.xml	Fix inconsistent text size in landscape mode	2022-06-06 16:17:43 +02:00