changeset 58759 | e55fe82f3803 |
parent 58740 | cb9d84d3e7f2 |
parent 58758 | 790ff9eb2578 |
child 58770 | ae5e9b4f8daf |
--- a/NEWS Tue Oct 21 21:10:44 2014 +0200 +++ b/NEWS Tue Oct 21 21:55: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.