[gtk+] paned: Use gtk_widget_queue_draw()

[Benjamin Otte <otte src gnome org>]

commit bf64b6aec4c339f38b6651fd21c2f515da09d8a9
Author: Benjamin Otte <otte redhat com>
Date:   Thu Oct 20 17:33:33 2016 +0200

    paned: Use gtk_widget_queue_draw()

 gtk/gtkpaned.c |   11 ++++++-----
 1 files changed, 6 insertions(+), 5 deletions(-)
---
diff --git a/gtk/gtkpaned.c b/gtk/gtkpaned.c
index 088b6c7..733f48c 100644
--- a/gtk/gtkpaned.c
+++ b/gtk/gtkpaned.c
@@ -1391,11 +1391,12 @@ gtk_paned_allocate (GtkCssGadget        *gadget,
            old_handle_pos.width != priv->handle_pos.width ||
            old_handle_pos.height != priv->handle_pos.height))
         {
-          GdkWindow *window;
-
-          window = gtk_widget_get_window (widget);
-          gdk_window_invalidate_rect (window, &old_handle_pos, FALSE);
-          gdk_window_invalidate_rect (window, &priv->handle_pos, FALSE);
+          gtk_widget_queue_draw_area (widget,
+                                      old_handle_pos.x, old_handle_pos.y,
+                                      old_handle_pos.width, old_handle_pos.height);
+          gtk_widget_queue_draw_area (widget,
+                                      priv->handle_pos.x, priv->handle_pos.y,
+                                      priv->handle_pos.width, priv->handle_pos.height);
         }
 
       if (gtk_widget_get_realized (widget))