+void cleanup_tooltip()
+{
+ alarm(0);
+ tooltip_hide();
+ g_tooltip.enabled = False;
+ g_tooltip.current_state = TOOLTIP_ABOUT_TO_HIDE;
+ if (g_tooltip.task) {
+ g_tooltip.task = 0;
+ }
+ if (g_tooltip.window) {
+ XDestroyWindow(server.dsp, g_tooltip.window);
+ g_tooltip.window = 0;
+ }
+ if (g_tooltip.font_desc) {
+ pango_font_description_free(g_tooltip.font_desc);
+ g_tooltip.font_desc = 0;
+ }
+}
+
+