src/Tools/jEdit/src/rich_text_area.scala

   private val hyperlink_area = new Active_Area[Hyperlink]((r: Rendering) => r.hyperlink _)
   private val sendback_area = new Active_Area[Properties.T]((r: Rendering) => r.sendback _)
 
   private val active_areas =
     List((highlight_area, true), (hyperlink_area, true), (sendback_area, false))
-  private def active_reset(): Unit = active_areas.foreach(_._1.reset)
+  def active_reset(): Unit = active_areas.foreach(_._1.reset)
 
   private val focus_listener = new FocusAdapter {
     override def focusLost(e: FocusEvent) { robust_body(()) { active_reset() } }
   }