mysql-gui-tools/deprecated-gtk-widget-state.patch

   1 diff -Nur orig/query-browser/source/linux/gtksourceview/gtksourceview/gtksourceview.c new/query-browser/source/linux/gtksourceview/gtksourceview/gtksourceview.c
   2 --- orig/query-browser/source/linux/gtksourceview/gtksourceview/gtksourceview.c 2005-03-13 15:42:26.000000000 +0100
   3 +++ new/query-browser/source/linux/gtksourceview/gtksourceview/gtksourceview.c  2011-03-11 12:46:14.000000000 +0100
   4 @@ -570,6 +570,7 @@
   5  }
   6
   7  static void
   8 +
   9  marker_updated_cb (GtkSourceBuffer *buffer,
  10                    GtkTextIter     *where,
  11                    GtkTextView     *text_view)
  12 @@ -1167,7 +1168,7 @@
  13
  14                         gtk_paint_layout (GTK_WIDGET (view)->style,
  15                                           win,
  16 -                                         GTK_WIDGET_STATE (view),
  17 +                                         gtk_widget_get_state(view),
  18                                           FALSE,
  19                                           NULL,
  20                                           GTK_WIDGET (view),
  21 @@ -1181,6 +1182,7 @@
  22                 {
  23                         if (marker_line == g_array_index (numbers, gint, i))
  24                         {
  25 +
  26                                 /* draw markers for the line */
  27                                 current_marker = draw_line_markers (view,
  28                                                                     current_marker,
  29 @@ -1450,7 +1452,7 @@
  30
  31                         gtk_paint_vline (widget->style,
  32                                          event->window,
  33 -                                        GTK_WIDGET_STATE (widget),
  34 +                                        gtk_widget_get_state(widget),
  35                                          &redraw_rect,
  36                                          widget,
  37                                          "margin",