Tue, 05 Jan 2021 21:46:35 +0100 | wenzelm | proper dock icon for macOS; | file | diff | annotate |
Mon, 04 Sep 2017 20:55:06 +0200 | wenzelm | tuned signature -- avoid warning during jEdit startup; | file | diff | annotate |
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 |
Fri, 01 Sep 2017 15:42:10 +0200 | wenzelm | clarified startup sequence; | file | diff | annotate |
Fri, 01 Sep 2017 14:58:19 +0200 | wenzelm | more robust; | 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 |
Sun, 20 Aug 2017 14:03:23 +0200 | wenzelm | separate base plugin for important services that should be always available, despite startup errors of the main plugin; | file | diff | annotate |