| changeset 34538 | 20bfcca24658 |
| parent 34513 | 411017e76e98 |
| child 34545 | b928628742ed |
--- a/src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala Thu Mar 19 13:16:07 2009 +0100 +++ b/src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala Thu Mar 19 16:18:57 2009 +0100 @@ -24,7 +24,6 @@ var textarea : JEditTextArea = null val repaint_delay = new isabelle.utils.Delay(100, () => repaint()) - prover.command_info += (_ => repaint_delay.delay_or_ignore()) setRequestFocusEnabled(false);