diff options
author | Paweł Forysiuk <tuxator@o2.pl> | 2013-11-15 18:29:19 +0100 |
---|---|---|
committer | Paweł Forysiuk <tuxator@o2.pl> | 2013-11-15 18:29:19 +0100 |
commit | fe77200ae474f5f82533986c4e3a4582718ca7b8 (patch) | |
tree | 193e3669c6bd429dc2f73f7851f9a68114c2f539 /win32 | |
parent | 873ab1faa3d70cdd18643e7e7a9cb347f439e5bf (diff) | |
download | midori-fe77200ae474f5f82533986c4e3a4582718ca7b8.tar.gz |
Provide sensible default font suggestions on Win32
Diffstat (limited to 'win32')
-rwxr-xr-x | win32/makedist/makedist.midori | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/win32/makedist/makedist.midori b/win32/makedist/makedist.midori index 9501d7bd..195eb8ad 100755 --- a/win32/makedist/makedist.midori +++ b/win32/makedist/makedist.midori @@ -270,6 +270,16 @@ gtk-toolbar-style = GTK_TOOLBAR_ICONS gtk-toolbar-icon-size = GTK_ICON_SIZE_MENU _EOF +mkdir -p $workdir/etc/midori + +cat >> $workdir/etc/midori/config << _EOF +[settings] +default-font-family=Times New Roman +monospace-font-family=Courier New +default-font-size=14 +default-monospace-font-size=14 +_EOF + popd > /dev/null echo "<*> Copying docs..." |