clear active areas (notably mouse pointer) before changing context (e.g. via hyperlink);

--- a/src/Tools/jEdit/src/rich_text_area.scala	Mon Mar 31 18:28:35 2014 +0200
+++ b/src/Tools/jEdit/src/rich_text_area.scala	Mon Mar 31 20:07:59 2014 +0200
@@ -590,6 +590,7 @@
 
   def deactivate()
   {
+    active_reset()
     val painter = text_area.getPainter
     view.removeWindowListener(window_listener)
     text_area.removeFocusListener(focus_listener)