diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2013-03-05 13:13:53 +0000 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2013-03-05 13:13:53 +0000 |
commit | c374cafd0336232dc053ff898a7b725884671218 (patch) | |
tree | 2fb73aa6983dd31c6e30752f18eb8c045833e796 /gtk2_ardour | |
parent | a0282a54d6050a55a3e383d0694932c6bb7be371 (diff) |
adjust clock font sizes
git-svn-id: svn://localhost/ardour2/branches/3.0@14150 d708f5d6-7413-0410-9779-e7cbd77b26cf
Diffstat (limited to 'gtk2_ardour')
-rw-r--r-- | gtk2_ardour/ardour3_fonts.rc.in | 2 | ||||
-rw-r--r-- | gtk2_ardour/ardour3_widget_list.rc | 8 | ||||
-rw-r--r-- | gtk2_ardour/wscript | 6 |
3 files changed, 7 insertions, 9 deletions
diff --git a/gtk2_ardour/ardour3_fonts.rc.in b/gtk2_ardour/ardour3_fonts.rc.in index 11c06b79ed..94c8bc5a77 100644 --- a/gtk2_ardour/ardour3_fonts.rc.in +++ b/gtk2_ardour/ardour3_fonts.rc.in @@ -50,7 +50,7 @@ style "large_bold_text" font_name = "bold @FONT_LARGE@" } -style "large_bold_mono_text" +style "bigger_bold_mono_text" { font_name = "@MONOSPACE@ @FONT_BIGGER@" } diff --git a/gtk2_ardour/ardour3_widget_list.rc b/gtk2_ardour/ardour3_widget_list.rc index 3df7d14eef..43c18b8aaf 100644 --- a/gtk2_ardour/ardour3_widget_list.rc +++ b/gtk2_ardour/ardour3_widget_list.rc @@ -122,10 +122,10 @@ widget "*WarningMessage" style:highest "warning_message" widget "*big clock" style:highest "monospace massive_text" widget "*selection clock" style:highest "small_mono_text" widget "*punch clock" style:highest "small_mono_text" -widget "*transport clock" style:highest "large_bold_mono_text" -widget "*secondary clock" style:highest "large_bold_mono_text" -widget "*transport delta clock" style:highest "large_bold_mono_text" -widget "*secondary delta clock" style:highest "large_bold_mono_text" +widget "*transport clock" style:highest "bigger_bold_mono_text" +widget "*secondary clock" style:highest "bigger_bold_mono_text" +widget "*transport delta clock" style:highest "bigger_bold_mono_text" +widget "*secondary delta clock" style:highest "bigger_bold_mono_text" widget "*silence duration clock" style:highest "medium_text" widget "*edit point clock" style:highest "medium_text" widget "*nudge clock" style:highest "small_mono_text" diff --git a/gtk2_ardour/wscript b/gtk2_ardour/wscript index dd394fa68a..56177822b6 100644 --- a/gtk2_ardour/wscript +++ b/gtk2_ardour/wscript @@ -505,8 +505,7 @@ def build(bld): 'SMALLER' : '9', 'SMALL' : '10', 'NORMAL' : '11', - 'BIG' : '12', - 'BIGGER' : '14', + 'BIGGER' : '16', 'LARGE' : '18', 'LARGER' : '28', 'HUGER' : '36', @@ -521,8 +520,7 @@ def build(bld): 'SMALLER' : '8', 'SMALL' : '9', 'NORMAL' : '10', - 'BIG' : '12', - 'BIGGER' : '14', + 'BIGGER' : '16', 'LARGE' : '18', 'LARGER' : '24', 'HUGER' : '34', |