diff options
author | Robin Gareus <robin@gareus.org> | 2016-04-27 01:07:53 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2016-04-27 01:07:53 +0200 |
commit | 49e5494907a8536442dbf808416096734bec453c (patch) | |
tree | a480f0f0d05ad187a7787692819ae2b866593db3 /libs/gtkmm2ext/persistent_tooltip.cc | |
parent | 54e01f4e48739590e25ea8448a5a80a1b95e8cec (diff) |
also hide persistent tooltips
debatable, since most of them are not "help/tool info" but rather
"current value display".
Then again tooltip is tooltip and can be annoying or not wanted.
Diffstat (limited to 'libs/gtkmm2ext/persistent_tooltip.cc')
-rw-r--r-- | libs/gtkmm2ext/persistent_tooltip.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libs/gtkmm2ext/persistent_tooltip.cc b/libs/gtkmm2ext/persistent_tooltip.cc index c7cb3f4df2..7ee1c3ba6f 100644 --- a/libs/gtkmm2ext/persistent_tooltip.cc +++ b/libs/gtkmm2ext/persistent_tooltip.cc @@ -29,6 +29,8 @@ using namespace std; using namespace Gtk; using namespace Gtkmm2ext; +bool PersistentTooltip::_tooltips_enabled = true; + /** @param target The widget to provide the tooltip for */ PersistentTooltip::PersistentTooltip (Gtk::Widget* target, bool draggable, int margin_y) : _target (target) @@ -115,7 +117,7 @@ PersistentTooltip::hide () void PersistentTooltip::show () { - if (_tip.empty()) { + if (_tip.empty() || !_tooltips_enabled) { return; } |