File mysql-gui-tools-gtk.patch of Package mysql-gui-tools
--- mysql-gui-tools-5.0r14/query-browser/source/linux/gtksourceview/gtksourceview/gtksourceview.c 2010/05/18 11:00:46 1.1 +++ mysql-gui-tools-5.0r14/query-browser/source/linux/gtksourceview/gtksourceview/gtksourceview.c 2010/05/18 11:01:14 @@ -1167,7 +1167,7 @@ gtk_paint_layout (GTK_WIDGET (view)->style, win, - GTK_WIDGET_STATE (view), + gtk_widget_get_state (view), FALSE, NULL, GTK_WIDGET (view), @@ -1450,7 +1450,7 @@ gtk_paint_vline (widget->style, event->window, - GTK_WIDGET_STATE (widget), + gtk_widget_get_state (widget), &redraw_rect, widget, "margin",