src/Tools/jEdit/src/structure_matching.scala
Tue, 21 Oct 2014 19:20:48 +0200 wenzelm added option jedit_structure_limit;
Tue, 21 Oct 2014 17:49:51 +0200 wenzelm some structure matching, based on line token iterators;
Tue, 21 Oct 2014 15:21:44 +0200 wenzelm support for structure matching;
less more (0) tip