diff --git a/gtk2_ardour/ardour3_fonts.rc.in b/gtk2_ardour/ardour3_fonts.rc.in index 49941c078a..c969087646 100644 --- a/gtk2_ardour/ardour3_fonts.rc.in +++ b/gtk2_ardour/ardour3_fonts.rc.in @@ -57,7 +57,7 @@ style "large_bold_text" style "large_bold_mono_text" { - font_name = "bold monospace @FONT_BIGGER@" + font_name = "@BOLD_MONOSPACE@ @FONT_BIGGER@" } style "larger_text" @@ -72,7 +72,7 @@ style "massive_text" style "monospace massive_text" { - font_name = "bold monospace @FONT_MASSIVE@" + font_name = "@BOLD_MONOSPACE@ @FONT_MASSIVE@" } style "larger_bold_text" diff --git a/gtk2_ardour/wscript b/gtk2_ardour/wscript index 17b4834375..de0818231d 100644 --- a/gtk2_ardour/wscript +++ b/gtk2_ardour/wscript @@ -511,7 +511,8 @@ def build(bld): 'LARGE' : '18', 'LARGER' : '28', 'HUGER' : '36', - 'MASSIVE' : '60' + 'MASSIVE' : '60', + 'BOLD_MONOSPACE' : 'monospace' } else: # Linux/X11 fonts basefont = '' # unspecified - use system defaults @@ -525,8 +526,9 @@ def build(bld): 'LARGE' : '18', 'LARGER' : '24', 'HUGER' : '34', - 'MASSIVE' : '60' - } + 'MASSIVE' : '60', + 'BOLD_MONOSPACE' : 'bold monospace' + } # Set up font substitution dictionary # @FONT_XXXX@