HomeIsabelle/Phabricator

more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().

Description

more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().getModeName();

Details

Provenance
makariusAuthored on
Parents
rISABELLEb0ea03e837b1: support nested cases;
Branches
Unknown
Tags
Unknown