diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2014-12-21 11:55:03 -0500 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2014-12-21 11:55:08 -0500 |
| commit | 113bc3b38ec01f742752f4be8ddf1c24630ccd2d (patch) | |
| tree | 649b53dac848ce45c8d195ee2e30d61ae599cbe0 /gtk2_ardour/wscript | |
| parent | fa722232680870d479a514cb39630dc5eae79e38 (diff) | |
reduce all default font sizes on Linux by 80%
If you use font scaling of 80% you may wish to reset it to 100% to get almost the exact same font sizes as previously. Normal size is now 8pt,
rather then 10pt as before
Diffstat (limited to 'gtk2_ardour/wscript')
| -rw-r--r-- | gtk2_ardour/wscript | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/gtk2_ardour/wscript b/gtk2_ardour/wscript index 390ebfbba6..4cfcde79ef 100644 --- a/gtk2_ardour/wscript +++ b/gtk2_ardour/wscript @@ -563,15 +563,15 @@ def build(bld): else: # Linux/X11 fonts basefont = '' # unspecified - use system defaults font_sizes = { - 'SMALLER' : '8', - 'SMALL' : '9', - 'NORMAL' : '10', - 'BIG' : '14', - 'BIGGER' : '17', - 'LARGE' : '18', - 'LARGER' : '24', - 'HUGER' : '34', - 'MASSIVE' : '60', + 'SMALLER' : '6', + 'SMALL' : '7', + 'NORMAL' : '8', + 'BIG' : '11', + 'BIGGER' : '13.5', + 'LARGE' : '14.5', + 'LARGER' : '19', + 'HUGER' : '27', + 'MASSIVE' : '48', } font_names = { 'MONOSPACE' : 'ArdourMono', |