4.12.0
Description
This release provides several improvements, especially:
- Add support for on-save actions for source editors
- Add support for sticky scrolling in source editors
The target platform of StatET 4.12.0 is the Eclipse IDE 2025-12.
See also: Issues at GitLab
Conforms To UI/UX Guidelines
Not verified