src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala
2008-12-15 immler 2008-12-15 delayed repainting new phase in buffer and overview; reverted johannes' handling of removed Commands
2008-12-10 immler 2008-12-10 information on command-phase left of scrollbar (with panel)