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.