- 7006: Fixed a bug in which restarting Workbench did not restore check marks for files that had been selected when Workbench was previously closed.
- 7005: Fixed a bug in which some Preferences changes are not persisted when Workbench is restarted.
- 6986: Fixed a bug in which clicking Cancel from the Profiler Preferences panel could result in a parameter’s value not being restored to its original representation.
- 6983: Fixed a bug that caused the Workbench application to crash if you hold open the About or Help › License dialog for more than a few seconds.
- 6955: More gracefully handle file system changes to files that are loaded within the Workbench application.
- 6861: Preferences panel is now modal.
Categories