more robust indentation: proper line context after insert;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE20d0abffee99: more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().
- Branches
- Unknown
- Tags