reset active area for outdated snapshot (again?);

--- a/src/Tools/jEdit/src/rich_text_area.scala	Thu Nov 22 14:40:39 2012 +0100
+++ b/src/Tools/jEdit/src/rich_text_area.scala	Thu Nov 22 14:53:02 2012 +0100
@@ -179,7 +179,7 @@
                 val rendering = get_rendering()
                 for ((area, require_control) <- active_areas)
                 {
-                  if (control == require_control)
+                  if (control == require_control && !rendering.snapshot.is_outdated)
                     area.update_rendering(rendering, range)
                   else area.reset
                 }