# HG changeset patch
# User krauss
# Date 1306361521 -7200
# Node ID 9901f877eeb729e1f51c2807ccbdc149a5af31ee
# Parent  284f9a7af1c946d1c17e1eb482c4de087f394026
invert event propagation flag -- in lobobrowser api, true means re-propagate

diff -r 284f9a7af1c9 -r 9901f877eeb7 src/Tools/jEdit/src/jedit/html_panel.scala
--- a/src/Tools/jEdit/src/jedit/html_panel.scala	Wed May 25 08:31:36 2011 +0200
+++ b/src/Tools/jEdit/src/jedit/html_panel.scala	Thu May 26 00:12:01 2011 +0200
@@ -67,8 +67,8 @@
   private val rcontext = new SimpleHtmlRendererContext(this, ucontext)
   {
     private def handle(event: HTML_Panel.Event): Boolean =
-      if (handler.isDefinedAt(event)) { handler(event); true }
-      else false
+      if (handler.isDefinedAt(event)) { handler(event); false }
+      else true
 
     override def onContextMenu(elem: HTMLElement, event: MouseEvent): Boolean =
       handle(HTML_Panel.Context_Menu(elem, event))