Changes

Summary

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