| Tue, 07 Mar 2017 18:50:42 +0100 |
wenzelm |
decorations for text color;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2017 16:06:42 +0100 |
wenzelm |
decorations for spell-checker;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2017 00:06:16 +0100 |
wenzelm |
maintain decorations for document (model) and update it for each editor (view);
|
file |
diff |
annotate
|
| Mon, 06 Mar 2017 18:28:48 +0100 |
wenzelm |
clarified messages (with improved scalability): legacy/error as diagnostics, writeln/information/warning/bad as tooltips (dynamic hover);
|
file |
diff |
annotate
|
| Sun, 05 Mar 2017 22:32:33 +0100 |
wenzelm |
decorations for dotted underline: less intrusive;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2017 21:04:44 +0100 |
wenzelm |
more general hover_message (see also JEdit_Rendering.tooltip_message);
|
file |
diff |
annotate
|
| Sat, 04 Mar 2017 13:36:06 +0100 |
wenzelm |
decorations for background and foreground colors;
|
file |
diff |
annotate
|
| Fri, 03 Mar 2017 23:21:24 +0100 |
wenzelm |
evade odd version conflicts for batch build (e.g. "vsce package");
|
file |
diff |
annotate
|
| Fri, 03 Mar 2017 23:04:12 +0100 |
wenzelm |
more robust Uri comparison, notably on Windows;
|
file |
diff |
annotate
|
| Fri, 03 Mar 2017 21:51:04 +0100 |
wenzelm |
publish decorations like diagnostics;
|
file |
diff |
annotate
|
| Fri, 03 Mar 2017 19:33:52 +0100 |
wenzelm |
support for decorations;
|
file |
diff |
annotate
|