PR# 19883 In Project Settings → Target node, the options below Language section are not saved.
Problem Report Summary
Submitter: rosivaldo
Category: EiffelStudio
Priority: Low
Date: 2023/05/30
Class: Bug
Severity: Non-critical
Number: 19883
Release: 22.12 (22.12.10.6463 - win64)
Confidential: No
Status: Closed
Responsible:
Environment: win64
Synopsis: In Project Settings → Target node, the options below Language section are not saved.
Description
On any target of a project, the options "Void safety", "Catcall detection" and "Concurrency" (below section "Language") may be set, but the set values are not saved.
To Reproduce
- Use EiffelStudio to open the (attached) st_specification.ecf project. - Select the node "Target: st-general" on the left tree. - On the right pane, change the values of the options "Void safety", "Catcall detection" and "Concurrency" (below section "Language"), e.g. "Complete" for "Void safety" and "SCOOP" for "Concurrency". - Click "OK" button to close the "Project Settings" window. - Click the button Project Settings on ES toolbar. - Select the node "Target: st-general" on the left tree. - On the right pane, one can see that the values of the options "Void safety", "Catcall detection" and "Concurrency" (below section "Language") stay blank.
Problem Report Interactions
However, I tested with different values ... as SCOOP and Complete were the default, due to the "capability" settings. So this is expected to remains "blank".
Thank you for the report. This is fixed for next release.