diff options
author | Robin Gareus <robin@gareus.org> | 2016-04-27 01:06:01 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2016-04-27 01:06:01 +0200 |
commit | 54e01f4e48739590e25ea8448a5a80a1b95e8cec (patch) | |
tree | 0225942b3326c36bc631ea2ebc584736cebf0b57 /gtk2_ardour/ardour_ui_options.cc | |
parent | bc553b7d9dd29c162451bdb463c38fdba2c28826 (diff) |
towards fixing optional tooltips
Editor::parameter_changed() is not called for UIConfig changes.
"use-tooltips" was never triggered.
Diffstat (limited to 'gtk2_ardour/ardour_ui_options.cc')
-rw-r--r-- | gtk2_ardour/ardour_ui_options.cc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gtk2_ardour/ardour_ui_options.cc b/gtk2_ardour/ardour_ui_options.cc index a0e6384b23..1707ac8154 100644 --- a/gtk2_ardour/ardour_ui_options.cc +++ b/gtk2_ardour/ardour_ui_options.cc @@ -394,6 +394,13 @@ ARDOUR_UI::parameter_changed (std::string p) stop_clocking (); start_clocking (); } + } else if (p == "use-tooltips") { + /* this doesn't really belong here but it has to go somewhere */ + if (UIConfiguration::instance().get_use_tooltips()) { + Gtkmm2ext::enable_tooltips (); + } else { + Gtkmm2ext::disable_tooltips (); + } } else if (p == "waveform-gradient-depth") { ArdourCanvas::WaveView::set_global_gradient_depth (UIConfiguration::instance().get_waveform_gradient_depth()); } else if (p == "show-editor-meter") { |