--- 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))