# HG changeset patch
# User wenzelm
# Date 1730664252 -3600
# Node ID 2239495a64f6252ba3bd40a596ac40cdc2816e94
# Parent  1775fdc7274e6711ac8d273ca54770d3cce9ce0f
tuned comments;

diff -r 1775fdc7274e -r 2239495a64f6 src/Pure/GUI/tree_view.scala
--- 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