author | wenzelm |
Tue, 21 Oct 2014 21:35:45 +0200 | |
changeset 58758 | 790ff9eb2578 |
parent 58757 | 7f4924f23158 |
child 58759 | e55fe82f3803 |
--- a/NEWS Tue Oct 21 21:32:12 2014 +0200 +++ b/NEWS Tue Oct 21 21:35:45 2014 +0200 @@ -20,6 +20,10 @@ * Improved folding mode "isabelle" based on Isar syntax. Alternatively, the "sidekick" mode may be used for document structure. +* Extended bracket matching based on Isar language structure. System +option jedit_structure_limit determines maximum number of lines to +scan in the buffer. + * Support for BibTeX files: context menu, context-sensitive token marker, SideKick parser.