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
This commit is contained in:
parent
fa72223268
commit
113bc3b38e
@ -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',
|
||||
|
Loading…
Reference in New Issue
Block a user