diff options
author | Alessio Treglia <alessio@debian.org> | 2014-06-12 12:30:32 +0100 |
---|---|---|
committer | Alessio Treglia <alessio@debian.org> | 2014-06-12 12:30:32 +0100 |
commit | 260690bc6b904d1ca0025e539b9663ddb9fd2424 (patch) | |
tree | 6638a0254217dc8443bdd4ff00a5d78c5a3da556 /contrib/win32/settings.ini | |
parent | b380f841f764543f477b658af25194c4d9f8a1eb (diff) |
Imported Upstream version 3.5
Diffstat (limited to 'contrib/win32/settings.ini')
-rw-r--r-- | contrib/win32/settings.ini | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/win32/settings.ini b/contrib/win32/settings.ini new file mode 100644 index 0000000..17e1139 --- /dev/null +++ b/contrib/win32/settings.ini @@ -0,0 +1,4 @@ +[Settings] +gtk-auto-mnemonics = 1 +gtk-font-name = Segoe UI 9 +gtk-icon-theme-name=gnome |