diff options
Diffstat (limited to 'gtk3/theme/settings.ini.em')
-rw-r--r-- | gtk3/theme/settings.ini.em | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/gtk3/theme/settings.ini.em b/gtk3/theme/settings.ini.em new file mode 100644 index 0000000..bd2d7cd --- /dev/null +++ b/gtk3/theme/settings.ini.em @@ -0,0 +1,35 @@ +${ + +# These sizes are copied from gtk2 rc files ... +if scaling == "100": + icon_base = 11 +else: # About 72% of the XO size, adjusted so that eg. toolbuttons work + icon_base = 8 # 7.92 + +icon_small = icon_base * 3 +icon_large = icon_base * 5 + +} + +[Settings] +gtk-auto-mnemonics = 1 +gtk-toolbar-style = GTK_TOOLBAR_ICONS + +${ +icon_small = icon_base * 3 +icon_large = icon_base * 5 + +small_icons = [ "gtk-menu", "gtk-dnd", "gtk-small-toolbar", "gtk-button" ] +large_icons = [ "gtk-large-toolbar" ] + +icon_sizes = [] +for icon in small_icons: + icon_sizes += [icon + "=" + str(icon_small) + ',' + str(icon_small)] +for icon in large_icons: + icon_sizes += [icon + "=" + str(icon_large) + ',' + str(icon_large)] + +icon_sizes = ":".join(icon_sizes) + +} +gtk-icon-sizes=$icon_sizes + |