Tidy up style of a few toggle buttons (#4319).

git-svn-id: svn://localhost/ardour2/branches/3.0@10097 d708f5d6-7413-0410-9779-e7cbd77b26cf
This commit is contained in:
Carl Hetherington 2011-09-19 21:14:59 +00:00
parent 6ab6ad5bb7
commit 3f6ec53ba3
8 changed files with 21 additions and 4 deletions

View file

@ -1603,7 +1603,7 @@ class Editor : public PublicEditor, public PBD::ScopedConnectionList, public ARD
Gtk::HBox panic_box;
Gtk::Button midi_panic_button;
Gtk::ToggleButton midi_sound_notes;
Gtkmm2ext::StatefulToggleButton midi_sound_notes;
void midi_panic ();
bool sound_notes () const { return midi_sound_notes.get_active(); }