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 |