changeset 76566 | 318c6b466ec0 |
parent 76552 | 13fde66c7cf6 |
child 76606 | 3558388330f8 |
--- 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 = \