diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2012-12-11 01:43:25 +0000 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2012-12-11 01:43:25 +0000 |
| commit | 9fcd72d8bb4205371c18762a6dafa9b49bd36cb1 (patch) | |
| tree | 9165ee981cdc53c3cf56b6d7f032931a4868fcf3 /gtk2_ardour | |
| parent | a66b0203316c1643c10e388af4bdb9b7ecf47ed2 (diff) | |
make "bold monospace" font spec platform specific, since OS X doesn't seem to like/provide such a thing
git-svn-id: svn://localhost/ardour2/branches/3.0@13637 d708f5d6-7413-0410-9779-e7cbd77b26cf
Diffstat (limited to 'gtk2_ardour')
| -rw-r--r-- | gtk2_ardour/ardour3_fonts.rc.in | 4 | ||||
| -rw-r--r-- | gtk2_ardour/wscript | 8 |
2 files changed, 7 insertions, 5 deletions
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@ |