diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2013-08-09 00:50:41 -0400 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2013-08-09 00:50:41 -0400 |
| commit | f44e0f33af005f2ad4b34b2d282dcb92fe091ead (patch) | |
| tree | caab8cff54dc595e408b54e05e352a1cf307b836 /gtk2_ardour/wscript | |
| parent | 743bb5066e2d19b8dadb21d1138b8f54f16503bf (diff) | |
a few more visual tweaks and simplifications for audio/midi setup
Diffstat (limited to 'gtk2_ardour/wscript')
| -rw-r--r-- | gtk2_ardour/wscript | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gtk2_ardour/wscript b/gtk2_ardour/wscript index bb4e2035ec..f4e1119aeb 100644 --- a/gtk2_ardour/wscript +++ b/gtk2_ardour/wscript @@ -519,6 +519,7 @@ def build(bld): 'SMALLER' : '9', 'SMALL' : '10', 'NORMAL' : '11', + 'BIG' : '13', 'BIGGER' : '17', 'LARGE' : '18', 'LARGER' : '28', @@ -544,6 +545,7 @@ def build(bld): 'SMALLER' : '8', 'SMALL' : '9', 'NORMAL' : '10', + 'BIG' : '14', 'BIGGER' : '17', 'LARGE' : '18', 'LARGER' : '24', |