diff options
| author | Robin Gareus <robin@gareus.org> | 2015-04-25 03:00:57 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2015-04-25 03:00:57 +0200 |
| commit | d40ad1f6ffe74add0df2e494c963ef8005cfb1a5 (patch) | |
| tree | e1f2c6279d8529b247fb34be1c37338e6c524552 /libs/gtkmm2ext/persistent_tooltip.cc | |
| parent | c809e528c026bcc02471f973c71ba04d8e8a1dce (diff) | |
fixup stuck persistent tooltips.
Diffstat (limited to 'libs/gtkmm2ext/persistent_tooltip.cc')
| -rw-r--r-- | libs/gtkmm2ext/persistent_tooltip.cc | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/libs/gtkmm2ext/persistent_tooltip.cc b/libs/gtkmm2ext/persistent_tooltip.cc index ae4c2e45c6..72d1aa4db3 100644 --- a/libs/gtkmm2ext/persistent_tooltip.cc +++ b/libs/gtkmm2ext/persistent_tooltip.cc @@ -63,11 +63,25 @@ PersistentTooltip::timeout () return false; } +void +PersistentTooltip::explicit_show () +{ + _timeout.disconnect (); + show (); +} + +void +PersistentTooltip::explicit_hide () +{ + _timeout.disconnect (); + hide (); +} + bool PersistentTooltip::leave (GdkEventCrossing *) { + _timeout.disconnect (); if (!dragging ()) { - _timeout.disconnect (); hide (); } |