diff options
Diffstat (limited to 'gtk2_ardour/editor_actions.cc')
| -rw-r--r-- | gtk2_ardour/editor_actions.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gtk2_ardour/editor_actions.cc b/gtk2_ardour/editor_actions.cc index a8b9f0da0c..b2f11bb367 100644 --- a/gtk2_ardour/editor_actions.cc +++ b/gtk2_ardour/editor_actions.cc @@ -23,6 +23,7 @@ #include "pbd/file_utils.h" #include "gtkmm2ext/tearoff.h" +#include "gtkmm2ext/utils.h" #include "ardour/filesystem_paths.h" #include "ardour/profile.h" @@ -1489,6 +1490,15 @@ 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 (Config->get_use_tooltips()) { + Gtkmm2ext::enable_tooltips (); + } else { + Gtkmm2ext::disable_tooltips (); + } } } |