Added Area.Repaint() and implemented it on GTK+. Untested as of yet.

1 files changed, 5 insertions, 0 deletions

diff --git a/redo/area.go b/redo/area.go
index 75f47b2..829fc33 100644
--- a/redo/area.go
+++ b/redo/area.go
@@ -37,6 +37,11 @@ type Area interface {
 	// It panics if width or height is zero or negative.
 	SetSize(width int, height int)
 
+	// Repaint marks the given rectangle of the Area as needing to be redrawn.
+	// The given rectangle is clipped to the Area's size.
+	// If, after clipping, the rectangle is empty, Repaint does nothing.
+	Repaint(r image.Rectangle)
+
 	// RepaintAll marks the entirety of the Area as needing to be redrawn.
 	RepaintAll()
 }