19 months ago wenzelm [Wed, 21 Dec 2016 22:52:07 +0100] rev 64652
VSCode already detects URLs from plain text;
src/Tools/VSCode/src/vscode_rendering.scala

19 months ago wenzelm [Wed, 21 Dec 2016 22:49:53 +0100] rev 64651
clarified signature;
src/Pure/PIDE/line.scala src/Tools/VSCode/src/protocol.scala src/Tools/VSCode/src/server.scala src/Tools/VSCode/src/vscode_rendering.scala

19 months ago wenzelm [Wed, 21 Dec 2016 22:37:53 +0100] rev 64650
tuned signature;
src/Pure/PIDE/line.scala

19 months ago wenzelm [Wed, 21 Dec 2016 22:27:38 +0100] rev 64649
tuned signature -- more explicit types;
src/Pure/PIDE/line.scala src/Tools/VSCode/src/document_model.scala src/Tools/VSCode/src/protocol.scala src/Tools/VSCode/src/server.scala src/Tools/VSCode/src/vscode_rendering.scala

19 months ago wenzelm [Wed, 21 Dec 2016 21:18:37 +0100] rev 64648
basic support for hyperlinks / Goto Definition Request;
src/Pure/PIDE/rendering.scala src/Tools/VSCode/src/protocol.scala src/Tools/VSCode/src/server.scala src/Tools/VSCode/src/vscode_rendering.scala

19 months ago wenzelm [Wed, 21 Dec 2016 21:17:44 +0100] rev 64647
clarified border cases;
src/Pure/PIDE/line.scala

19 months ago wenzelm [Wed, 21 Dec 2016 16:32:34 +0100] rev 64646
tuned messages;
src/Tools/VSCode/src/server.scala

19 months ago wenzelm [Wed, 21 Dec 2016 16:28:02 +0100] rev 64645
proper pattern match;
src/Tools/VSCode/src/server.scala

19 months ago wenzelm [Wed, 21 Dec 2016 16:22:23 +0100] rev 64644
more explicit error;
src/Tools/VSCode/src/server.scala

19 months ago wenzelm [Wed, 21 Dec 2016 16:14:47 +0100] rev 64643
more explicit error;
src/Tools/VSCode/src/server.scala