# HG changeset patch
# User wenzelm
# Date 1645909152 -3600
# Node ID a2311e4441f0c0ba585b3c04b2a2dbe8984b174f
# Parent  d67ec542b5b54aa3e95febe243a446321e1fb895
some updates to README.md;

diff -r d67ec542b5b5 -r a2311e4441f0 src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Sat Feb 26 21:58:54 2022 +0100
+++ b/src/Tools/VSCode/extension/README.md	Sat Feb 26 21:59:12 2022 +0100
@@ -93,21 +93,11 @@
 
     ```
     "editor.acceptSuggestionOnEnter": "off",
-    "editor.lineNumbers": "off",
-    "editor.renderIndentGuides": false,
-    "editor.rulers": [80, 100],
     "editor.wordBasedSuggestions": true,
     ```
 
 ## Known Limitations of Isabelle/VSCode
 
-  * Lack of specific support for the Isabelle fonts: these need to be
-  manually installed on the system and configured for VSCode (see also
-  `$ISABELLE_FONTS` within the Isabelle environment).
-
-    **Note:** As the Isabelle fonts continue to evolve, installed versions need
-    to be updated according to each new Isabelle version.
-
   * Isabelle symbol abbreviations like "-->" are not accepted by VSCode.
 
   * Lack of formal editor perspective in VSCode: only the cursor position is