Sat, 18 Oct 2014 22:49:59 +0200 | wenzelm | NEWS; | changeset | files |
Sat, 18 Oct 2014 22:41:36 +0200 | wenzelm | more folds; | changeset | files |
Sat, 18 Oct 2014 22:02:10 +0200 | wenzelm | always apply precedingFoldLevels, avoid unclear shortcuts; | changeset | files |