From f1dfb4ade9a70eb8cc22b9dcdcfe7dbdbb35dffe Mon Sep 17 00:00:00 2001 From: hongy19 Date: Sun, 11 Aug 2024 15:13:09 +0800 Subject: [PATCH] Update Language Servers.ipynb PR for #1095 (https://github.com/jupyter-lsp/jupyterlab-lsp/issues/1095) --- docs/Language Servers.ipynb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/Language Servers.ipynb b/docs/Language Servers.ipynb index 1360d8893..800995bb8 100644 --- a/docs/Language Servers.ipynb +++ b/docs/Language Servers.ipynb @@ -186,7 +186,7 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "### Servers tested with file editor" + "### Servers tested with text editor" ] }, { @@ -195,7 +195,7 @@ "source": [ "#### Servers requiring Node.js\n", "\n", - "These servers have mostly been tested with file editors." + "These servers have mostly been tested with [text editors] (https://jupyterlab.readthedocs.io/en/stable/user/file_editor.html)." ] }, { @@ -292,7 +292,7 @@ "source": [ "#### Standalone servers\n", "\n", - "These servers have been mostly tested with file editor." + "These servers have been mostly tested with [text editors] (https://jupyterlab.readthedocs.io/en/stable/user/file_editor.html)." ] }, {