src/Tools/jEdit/src/completion_popup.scala
Sat, 03 May 2014 22:47:43 +0200 wenzelm support for path completion based on file-system content;
Sat, 03 May 2014 20:31:29 +0200 wenzelm yet another completion option, to imitate old less ambitious behavior;
Sat, 03 May 2014 20:20:55 +0200 wenzelm reduced cluttering of popups;
Sat, 03 May 2014 20:10:49 +0200 wenzelm propagate more events, notably after hide_popup (e.g. LEFT, RIGHT);
Tue, 22 Apr 2014 23:49:15 +0200 wenzelm avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
Wed, 16 Apr 2014 14:16:22 +0200 wenzelm avoid ooddity: invoke intended function instead of java.awt.Container.invalidate();
Wed, 16 Apr 2014 13:48:35 +0200 wenzelm tuned;
Tue, 15 Apr 2014 19:51:55 +0200 wenzelm back to unrestricted before_caret_range, which is important for quick editing at the end of line (amending 83777a91f5de);
Tue, 15 Apr 2014 13:07:59 +0200 wenzelm more robust JEdit_Lib.line_range, according to usual jEdit confusion at end of last line;
Tue, 15 Apr 2014 12:34:16 +0200 wenzelm clarified before_caret_range: prevent continuation on next line;
Tue, 15 Apr 2014 11:26:17 +0200 wenzelm explicit menu action to complete word;
Mon, 14 Apr 2014 23:13:10 +0200 wenzelm added context menu for spell checker actions;
Mon, 14 Apr 2014 21:51:41 +0200 wenzelm some actions to maintain spell-checker dictionary;
Sun, 13 Apr 2014 21:51:49 +0200 wenzelm tuned;
Sun, 13 Apr 2014 21:43:25 +0200 wenzelm added spell-checker completion dialog, without counting frequency of items due to empty name;
Sun, 30 Mar 2014 21:03:40 +0200 wenzelm immediate completion even with delay, which is the default according to 638b29331549;
Sun, 30 Mar 2014 20:23:26 +0200 wenzelm special treatment for various kinds of selections: imitate normal flow of editing;
Mon, 17 Mar 2014 23:16:26 +0100 wenzelm back to KeyEventInterceptor (see 423e29f1f304), but without focus change, which helps to avoid loosing key events due to quick opening and closing of popups;
Mon, 17 Mar 2014 14:40:59 +0100 wenzelm proper flags for main action (amending 638b29331549);
Mon, 17 Mar 2014 13:53:02 +0100 wenzelm merge semantic and syntax completion;
Mon, 17 Mar 2014 12:24:00 +0100 wenzelm tuned signature;
Mon, 17 Mar 2014 11:33:09 +0100 wenzelm clarified key event propagation, in accordance to outer_key_listener;
Mon, 17 Mar 2014 10:45:29 +0100 wenzelm allow implicit semantic completion, notably after delay that exceeds usual round-trip time;
Fri, 07 Mar 2014 15:16:08 +0100 wenzelm tuned description and its rendering;
Wed, 05 Mar 2014 13:11:08 +0100 wenzelm clarified init_assignable: make double-sure that initial values are reset;
Mon, 03 Mar 2014 03:13:45 +0100 wenzelm no extend_word for now, it is in conflict with manual reformatting of sources via TAB (e.g. accidental replacement of 'assume' by 'assumes');
Sat, 01 Mar 2014 22:46:31 +0100 wenzelm clarified language markup: added "delimited" property;
Sat, 01 Mar 2014 19:39:27 +0100 wenzelm tuned signature -- separate module Font_Info;
Fri, 28 Feb 2014 22:19:29 +0100 wenzelm allow completion within a word (or symbol), like semantic completion;
Wed, 26 Feb 2014 14:59:24 +0100 wenzelm more precise before_caret_range (looking both in space and time);
less more (0) -50 -30 tip