diff options
author | Robin Gareus <robin@gareus.org> | 2017-01-18 12:25:02 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2017-01-18 12:25:02 +0100 |
commit | cf31233cd1503f7f3818c6bbeb6f5bd427144f80 (patch) | |
tree | 2407cc6496ce47a5d7cfadce86db089c9590915b /gtk2_ardour/ardour_ui.h | |
parent | 48da03e301c8145f9568df0692001652ea31b796 (diff) |
Cleanup global monitor options:
- rely on parameter-changed signal emission to update buttons
- use dedicated button/style names
- improve tooltip
Diffstat (limited to 'gtk2_ardour/ardour_ui.h')
-rw-r--r-- | gtk2_ardour/ardour_ui.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gtk2_ardour/ardour_ui.h b/gtk2_ardour/ardour_ui.h index c375bf89e2..5686d8c978 100644 --- a/gtk2_ardour/ardour_ui.h +++ b/gtk2_ardour/ardour_ui.h @@ -392,7 +392,6 @@ protected: bool ignore_dual_punch; void toggle_punch_in (); void toggle_punch_out (); - bool ignore_session_monitoring; void toggle_session_monitoring_in (); void toggle_session_monitoring_disk (); void show_loop_punch_ruler_and_disallow_hide (); |