From 9f2a3de7a3cc0db2db741b7f9766681a95e729ff Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Mon, 8 Nov 2021 12:30:21 +0100 Subject: [PATCH] Add simpler VSCode extension to editor modes page --- doc/gf-editor-modes.t2t | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/doc/gf-editor-modes.t2t b/doc/gf-editor-modes.t2t index 4c4a62ab6..2e92f31c3 100644 --- a/doc/gf-editor-modes.t2t +++ b/doc/gf-editor-modes.t2t @@ -17,9 +17,10 @@ instructions inside. ==Visual Studio Code== -[Grammatical Framework Language Server https://marketplace.visualstudio.com/items?itemName=anka-213.gf-vscode] by Andreas Källberg. - -This provides syntax highlighting and a client for the Grammatical Framework language server. Follow the installation instructions in the link. +- [Grammatical Framework Language Server https://marketplace.visualstudio.com/items?itemName=anka-213.gf-vscode] by Andreas Källberg. + This provides syntax highlighting and a client for the Grammatical Framework language server. Follow the installation instructions in the link. +- [Grammatical Framework https://marketplace.visualstudio.com/items?itemName=GrammaticalFramework.gf-vscode] is a simpler extension + without any external dependencies which provides only syntax highlighting. ==Eclipse==