Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper "val verbose" (amending 2e2b2bd6b2d2);
authorwenzelm
Sat, 04 Mar 2023 21:41:16 +0100
changeset 77508 7d13996ffecc
parent 77507 8dfe2fbc98e7
child 77509 3bc49507bae5
proper "val verbose" (amending 2e2b2bd6b2d2);
src/Tools/VSCode/src/channel.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/channel.scala	Sat Mar 04 21:25:12 2023 +0100
+++ b/src/Tools/VSCode/src/channel.scala	Sat Mar 04 21:41:16 2023 +0100
@@ -100,6 +100,7 @@
   def progress(verbose: Boolean = false): Progress = {
     val verbose_ = verbose
     new Progress {
+      override val verbose: Boolean = verbose_
       override def echo(message: Progress.Message): Unit =
         message.kind match {
           case Progress.Kind.writeln => log_writeln(message.text)
isabelle