src/Tools/jEdit/src/debugger_dockable.scala

--- a/src/Tools/jEdit/src/debugger_dockable.scala	Tue Aug 11 20:28:11 2015 +0200
+++ b/src/Tools/jEdit/src/debugger_dockable.scala	Tue Aug 11 20:32:56 2015 +0200
@@ -352,7 +352,7 @@
         Debugger.set_session(PIDE.session)
         GUI_Thread.later { handle_resize() }
 
-      case _: Debugger.Update =>
+      case Debugger.Update =>
         GUI_Thread.later { handle_update() }
     }