Summary
- merged
- Renamed balanced to complete; added balanced; more about both
- tuned GUI: modal dialog last;
- tuned message;
- merged
- NEWS;
- more robust persistent storage; tuned;
- clarified important directories;
- separate action; tuned message;
- check keymap changes on startup;
- tuned message;
- clarified GUI; tuned;
- actual actions; tuned;
- tuned;
- clarified;
- tuned GUI;
- clarified GUI;
- tuned GUI;
- tuned rendering;
- more table content, similar to org.gjt.sp.jedit.pluginmgr.ManagePanel;
- clarified shortcut conflicts; tuned;
- clarified (see 019856db2bb6, ea52509f4c42);
- some support for merge of Isabelle/jEdit shortcuts wrt. jEdit keymap;
- added glyph from "Deja Vu Sans Mono" font;