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",