src/Tools/jEdit/src/context_menu.scala
2016-01-21 wenzelm 2016-01-21 more robust initialization: createMenu(_, null) is called early (during EditPane creation), thus it precedes the startup_failure dialog and could crash if PIDE.options are uninitialized;
2015-08-10 wenzelm 2015-08-10 added action to toggle breakpoints (on editor side);
2014-10-05 wenzelm 2014-10-05 clarified modules;
2014-10-05 wenzelm 2014-10-05 clarified modules;
2014-10-05 wenzelm 2014-10-05 clarified modules;
2014-10-05 wenzelm 2014-10-05 maintain Document_Model.bibtex_entries; clarified Chunk predicates;
2014-10-03 wenzelm 2014-10-03 SideKick parser for bibtex entries; tuned signature;
2014-10-03 wenzelm 2014-10-03 more buffer.isEditable checks;
2014-10-03 wenzelm 2014-10-03 context menu for bibtex entries;
2014-04-15 wenzelm 2014-04-15 more context-sensitivity;
2014-04-15 wenzelm 2014-04-15 avoid conflict of Isabelle/jEdit popups with jEdit context menu;
2014-04-15 wenzelm 2014-04-15 explicit menu action to complete word;
2014-04-15 wenzelm 2014-04-15 common context menu for Isabelle/jEdit;