diff options
| -rw-r--r-- | gtk2_ardour/wscript | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gtk2_ardour/wscript b/gtk2_ardour/wscript index 3ea6790eaf..25c2769322 100644 --- a/gtk2_ardour/wscript +++ b/gtk2_ardour/wscript @@ -511,6 +511,8 @@ def build(bld): 'LARGER' : '28', 'HUGER' : '36', 'MASSIVE' : '60', + } + font_names = { 'BOLD_MONOSPACE' : 'monospace' } else: # Linux/X11 fonts @@ -525,8 +527,10 @@ def build(bld): 'LARGER' : '24', 'HUGER' : '34', 'MASSIVE' : '60', + } + font_names = { 'BOLD_MONOSPACE' : 'bold monospace' - } + } # Set up font substitution dictionary # @FONT_XXXX@ @@ -548,6 +552,12 @@ def build(bld): dark_rc_subst_dict[key] = points light_rc_subst_dict[key] = points + # various font names, eg @BOLD_MONOSPACE@ + for font_sym,text in iter(font_names.items()): + key = font_sym + dark_rc_subst_dict[key] = text + light_rc_subst_dict[key] = text + # RC files dark_rc_subst_dict['COLOR_SCHEME'] = build_color_scheme( 'gtk2_ardour/ardour3_ui_dark.rc.in', 'ARDOUR_DARK') |