diff options
| author | Jorge Arellano Cid <jcid@dillo.org> | 2012-12-26 12:29:44 -0300 |
|---|---|---|
| committer | Jorge Arellano Cid <jcid@dillo.org> | 2012-12-26 12:29:44 -0300 |
| commit | 868a77bfe20de7511a3c366a09c6bcd421e59e6d (patch) | |
| tree | a1cde9a6f5b0adc2d37d46f7099fc4ecb3faf316 | |
| parent | 9a1c4ad1bab7d61958081b6e066c80ec0a4b798b (diff) | |
Made dillorc's "show_tooltip" work again for the UI
| -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() { |