# HG changeset patch
# User Thinker K.F. Li <thinker@branda.to>
# Date 1261672039 -28800
# Node ID cd41d903356716a75edc255d2b6cd561b775d75f
# Parent  0160cdabaa510710818507db843ce66e165394d5
Ignore small dirty area.

diff -r 0160cdabaa51 -r cd41d9033567 src/redraw_man.c
--- a/src/redraw_man.c	Wed Dec 23 10:41:19 2009 +0800
+++ b/src/redraw_man.c	Fri Dec 25 00:27:19 2009 +0800
@@ -456,6 +456,9 @@
 static int add_dirty_area(redraw_man_t *rdman, coord_t *coord, area_t *area) {
     int r;
     
+    if(area->w < 0.01 || area->h < 0.01)
+	return OK;
+    
     rdman->n_dirty_areas++;
     r = areas_add(_coord_get_dirty_areas(coord), area);
     return r == 0? OK: ERR;