diff -r fdc1281430eb -r 45ef41e823f7 src/Pure/System/options.scala
--- 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,