| Wed, 22 Oct 2014 17:34:01 +0200 |
wenzelm |
proper line height and text base line, like regular TextAreaPainter.PaintText;
|
file |
diff |
annotate
|
| Mon, 06 Oct 2014 16:54:35 +0200 |
wenzelm |
completion for bibtex entries;
|
file |
diff |
annotate
|
| Sun, 05 Oct 2014 18:44:04 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 31 Jul 2014 21:29:31 +0200 |
wenzelm |
completion popup supports both ENTER and TAB (default);
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| Mon, 21 Jul 2014 13:50:26 +0200 |
wenzelm |
discontinued unfinished attempts at syntactic word context (see 2e1398b484aa, 08a1c860bc12, 7f229b0212fe) -- back to more basic completion of Isabelle2013-2;
|
file |
diff |
annotate
|
| Fri, 30 May 2014 11:02:02 +0200 |
wenzelm |
make double-sure that old popup is dismissed, before replacing it;
|
file |
diff |
annotate
|
| Wed, 21 May 2014 22:06:10 +0200 |
wenzelm |
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;
|
file |
diff |
annotate
|
| Tue, 06 May 2014 16:16:38 +0200 |
wenzelm |
more visual feedback on path_completion, at the risk of file-system access in GUI painting;
|
file |
diff |
annotate
|
| Mon, 05 May 2014 11:53:07 +0200 |
wenzelm |
allow empty original, e.g. path "";
|
file |
diff |
annotate
|
| Sat, 03 May 2014 23:15:00 +0200 |
wenzelm |
standardize to implode_short form;
|
file |
diff |
annotate
|
| Sat, 03 May 2014 22:47:43 +0200 |
wenzelm |
support for path completion based on file-system content;
|
file |
diff |
annotate
|
| Sat, 03 May 2014 20:31:29 +0200 |
wenzelm |
yet another completion option, to imitate old less ambitious behavior;
|
file |
diff |
annotate
|
| Sat, 03 May 2014 20:20:55 +0200 |
wenzelm |
reduced cluttering of popups;
|
file |
diff |
annotate
|
| Sat, 03 May 2014 20:10:49 +0200 |
wenzelm |
propagate more events, notably after hide_popup (e.g. LEFT, RIGHT);
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 23:49:15 +0200 |
wenzelm |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
| Wed, 16 Apr 2014 14:16:22 +0200 |
wenzelm |
avoid ooddity: invoke intended function instead of java.awt.Container.invalidate();
|
file |
diff |
annotate
|
| Wed, 16 Apr 2014 13:48:35 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2014 12:34:16 +0200 |
wenzelm |
clarified before_caret_range: prevent continuation on next line;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2014 11:26:17 +0200 |
wenzelm |
explicit menu action to complete word;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2014 23:13:10 +0200 |
wenzelm |
added context menu for spell checker actions;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2014 21:51:41 +0200 |
wenzelm |
some actions to maintain spell-checker dictionary;
|
file |
diff |
annotate
|
| Sun, 13 Apr 2014 21:51:49 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 13 Apr 2014 21:43:25 +0200 |
wenzelm |
added spell-checker completion dialog, without counting frequency of items due to empty name;
|
file |
diff |
annotate
|
| Sun, 30 Mar 2014 21:03:40 +0200 |
wenzelm |
immediate completion even with delay, which is the default according to 638b29331549;
|
file |
diff |
annotate
|
| Sun, 30 Mar 2014 20:23:26 +0200 |
wenzelm |
special treatment for various kinds of selections: imitate normal flow of editing;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Mon, 17 Mar 2014 14:40:59 +0100 |
wenzelm |
proper flags for main action (amending 638b29331549);
|
file |
diff |
annotate
|
| Mon, 17 Mar 2014 13:53:02 +0100 |
wenzelm |
merge semantic and syntax completion;
|
file |
diff |
annotate
|
| Mon, 17 Mar 2014 12:24:00 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 17 Mar 2014 11:33:09 +0100 |
wenzelm |
clarified key event propagation, in accordance to outer_key_listener;
|
file |
diff |
annotate
|
| Mon, 17 Mar 2014 10:45:29 +0100 |
wenzelm |
allow implicit semantic completion, notably after delay that exceeds usual round-trip time;
|
file |
diff |
annotate
|
| Fri, 07 Mar 2014 15:16:08 +0100 |
wenzelm |
tuned description and its rendering;
|
file |
diff |
annotate
|
| Wed, 05 Mar 2014 13:11:08 +0100 |
wenzelm |
clarified init_assignable: make double-sure that initial values are reset;
|
file |
diff |
annotate
|
| 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');
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 22:46:31 +0100 |
wenzelm |
clarified language markup: added "delimited" property;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 19:39:27 +0100 |
wenzelm |
tuned signature -- separate module Font_Info;
|
file |
diff |
annotate
|
| Fri, 28 Feb 2014 22:19:29 +0100 |
wenzelm |
allow completion within a word (or symbol), like semantic completion;
|
file |
diff |
annotate
|
| Wed, 26 Feb 2014 14:59:24 +0100 |
wenzelm |
more precise before_caret_range (looking both in space and time);
|
file |
diff |
annotate
|
| Tue, 25 Feb 2014 22:13:57 +0100 |
wenzelm |
uniform insert vs. popup policy;
|
file |
diff |
annotate
|
| Tue, 25 Feb 2014 20:57:57 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 25 Feb 2014 20:46:09 +0100 |
wenzelm |
no word completion within word context;
|
file |
diff |
annotate
|
| Tue, 25 Feb 2014 20:15:47 +0100 |
wenzelm |
more completion rendering: active, semantic, syntactic;
|
file |
diff |
annotate
|
| Mon, 24 Feb 2014 12:23:35 +0100 |
wenzelm |
tuned signature -- weaker type requirement;
|
file |
diff |
annotate
|
| Mon, 24 Feb 2014 12:14:03 +0100 |
wenzelm |
paint completion range of active popup;
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 20:24:33 +0100 |
wenzelm |
try explicit semantic completion before syntax completion;
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 19:29:27 +0100 |
wenzelm |
more explicit Completion.Item.range, independently of caret;
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 16:08:38 +0100 |
wenzelm |
clarified stretch_point_range wrt. UTF-16 surrogates;
|
file |
diff |
annotate
|
| Sat, 22 Feb 2014 15:07:33 +0100 |
wenzelm |
refined language context: antiquotes;
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 13:23:49 +0100 |
wenzelm |
default completion context via outer syntax;
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 12:53:12 +0100 |
wenzelm |
completion of keywords and symbols based on language context;
|
file |
diff |
annotate
|
| Fri, 08 Nov 2013 17:34:37 +0100 |
wenzelm |
added jedit_completion_dismiss_delay for hide_popup, which helps to avoid loosing key events on old popup (no change of default behavior);
|
file |
diff |
annotate
|
| Fri, 08 Nov 2013 15:10:16 +0100 |
wenzelm |
transfer focus before closing old component -- avoid intermediate focus switch to root component, which is actually visible e.g. on Windows;
|
file |
diff |
annotate
|
| Sun, 29 Sep 2013 18:51:01 +0200 |
wenzelm |
explicit caret position after replacement;
|
file |
diff |
annotate
|
| Tue, 24 Sep 2013 19:57:44 +0200 |
wenzelm |
clarified font;
|
file |
diff |
annotate
|
| Tue, 24 Sep 2013 19:41:14 +0200 |
wenzelm |
disable standard behaviour of Mac OS X text field (i.e. select-all after focus gain) in order to make completion work more smoothly;
|
file |
diff |
annotate
|
| Sun, 22 Sep 2013 18:07:34 +0200 |
wenzelm |
completion popup for history text field;
|
file |
diff |
annotate
|
| Wed, 04 Sep 2013 17:40:07 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|