more robust JEdit_Lib.line_range, according to usual jEdit confusion at end of last line;

avoid conflict of Isabelle/jEdit popups with jEdit context menu;

clarified before_caret_range: prevent continuation on next line; more robust jedit_text_areas in unclear situations of object initialization;

explicit menu action to complete word;

common context menu for Isabelle/jEdit;

tuned;

tuned;

tuned spelling;

tuned menu;

NEWS;