--- a/src/Pure/GUI/tree_view.scala Sun Nov 03 20:53:12 2024 +0100
+++ b/src/Pure/GUI/tree_view.scala Sun Nov 03 21:04:12 2024 +0100
@@ -1,7 +1,7 @@
/* Title: Pure/GUI/tree_view.scala
Author: Makarius
-Tree view with adjusted defaults.
+Tree view with sensible defaults.
*/
package isabelle