From 0ab4edb3001ca79c51be6f050e7e8f92ff823410 Mon Sep 17 00:00:00 2001
From: corvid <corvid@dillo.org>
Date: Sat, 14 Sep 2013 15:26:13 +0000
Subject: BUG#1140: add show_ui_tooltip preference

---
 src/tipwin.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/tipwin.cc')

diff --git a/src/tipwin.cc b/src/tipwin.cc
index c8463eb5..01d9a2f4 100644
--- a/src/tipwin.cc
+++ b/src/tipwin.cc
@@ -71,7 +71,7 @@ void TipWin::value(const char *s) {
 
 void TipWin::do_show(void *wid) {
    cur_widget = wid;  // Keep track of requesting widget
-   if (prefs.show_tooltip) {
+   if (prefs.show_ui_tooltip) {
       Fl::add_timeout(recent ? 0.2f : 0.8f, show_timeout);
    }
 }
-- 
cgit v1.2.3