etc/build.props

--- a/etc/build.props	Sun Nov 10 11:38:23 2024 +0100
+++ b/etc/build.props	Sun Nov 10 11:55:36 2024 +0100
@@ -82,6 +82,7 @@
   src/Pure/GUI/gui.scala \
   src/Pure/GUI/gui_thread.scala \
   src/Pure/GUI/popup.scala \
+  src/Pure/GUI/rich_text.scala \
   src/Pure/GUI/tree_view.scala \
   src/Pure/GUI/wrap_panel.scala \
   src/Pure/General/antiquote.scala \