Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded;
Changeset 66555:39257f39c7da by wenzelm:
more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded;
The file was addedsrc/Tools/jEdit/src-base/syntax_style.scala
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src-base/plugin.scala (diff)