PR# 19720 Visibility of $ISE_ variables

Problem Report Summary
Submitter: rwschlatter
Category: EiffelStudio
Priority: Low
Date: 2021/02/15
Class: Feature Request
Severity: Non-critical
Number: 19720
Release: 20.11
Confidential: No
Status: Open
Environment: any
Synopsis: Visibility of $ISE_ variables

As (an infrequent) user of EiffelStudio I sometimes question the setup of the actual directories designated by $ISE_ environment variables. I find no way to easily determine what their current settings are.

May I suggest the following enhancement:

In the Project Settings dialog, within the top System entry, add a section that displys the name and values of the$ISE_ variables in use.
To Reproduce

Problem Report Interactions