etc/build.props

--- a/etc/build.props	Sat Nov 02 14:56:13 2024 +0100
+++ b/etc/build.props	Sat Nov 02 14:58:50 2024 +0100
@@ -326,7 +326,8 @@
   src/Tools/jEdit/src/theories_dockable.scala \
   src/Tools/jEdit/src/theories_status.scala \
   src/Tools/jEdit/src/timing_dockable.scala \
-  src/Tools/jEdit/src/token_markup.scala
+  src/Tools/jEdit/src/token_markup.scala \
+  src/Tools/jEdit/src/tree_text_area.scala
 services = \
   isabelle.Bash$Handler \
   isabelle.Bibtex$File_Format \