diff -r 042180540068 -r 4519eeefe3b5 src/Tools/VSCode/src/state_panel.scala
--- a/src/Tools/VSCode/src/state_panel.scala	Sat Nov 28 17:38:03 2020 +0100
+++ b/src/Tools/VSCode/src/state_panel.scala	Sat Nov 28 20:14:46 2020 +0100
@@ -15,7 +15,7 @@
   private val make_id = Counter.make()
   private val instances = Synchronized(Map.empty[Counter.ID, State_Panel])
 
-  def init(server: Server)
+  def init(server: Language_Server)
   {
     val instance = new State_Panel(server)
     instances.change(_ + (instance.id -> instance))
@@ -45,14 +45,14 @@
 }
 
 
-class State_Panel private(val server: Server)
+class State_Panel private(val server: Language_Server)
 {
   /* output */
 
   val id: Counter.ID = State_Panel.make_id()
 
   private def output(content: String): Unit =
-    server.channel.write(Protocol.State_Output(id, content))
+    server.channel.write(LSP.State_Output(id, content))
 
 
   /* query operation */