[gitg] Queue draw on resizing animated paned

[Jesse van den Kieboom <jessevdk src gnome org>]

commit a3b8310bacc87001665fcd0ad4109737f6662fa3
Author: Jesse van den Kieboom <jessevdk gnome org>
Date:   Sun Jul 20 20:00:39 2014 +0300

    Queue draw on resizing animated paned

 gitg/gitg-animated-paned.vala |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/gitg/gitg-animated-paned.vala b/gitg/gitg-animated-paned.vala
index 716e079..38a3270 100644
--- a/gitg/gitg-animated-paned.vala
+++ b/gitg/gitg-animated-paned.vala
@@ -63,6 +63,7 @@ public class AnimatedPaned : Gtk.Paned
 
                var pos = (int)Math.round((d_target_pos - d_start_pos) * factor) + d_start_pos;
                set_position(pos);
+               queue_draw();
 
                if (pos == d_target_pos)
                {