Mon, 04 Sep 2017 15:25:25 +0200 | wenzelm | more thorough change of syntax style extender: jEdit.propertiesChanged invalidates buffer chunk cache; | file | diff | annotate |
Wed, 30 Aug 2017 15:53:35 +0200 | wenzelm | more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded; | file | diff | annotate |