Jules Aguillon 87d21685ca Fix keyboard not reacting to changed preferences ... The callback might not be called if the "default" shared preferences is different from the shared preferences actually used. This is unexpected but seems to happen half of the time on Android 12. Since f1ce6ab, this callback is critical to update the keyboard. Restarting the application can no longer solve these issues.		2022-12-11 14:55:32 +01:00
..
juloo.common	Correct displayed value when cancelling settings modification	2022-03-21 00:39:40 +01:00
juloo.keyboard2	Fix keyboard not reacting to changed preferences	2022-12-11 14:55:32 +01:00
special_font	Improve glyph of accent_bar	2022-11-26 23:05:55 +01:00