# HG changeset patch
# User bsmith@81767d24-ef19-dc11-ae90-00e081727c95
# Date 1322433088 0
# Node ID 8ff5b05318fba112f4fa5d03a78d0b5641675c83
# Parent  7266e030a3e3ab344b4174c8be7c93df40366f8a
Disabling tooltips on GTK2 does not seem to work... so...
we will set the tooltip to an empty string to be safe.

diff -r 7266e030a3e3 -r 8ff5b05318fb gtk/dw.c
--- a/gtk/dw.c	Sun Nov 27 20:37:33 2011 +0000
+++ b/gtk/dw.c	Sun Nov 27 22:31:28 2011 +0000
@@ -4381,7 +4381,10 @@
       gtk_tooltips_enable(tooltips);
    }
    else
+   {
+      gtk_tooltips_set_tip(tooltips, handle, "", NULL);
       gtk_tooltips_disable(tooltips);
+   }
 }
 
 /*