Closing AF3 from DSE perspective: requests to confirm closing pseudo resources and inconsistent save button enable state
Problem 1: The views "Constraints", "Objectives", "Dashboard", "Synthesis" etc. are shown in a dialog to confirm to save resources when closing AF3 after the DSE has been modified.
Steps to reproduce
- Import ACC example
- Import into DSE
- Open Constraints view
- Create any constraint (e.g., arbitrary allocation constraint)
- Close AF3
- Observe that one should confirm that a resource with name "Constraints" should be saved before closing
Expected behavior: One should be asked if the model "ACC.af3_23" should be saved before closing
Problem 2: When the "DSE Navigator" is active, the save button is not enabled although the project has been modified (e.g., after adding a constraint)
Steps to reproduce
- Import ACC example
- Import into DSE
- Open Constraints view
- Create any constraint (e.g., arbitrary allocation constraint)
- Click into "DSE Navigator" view and observe that the save button is disabled
- Click into "Synthesis Navigator" view and observe that the save button is enabled again