diff options
author | Simon Schampijer <simon@laptop.org> | 2012-09-17 09:41:24 (GMT) |
---|---|---|
committer | Simon Schampijer <simon@laptop.org> | 2012-09-17 09:41:24 (GMT) |
commit | 1722ebef09798a8b2aa4e19bffe7e3925cf5d3ce (patch) | |
tree | 1f9b8e8822894ba630c19b5c2b5b09e2b59997d8 | |
parent | 644399547b35ea61aa7311bc069f9e75e0fd87b0 (diff) |
Remove settings.ini
We do generate settings-100.ini settings-72.ini from
settings.ini.em now, no need to keep the unused
settings.ini around.
-rw-r--r-- | gtk3/theme/settings.ini | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/gtk3/theme/settings.ini b/gtk3/theme/settings.ini deleted file mode 100644 index ef47e1f..0000000 --- a/gtk3/theme/settings.ini +++ /dev/null @@ -1,5 +0,0 @@ -[Settings] -#gtk-color-scheme = "base_color:#ffffff\nbg_color:#ededed\ntooltip_bg_color:#343434\nselected_bg_color:#4a90d9\ntext_color:#2e3436\nfg_color:#2e3436;\ntooltip_fg_color:#ffffff\nselected_fg_color:#ffffff" -gtk-auto-mnemonics = 1 -gtk-toolbar-style = GTK_TOOLBAR_ICONS -gtk-icon-sizes=gtk-menu=24,24:gtk-dnd=24,24:gtk-small-toolbar=24,24:gtk-button=24,24:gtk-large-toolbar=40,40 |