GUI: Regenerate themes

2026-05-21 05:40:43 +00:00 · 2026-04-06 18:11:50 +02:00
parent 43db60276a
commit a6184d7877
5 changed files with 2 additions and 0 deletions
@@ -1448,6 +1448,7 @@ const char *defaultXML1 = "<?xml version = '1.0'?>"
 "<def var='TabWidget.TitleSpacing' value='10' scalable='yes'/>"
 "<def var='RichTextWidget.InnerMargin' value='10' scalable='yes'/>"
 "<def var='Layout.Spacing' value='8' scalable='yes'/>"
+"<def var='GlkOptionsDialog.HeadingMinGap' value='2'/>"
 "<def var='ShowLauncherLogo' value='0'/>"
 "<def var='ShowGlobalMenuLogo' value='0'/>"
 "<def var='ShowSearchPic' value='0'/>"
@@ -3899,6 +3900,7 @@ const char *defaultXML1 = "<?xml version = '1.0'?>"
 "<def var='TabWidget.TitleSpacing' value='10' scalable='yes'/>"
 "<def var='RichTextWidget.InnerMargin' value='10' scalable='yes'/>"
 "<def var='Layout.Spacing' value='8' scalable='yes'/>"
+"<def var='GlkOptionsDialog.HeadingMinGap' value='2'/>"
 "<def var='ShowLauncherLogo' value='0'/>"
 "<def var='ShowGlobalMenuLogo' value='0'/>"
 "<def var='ShowSearchPic' value='0'/>"