Summary
- tuned signature -- avoid warning during jEdit startup;
- more thorough change of syntax style extender: jEdit.propertiesChanged invalidates buffer chunk cache;
The file was modified | src/Tools/jEdit/src-base/plugin.scala (diff) |
The file was modified | src/Tools/jEdit/src-base/plugin.scala (diff) |
The file was modified | src/Tools/jEdit/src-base/syntax_style.scala (diff) |
The file was modified | src/Tools/jEdit/src/plugin.scala (diff) |