Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/etc/options
changeset 81084 96eb20106a34
parent 81062 b2df8bf17071 
--- a/src/Tools/VSCode/etc/options	Fri Jul 19 17:08:20 2024 +0200
+++ b/src/Tools/VSCode/etc/options	Wed Oct 02 10:39:32 2024 +0200
@@ -22,10 +22,10 @@
   -- "use PIDE extensions for Language Server Protocol"
 
 option vscode_unicode_symbols_output : bool = false for vscode
-  -- "output Isabelle symbols via Unicode in Output (e.g. tooltips and panels) (according to etc/symbols)"
+  -- "output Isabelle symbols via Unicode in Output (according to etc/symbols)"
 
 option vscode_unicode_symbols_edits : bool = false for vscode
-  -- "output Isabelle symbols via Unicode in Edits (e.g. completions and code actions) (according to etc/symbols)"
+  -- "output Isabelle symbols via Unicode in Edits (according to etc/symbols)"
 
 option vscode_caret_perspective : int = 50 for vscode
   -- "number of visible lines above and below the caret (0: unrestricted)"
isabelle