| Sat, 15 Mar 2014 12:51:14 +0100 |
wenzelm |
clarified completion ordering: prefer local names;
|
file |
diff |
annotate
|
| Mon, 10 Mar 2014 22:40:48 +0100 |
wenzelm |
proper Char comparison, despite weakly-typed Scala (cf. 5ff5208de089);
|
file |
diff |
annotate
|
| Mon, 10 Mar 2014 22:22:03 +0100 |
wenzelm |
include long identifiers in the reckoning of words (e.g. "integer.lifting" vs. 'lifting_update');
|
file |
diff |
annotate
|
| Sun, 09 Mar 2014 15:21:08 +0100 |
wenzelm |
do allow replacement of words where this is appropriate, notably symbol abbrevs and keyword templates (see also 1c42ebdb3a58);
|
file |
diff |
annotate
|
| Sat, 08 Mar 2014 13:49:01 +0100 |
wenzelm |
allow suffix of underscores for words (notably keywords), similar to semantic completion;
|
file |
diff |
annotate
|
| Sat, 08 Mar 2014 12:44:15 +0100 |
wenzelm |
no completion for complete keywords, to avoid confusion of 'assume' ~> 'assumes' etc.;
|
file |
diff |
annotate
|
| Sat, 08 Mar 2014 12:31:23 +0100 |
wenzelm |
clarified description;
|
file |
diff |
annotate
|
| Sat, 08 Mar 2014 11:50:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 07 Mar 2014 20:32:48 +0100 |
wenzelm |
more strict discrimination: symbols vs. keywords could overlap;
|
file |
diff |
annotate
|
| Fri, 07 Mar 2014 20:24:14 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 07 Mar 2014 20:12:38 +0100 |
wenzelm |
more accurate description;
|
file |
diff |
annotate
|
| Fri, 07 Mar 2014 19:56:31 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Fri, 07 Mar 2014 19:28:34 +0100 |
wenzelm |
more accurate description;
|
file |
diff |
annotate
|
| Fri, 07 Mar 2014 15:16:08 +0100 |
wenzelm |
tuned description and its rendering;
|
file |
diff |
annotate
|
| Fri, 07 Mar 2014 14:37:25 +0100 |
wenzelm |
more detailed description of completion items;
|
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
|
| Fri, 28 Feb 2014 22:19:29 +0100 |
wenzelm |
allow completion within a word (or symbol), like semantic completion;
|
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
|
| Mon, 24 Feb 2014 13:10:33 +0100 |
wenzelm |
clarified ML language flags;
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 21:11:59 +0100 |
wenzelm |
clarified semantic completion: retain kind.full_name as official item name for history;
|
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 14:39:51 +0100 |
wenzelm |
clarified completion names;
|
file |
diff |
annotate
|
| Sat, 22 Feb 2014 21:38:26 +0100 |
wenzelm |
support for semantic completion on Scala side;
|
file |
diff |
annotate
|
| Sat, 22 Feb 2014 20:56:50 +0100 |
wenzelm |
clarified module location (again, see 763d35697338);
|
file |
diff |
annotate
| base
|