# HG changeset patch # User wenzelm # Date 1413920145 -7200 # Node ID 790ff9eb2578dd0077290540aab50147c945a018 # Parent 7f4924f23158571f1681d1757e8b0480fe3019df NEWS; diff -r 7f4924f23158 -r 790ff9eb2578 NEWS --- 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.