src/Tools/VSCode/extension/README.md
changeset 69343 395c4fb15ea2
parent 68870 53a75627aab7
child 70234 4e0834322981
equal deleted inserted replaced
69342:fa981730b964 69343:395c4fb15ea2
   159     "editor.wordBasedSuggestions": true,
   159     "editor.wordBasedSuggestions": true,
   160     ```
   160     ```
   161 
   161 
   162 ## Known Limitations of Isabelle/VSCode
   162 ## Known Limitations of Isabelle/VSCode
   163 
   163 
   164   * Lack of specific support for the `IsabelleText` fonts: these need to be
   164   * Lack of specific support for the Isabelle fonts: these need to be
   165   manually installed on the system and configured for VSCode (see also
   165   manually installed on the system and configured for VSCode (see also
   166   `$ISABELLE_FONTS` within the Isabelle environment).
   166   `$ISABELLE_FONTS` within the Isabelle environment).
   167 
   167 
   168     **Note:** As the Isabelle fonts continue to evolve, installed versions need
   168     **Note:** As the Isabelle fonts continue to evolve, installed versions need
   169     to be updated according to each new Isabelle version.
   169     to be updated according to each new Isabelle version.