src/Tools/VSCode/src/lsp.scala

--- a/src/Tools/VSCode/src/lsp.scala	Wed Apr 07 18:05:14 2021 +0200
+++ b/src/Tools/VSCode/src/lsp.scala	Wed Apr 07 18:05:48 2021 +0200
@@ -259,7 +259,7 @@
 
   object DisplayMessage
   {
-    def apply(message_type: Int, message: String, show: Boolean = true): JSON.T =
+    def apply(message_type: Int, message: String, show: Boolean): JSON.T =
       Notification(if (show) "window/showMessage" else "window/logMessage",
         JSON.Object("type" -> message_type, "message" -> message))
   }