2016-12-20 wenzelm 2016-12-20 clarified module name;
2016-08-12 wenzelm 2016-08-12 proper completion of path cartouche (amending 5a7c919a4ada);
2016-07-20 wenzelm 2016-07-20 completion templates for commands involving "begin ... end" blocks;
2016-01-09 wenzelm 2016-01-09 tuned -- according to ML version;
2015-11-22 wenzelm 2015-11-22 more thorough completion rendering, e.g. "Un";
2015-11-07 wenzelm 2015-11-07 syntactic completion may supersede semantic completion, e.g. relevant for "\undefined" vs. "undefined" in ML;
2015-01-08 wenzelm 2015-01-08 tuned;
2014-12-01 wenzelm 2014-12-01 tuned signature;
2014-10-22 wenzelm 2014-10-22 proper line height and text base line, like regular TextAreaPainter.PaintText;
2014-10-06 wenzelm 2014-10-06 completion for bibtex entries;
2014-10-05 wenzelm 2014-10-05 clarified modules;
2014-07-31 wenzelm 2014-07-31 completion popup supports both ENTER and TAB (default);
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-07-21 wenzelm 2014-07-21 discontinued unfinished attempts at syntactic word context (see 2e1398b484aa, 08a1c860bc12, 7f229b0212fe) -- back to more basic completion of Isabelle2013-2;
2014-05-30 wenzelm 2014-05-30 make double-sure that old popup is dismissed, before replacing it;
2014-05-21 wenzelm 2014-05-21 spell-checker completion is restricted to explicit mode, to avoid odd effects with immediate edits vs. delayed language context markup, and occasional delays due to dictionary lookup of many variants;
2014-05-06 wenzelm 2014-05-06 more visual feedback on path_completion, at the risk of file-system access in GUI painting;
2014-05-05 wenzelm 2014-05-05 allow empty original, e.g. path "";
2014-05-03 wenzelm 2014-05-03 standardize to implode_short form; clarified treatment of directories;
2014-05-03 wenzelm 2014-05-03 support for path completion based on file-system content;
2014-05-03 wenzelm 2014-05-03 yet another completion option, to imitate old less ambitious behavior;
2014-05-03 wenzelm 2014-05-03 reduced cluttering of popups;
2014-05-03 wenzelm 2014-05-03 propagate more events, notably after hide_popup (e.g. LEFT, RIGHT);
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-04-16 wenzelm 2014-04-16 avoid ooddity: invoke intended function instead of java.awt.Container.invalidate();
2014-04-16 wenzelm 2014-04-16 tuned;
2014-04-15 wenzelm 2014-04-15 back to unrestricted before_caret_range, which is important for quick editing at the end of line (amending 83777a91f5de);
2014-04-15 wenzelm 2014-04-15 more robust JEdit_Lib.line_range, according to usual jEdit confusion at end of last line;
2014-04-15 wenzelm 2014-04-15 clarified before_caret_range: prevent continuation on next line; more robust jedit_text_areas in unclear situations of object initialization;
2014-04-15 wenzelm 2014-04-15 explicit menu action to complete word;
2014-04-14 wenzelm 2014-04-14 added context menu for spell checker actions;
2014-04-14 wenzelm 2014-04-14 some actions to maintain spell-checker dictionary;
2014-04-13 wenzelm 2014-04-13 tuned;
2014-04-13 wenzelm 2014-04-13 added spell-checker completion dialog, without counting frequency of items due to empty name; tuned signature;
2014-03-30 wenzelm 2014-03-30 immediate completion even with delay, which is the default according to 638b29331549;
2014-03-30 wenzelm 2014-03-30 special treatment for various kinds of selections: imitate normal flow of editing;
2014-03-17 wenzelm 2014-03-17 back to KeyEventInterceptor (see 423e29f1f304), but without focus change, which helps to avoid loosing key events due to quick opening and closing of popups; discontinued obsolete option jedit_completion_dismiss_delay (see 750561986828); more explicit shutdown;
2014-03-17 wenzelm 2014-03-17 proper flags for main action (amending 638b29331549);
2014-03-17 wenzelm 2014-03-17 merge semantic and syntax completion; tuned;
2014-03-17 wenzelm 2014-03-17 tuned signature;
2014-03-17 wenzelm 2014-03-17 clarified key event propagation, in accordance to outer_key_listener;
2014-03-17 wenzelm 2014-03-17 allow implicit semantic completion, notably after delay that exceeds usual round-trip time; clarified isabelle.completion action: already open popup is re-opened and thus updated;
2014-03-07 wenzelm 2014-03-07 tuned description and its rendering;
2014-03-05 wenzelm 2014-03-05 clarified init_assignable: make double-sure that initial values are reset; more systematic reports for Args.syntax: indicate Args.$$$ quasi-keywords and suppress confusing completion of single symbols like ":", "|", "?";
2014-03-03 wenzelm 2014-03-03 no extend_word for now, it is in conflict with manual reformatting of sources via TAB (e.g. accidental replacement of 'assume' by 'assumes');
2014-03-01 wenzelm 2014-03-01 clarified language markup: added "delimited" property; type Symbol_Pos.source preserves information about delimited outer tokens (e.g string, cartouche); observe Completion.Language_Context only for delimited languages, which is important to complete keywords after undelimited inner tokens, e.g. "lemma A pro";
2014-03-01 wenzelm 2014-03-01 tuned signature -- separate module Font_Info;
2014-02-28 wenzelm 2014-02-28 allow completion within a word (or symbol), like semantic completion; no special treatment for History_Text_Field, due to lack of active range rendering;
2014-02-26 wenzelm 2014-02-26 more precise before_caret_range (looking both in space and time);
2014-02-25 wenzelm 2014-02-25 uniform insert vs. popup policy;
2014-02-25 wenzelm 2014-02-25 tuned signature;
2014-02-25 wenzelm 2014-02-25 no word completion within word context;
2014-02-25 wenzelm 2014-02-25 more completion rendering: active, semantic, syntactic; tuned;
2014-02-24 wenzelm 2014-02-24 tuned signature -- weaker type requirement;
2014-02-24 wenzelm 2014-02-24 paint completion range of active popup;
2014-02-23 wenzelm 2014-02-23 try explicit semantic completion before syntax completion;
2014-02-23 wenzelm 2014-02-23 more explicit Completion.Item.range, independently of caret;
2014-02-23 wenzelm 2014-02-23 clarified stretch_point_range wrt. UTF-16 surrogates; tuned;
2014-02-22 wenzelm 2014-02-22 refined language context: antiquotes; support default completions, with move of caret position; tuned signature;
2014-02-20 wenzelm 2014-02-20 default completion context via outer syntax; no symbol completion for ML files; tuned;