src/Tools/jEdit/src/jedit/history_dockable.scala
2009-12-08 wenzelm 2009-12-08 misc modernization of names;