With GNATbench 2.3.0, Eclipse now has integrated support for the SPARK language and tools developed by Praxis High Integrity Systems. Support includes contextual menu entries, dedicated output windows, and Marker Bar/Problems view integration. (Specific color selection for SPARK Annotations was added in an earlier release.) See the GNATbench User Guide section titled "Using SPARK" for details.
SPARK integration represents a major enhancement to GNATbench and is the primary reason for producing another major GNATbench release this year.
Additional enhancements have also been incorporated in response to user requests.
It is now possible to deactivate Quick Fix using the Ada -> Tools preference panel.
GNATbench is now organized as Eclipse "features", facilitating the management of an Eclipse configuration. (To see the features installed, use the Help->About menu entry and then press the Feature Details button.)
When the Automatic Build option is enabled, the builder now only performs semantic analysis on the saved file, rather than performing a full build with linking. This approach will better serve large projects in which a full build could take a relatively long time. In addition, a manual build will work correctly even with automatic building enabled.