diff options
| -rw-r--r-- | src/tipwin.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/tipwin.cc b/src/tipwin.cc index 204829b3..35046218 100644 --- a/src/tipwin.cc +++ b/src/tipwin.cc @@ -25,6 +25,7 @@ #include <FL/Fl_Tooltip.H> #include <FL/Fl_Button.H> +#include "prefs.h" #include "tipwin.hh" /* @@ -70,7 +71,9 @@ void TipWin::value(const char *s) { void TipWin::do_show(void *wid) { cur_widget = wid; // Keep track of requesting widget - Fl::add_timeout(recent ? 0.2f : 0.8f, show_timeout); + if (prefs.show_tooltip) { + Fl::add_timeout(recent ? 0.2f : 0.8f, show_timeout); + } } void TipWin::do_hide() { |