src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala

   private val WIDTH = 10
 	private val HILITE_HEIGHT = 2
   var textarea : JEditTextArea = null
 
   val repaint_delay = new isabelle.utils.Delay(100, () => repaint())
-    prover.commandInfo.add(cc => repaint_delay.delay_or_ignore())
+  prover.command_info += (_ => repaint_delay.delay_or_ignore())
     
   setRequestFocusEnabled(false);
 
   addMouseListener(new MouseAdapter {
     override def mousePressed(evt : MouseEvent) {