src/Tools/jEdit/src/rich_text_area.scala

               case None =>
               case Some(range) =>
                 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
                 }
             }
           }