dnrops
/
gimp
mirror of https://github.com/GNOME/gimp.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

themes: add commented-out font_name property in "System" theme. 

This is to be used as self-documentation code, so that people know
how to hack the font size since I am not sure GIMP will always provide
reasonable font display on every platform.
This commit is contained in:
Jehan 2017-03-24 04:35:45 +01:00
parent e58d8fcd24
commit 11d34b0309
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
themes/System/gtkrc
View File

@ -36,6 +36,10 @@ style "gimp-default-style"
{ "../../icons/Color/64x64/apps/gimp-warning.png", *, *, "gtk-dialog" }
}
# Uncommenting this line allows to set a different font for GIMP.
#
# font_name = "sans 10"
GtkPaned::handle-size = 6
GimpDockWindow::default-height = 300
GimpDock::font-scale = 0.8333