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/editor_actions.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/editor_actions.cc')
| -rw-r--r-- | gtk2_ardour/editor_actions.cc | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/gtk2_ardour/editor_actions.cc b/gtk2_ardour/editor_actions.cc index 85719043a3..3c26390aa6 100644 --- a/gtk2_ardour/editor_actions.cc +++ b/gtk2_ardour/editor_actions.cc @@ -1719,15 +1719,6 @@ Editor::parameter_changed (std::string p) if (_routes) { _routes->reset_remote_control_ids (); } - } 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 == "skip-playback") { Glib::RefPtr<Action> act = ActionManager::get_action (X_("Editor"), X_("toggle-skip-playback")); |