src/Tools/VSCode/src/channel.scala
changeset 65829 07e86b942a84
parent 65152 a920012ae16a
child 65922 d2f19f05c0e9
--- a/src/Tools/VSCode/src/channel.scala	Sun May 14 17:05:06 2017 +0200
+++ b/src/Tools/VSCode/src/channel.scala	Sun May 14 17:08:12 2017 +0200
@@ -110,6 +110,8 @@
   def make_progress(verbose: Boolean = false): Progress =
     new Progress {
       override def echo(msg: String): Unit = log_writeln(msg)
+      override def echo_warning(msg: String): Unit = log_warning(msg)
+      override def echo_error_message(msg: String): Unit = log_error_message(msg)
       override def theory(session: String, theory: String): Unit =
         if (verbose) echo(session + ": theory " + theory)
     }