src/Tools/VSCode/src/server.scala

       else resources.flush_output(channel)
     }
 
   private val prover_output =
     Session.Consumer[Session.Commands_Changed](getClass.getName) {
-      case changed if changed.nodes.nonEmpty =>
+      case changed =>
         resources.update_output(changed.nodes.toList.map(resources.node_file(_)))
         delay_output.invoke()
-      case _ =>
     }
 
   private val syslog =
     Session.Consumer[Prover.Message](getClass.getName) {
       case output: Prover.Output if output.is_syslog =>