Don't use deprecated GtkTooltips type unnecessarily

Bug 622800.
This commit is contained in:
Claudio Saavedra 2010-06-26 18:11:01 +03:00
parent c47d2da0cb
commit 7a04673dd7

View File

@ -51,7 +51,7 @@ static int screen_right_edge = 0;
static int screen_bottom_edge = 0; static int screen_bottom_edge = 0;
static gint static gint
expose_handler (GtkTooltips *tooltips) expose_handler (GtkWidget *tooltips)
{ {
gtk_paint_flat_box (gtk_widget_get_style (tip), gtk_paint_flat_box (gtk_widget_get_style (tip),
gtk_widget_get_window (tip), gtk_widget_get_window (tip),