summaryrefslogtreecommitdiff
path: root/gtk2_ardour
diff options
context:
space:
mode:
authorPaul Davis <paul@linuxaudiosystems.com>2013-03-05 13:13:53 +0000
committerPaul Davis <paul@linuxaudiosystems.com>2013-03-05 13:13:53 +0000
commitc374cafd0336232dc053ff898a7b725884671218 (patch)
tree2fb73aa6983dd31c6e30752f18eb8c045833e796 /gtk2_ardour
parenta0282a54d6050a55a3e383d0694932c6bb7be371 (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.in2
-rw-r--r--gtk2_ardour/ardour3_widget_list.rc8
-rw-r--r--gtk2_ardour/wscript6
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',