Release Notes: Workbench


  • 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.

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.