src/Tools/jEdit/src/html_panel.scala

--- a/src/Tools/jEdit/src/html_panel.scala	Sat Jun 18 17:30:44 2011 +0200
+++ b/src/Tools/jEdit/src/html_panel.scala	Sat Jun 18 17:32:13 2011 +0200
@@ -61,7 +61,7 @@
 
   /* contexts and event handling */
 
-  protected val handler: PartialFunction[HTML_Panel.Event, Unit] = Library.undefined
+  protected val handler: PartialFunction[HTML_Panel.Event, Unit] = Map.empty
 
   private val ucontext = new SimpleUserAgentContext
   private val rcontext = new SimpleHtmlRendererContext(this, ucontext)