| Tue, 21 Oct 2014 19:20:48 +0200 | wenzelm | added option jedit_structure_limit; | changeset | files |
| Tue, 21 Oct 2014 17:49:51 +0200 | wenzelm | some structure matching, based on line token iterators; | changeset | files |
| Tue, 21 Oct 2014 15:21:44 +0200 | wenzelm | support for structure matching; | changeset | files |
| Tue, 21 Oct 2014 13:56:42 +0200 | wenzelm | tuned rendering; | changeset | files |