src/Tools/jEdit/src/completion_popup.scala
2014-07-23 ago clarified module name: facilitate alternative GUI frameworks;
2014-07-21 ago discontinued unfinished attempts at syntactic word context (see 2e1398b484aa, 08a1c860bc12, 7f229b0212fe) -- back to more basic completion of Isabelle2013-2;
2014-05-30 ago make double-sure that old popup is dismissed, before replacing it;
2014-05-21 ago 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 ago more visual feedback on path_completion, at the risk of file-system access in GUI painting;
2014-05-05 ago allow empty original, e.g. path "";
2014-05-03 ago standardize to implode_short form;
2014-05-03 ago support for path completion based on file-system content;
2014-05-03 ago yet another completion option, to imitate old less ambitious behavior;
2014-05-03 ago reduced cluttering of popups;
2014-05-03 ago propagate more events, notably after hide_popup (e.g. LEFT, RIGHT);
2014-04-22 ago avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-04-16 ago avoid ooddity: invoke intended function instead of java.awt.Container.invalidate();
2014-04-16 ago tuned;
2014-04-15 ago back to unrestricted before_caret_range, which is important for quick editing at the end of line (amending 83777a91f5de);
2014-04-15 ago more robust JEdit_Lib.line_range, according to usual jEdit confusion at end of last line;
2014-04-15 ago clarified before_caret_range: prevent continuation on next line;
2014-04-15 ago explicit menu action to complete word;
2014-04-14 ago added context menu for spell checker actions;
2014-04-14 ago some actions to maintain spell-checker dictionary;
2014-04-13 ago tuned;
2014-04-13 ago added spell-checker completion dialog, without counting frequency of items due to empty name;
2014-03-30 ago immediate completion even with delay, which is the default according to 638b29331549;
2014-03-30 ago special treatment for various kinds of selections: imitate normal flow of editing;
2014-03-17 ago back to KeyEventInterceptor (see 423e29f1f304), but without focus change, which helps to avoid loosing key events due to quick opening and closing of popups;
2014-03-17 ago proper flags for main action (amending 638b29331549);
2014-03-17 ago merge semantic and syntax completion;
2014-03-17 ago tuned signature;
2014-03-17 ago clarified key event propagation, in accordance to outer_key_listener;
2014-03-17 ago allow implicit semantic completion, notably after delay that exceeds usual round-trip time;
2014-03-07 ago tuned description and its rendering;
2014-03-05 ago clarified init_assignable: make double-sure that initial values are reset;
2014-03-03 ago 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 ago clarified language markup: added "delimited" property;
2014-03-01 ago tuned signature -- separate module Font_Info;
2014-02-28 ago allow completion within a word (or symbol), like semantic completion;
2014-02-26 ago more precise before_caret_range (looking both in space and time);
2014-02-25 ago uniform insert vs. popup policy;
2014-02-25 ago tuned signature;
2014-02-25 ago no word completion within word context;
2014-02-25 ago more completion rendering: active, semantic, syntactic;
2014-02-24 ago tuned signature -- weaker type requirement;
2014-02-24 ago paint completion range of active popup;
2014-02-23 ago try explicit semantic completion before syntax completion;
2014-02-23 ago more explicit Completion.Item.range, independently of caret;
2014-02-23 ago clarified stretch_point_range wrt. UTF-16 surrogates;
2014-02-22 ago refined language context: antiquotes;
2014-02-20 ago default completion context via outer syntax;
2014-02-20 ago completion of keywords and symbols based on language context;
2013-11-08 ago added jedit_completion_dismiss_delay for hide_popup, which helps to avoid loosing key events on old popup (no change of default behavior);
2013-11-08 ago transfer focus before closing old component -- avoid intermediate focus switch to root component, which is actually visible e.g. on Windows;
2013-09-29 ago explicit caret position after replacement;
2013-09-24 ago clarified font;
2013-09-24 ago disable standard behaviour of Mac OS X text field (i.e. select-all after focus gain) in order to make completion work more smoothly;
2013-09-22 ago completion popup for history text field;
2013-09-04 ago tuned;
2013-09-04 ago interpret keys more movement only when needed;
2013-09-04 ago remove Swing input map, which might bind keys in unexpected ways (e.g. LEFT/RIGHT in singleton list);
2013-09-04 ago no completion on backspace -- too intrusive, e.g. when deleting keywords;
2013-08-30 ago sort items according to persistent history of frequency of use;