From 19313598f6122f7f990ec5e3ac2c87f72fd7a7e1 Mon Sep 17 00:00:00 2001
From: Sayamindu Dasgupta <sayamindu@gmail.com>
Date: Tue, 09 Sep 2008 15:28:21 +0000
Subject: #8285: Try to use queue_draw_area() instead of queue_draw()

---
diff --git a/Desenho.py b/Desenho.py
index 91d19f2..e5ecf48 100644
--- a/Desenho.py
+++ b/Desenho.py
@@ -150,7 +150,15 @@ class Desenho:
                 widget.pixmap.draw_polygon(widget.gc_brush,True,points)
                 points = [(last[0]+size,last[1]), (coords[0]+size,coords[1]), (coords[0],coords[1]+size), (last[0],last[1]+size)]
                 widget.pixmap.draw_polygon(widget.gc_brush,True,points)
-        widget.queue_draw()
+
+        if last:
+            x = min(coords[0], last[0])
+            width = max(coords[0], last[0]) - x
+            y = min(coords[1], last[1])
+            height = max(coords[1], last[1]) - y
+            widget.queue_draw_area(x, y, width+size, height+size) # We add size to avoid drawing dotted lines
+        else:
+            widget.queue_draw()
 
     def rainbow(self, widget, coords, last, color, size = 5, shape = 'circle'):
         """Paint with rainbow.
--
cgit v0.9.1