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
2014-12-21 11:55:03 -05:00
parent fa72223268
commit 113bc3b38e
1 changed files with 9 additions and 9 deletions
--- 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',
+                'SMALLER' : '6',
-                'SMALL' : '9',
+                'SMALL' : '7',
-                'NORMAL' : '10',
+                'NORMAL' : '8',
-                'BIG' : '14',
+                'BIG' : '11',
-                'BIGGER' : '17',
+                'BIGGER' : '13.5',
-                'LARGE' : '18',
+                'LARGE' : '14.5',
-                'LARGER' : '24',
+                'LARGER' : '19',
-                'HUGER' : '34',
+                'HUGER' : '27',
-                'MASSIVE' : '60',
+                'MASSIVE' : '48',
        }
        font_names = {
                'MONOSPACE' : 'ArdourMono',