# HG changeset patch
# User wenzelm
# Date 1661549841 -7200
# Node ID f0ea03be7cebf2e1f77a81519c7a1ae5291cd3b6
# Parent  8f1bb89ddf4bfc974048a0aabc9d9aaee918a0f3
tuned output;

diff -r 8f1bb89ddf4b -r f0ea03be7ceb src/Pure/Thy/browser_info.scala
--- a/src/Pure/Thy/browser_info.scala	Fri Aug 26 23:17:07 2022 +0200
+++ b/src/Pure/Thy/browser_info.scala	Fri Aug 26 23:37:21 2022 +0200
@@ -114,6 +114,8 @@
     }
 
     sealed case class Item(name: String, description: String = "") {
+      override def toString: String = name
+
       def json: JSON.T = JSON.Object("name" -> name, "description" -> description)
     }