diff -ru onboard-1.4.1/data/org.onboard.gschema.xml onboard-1.4.1.new/data/org.onboard.gschema.xml
--- onboard-1.4.1/data/org.onboard.gschema.xml 2017-02-16 21:42:29.000000000 +0100
+++ onboard-1.4.1.new/data/org.onboard.gschema.xml 2023-07-18 12:04:48.422269660 +0200
@@ -37,12 +37,12 @@
If true, get configuration from system defaults first. This flag will be reset on first start.
- ''
+ 'Compact.onboard'
Layout filename
Name of the file or basename of the current layout.
- ''
+ 'HighContrast.theme'
Theme filename
Name of the file or basename of the current theme.