src/Tools/jEdit/src/text_overview.scala
2012-02-21 wenzelm 2012-02-21 separate module for text status overview;