diff -r 6827dd0c3723 -r 318c6b466ec0 etc/build.props
--- a/etc/build.props	Mon Dec 05 16:27:27 2022 +0100
+++ b/etc/build.props	Mon Dec 05 21:10:39 2022 +0100
@@ -297,6 +297,7 @@
   src/Tools/jEdit/src/text_overview.scala \
   src/Tools/jEdit/src/text_structure.scala \
   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
 services = \