src/Tools/VSCode/src/language_server.scala

   def symbols_convert_request(id: LSP.Id, text: String, unicode: Boolean): Unit = {
     val converted = Symbol.output(unicode, text)
     channel.write(LSP.Symbols_Convert_Request.reply(id, converted))
   }
 
-  def symbols_panel_request(init: Boolean): Unit = {
+  def symbols_panel_request(): Unit = {
     val abbrevs =
       resources.get_caret().flatMap { caret =>
         resources.get_model(caret.file).map(_.syntax().abbrevs)
       }.getOrElse(session.resources.session_base.overall_syntax.abbrevs)
 
     channel.write(LSP.Symbols_Response(Symbol.symbols, abbrevs))
   }
 
 
-  def documentation_request(init: Boolean): Unit =
+  def documentation_request(): Unit =
     channel.write(LSP.Documentation_Response(ml_settings))
 
 
   /* main loop */
 

           case LSP.State_Set_Margin(state_id, margin) => State_Panel.set_margin(state_id, margin)
           case LSP.Symbols_Request(id) => symbols_request(id)
           case LSP.Symbols_Convert_Request(id, text, boolean) =>
             symbols_convert_request(id, text, boolean)
           case LSP.Preview_Request(file, column) => preview_request(file, column)
-          case LSP.Symbols_Panel_Request(init) => symbols_panel_request(init)
-          case LSP.Documentation_Request(init) => documentation_request(init)
+          case LSP.Symbols_Panel_Request => symbols_panel_request()
+          case LSP.Documentation_Request => documentation_request()
           case LSP.Sledgehammer_Request(provers, isar, try0, purpose) =>
             sledgehammer.handle_request(provers, isar, try0, purpose)
           case LSP.Sledgehammer_Cancel => sledgehammer.cancel_query()
           case LSP.Sledgehammer_Provers => sledgehammer.send_provers()
           case _ => if (!LSP.ResponseMessage.is_empty(json)) log("### IGNORED")