#1470 (Feb 17, 2018, 8:16:06 PM)

1. more thorough jEdit.propertiesChanged(), which includes KeymapManager.reload() and jEdit.initKeyBindings(); (detail / hgweb)
2. avoid conflict with Isabelle/jEdit completion of '>', e.g. "-->", "==>"; (detail / hgweb)
3. trim context of persistent data; (detail / hgweb)
4. trim context of persistent data; (detail / hgweb)
5. trim context of persistent data; (detail / hgweb)
6. clarified apply_transaction: always continue without presentation context; (detail / hgweb)
7. more tight presentation context: avoid storing full Toplevel.state; (detail / hgweb)
8. tuned; (detail / hgweb)
9. more informative theories_trace; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 1 hr 49 min build duration;
• 1 hr 54 min total from scheduled to completion.