changeset 1402:8ff5b05318fb

Disabling tooltips on GTK2 does not seem to work... so... we will set the tooltip to an empty string to be safe.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Sun, 27 Nov 2011 22:31:28 +0000
parents 7266e030a3e3
children 20c6d0c50c94
files gtk/dw.c
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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);
+   }
 }
 
 /*