Rename 'MIDI' drop down 'Channel' (actually describes what's in it).
authorDavid Robillard <d@drobilla.net>
Sun, 5 Oct 2008 02:32:05 +0000 (02:32 +0000)
committerDavid Robillard <d@drobilla.net>
Sun, 5 Oct 2008 02:32:05 +0000 (02:32 +0000)
commitdca03d05cd350ca5851a8b6a1e3541f6c4294e2b
treed5a8879e33bcc73295a221eb76a47513de6c6933
parente71aa5a95bfbe7955a77cb4061254831f046ab89
Rename 'MIDI' drop down 'Channel' (actually describes what's in it).
Fix packing of MIDI track header so Channel is at the top.
Partially separate min-size-to-show-channel and min-size-to-show-keyboard values from the old hLargest etc. variables (towards sticking more widgets in the header dynamically).

git-svn-id: svn://localhost/ardour2/branches/3.0@3863 d708f5d6-7413-0410-9779-e7cbd77b26cf
gtk2_ardour/midi_time_axis.cc