--- a/src/Pure/System/options.scala Thu May 30 02:43:29 2024 +0200
+++ b/src/Pure/System/options.scala Wed Jun 12 20:44:10 2024 +0200
@@ -109,6 +109,7 @@
val TAG_UPDATE = "update" // relevant for "isabelle update"
val TAG_CONNECTION = "connection" // private information about connections (password etc.)
val TAG_COLOR_DIALOG = "color_dialog" // special color selection dialog
+ val TAG_VSCODE = "vscode" // relevant for "isabelle vscode" and "isabelle vscode_server"
case class Entry(
public: Boolean,