Changes after restart

[ceraolo]

In the bottom of OMEdit tools|Options there is a label saying

* The changes will take effect after restart.

Since not all options require restarting to see their effect, I assume that it should indicate which options require restarting.

I have some recommendations about it:

1) the text is somewhat misleading, for me much better would be

*These changes will take effect after restart.

2) In some of the options sub-windows, e.g. "Text editor", "Modelica editor", etc. no item has an asterisk. When the user looks at these sub-windows the above-mentioned bottom label is misleading: should be hidden

3) at least in the following case the label is wrong: the check-box "Enable front end for code generation" has no asterisk, while it does require restarting to take effect

[ceraolo]

I must add another strange thing:
it seems to me that the option "evaluate all parameters" requires restarting to take effect.

I cannot imagine any good reason for this. So, if possible, I would kindly ask to change the behaviour and make changes to this option immediately active, i.e. such that no restart is needed.

[casella]

Retargeted to 1.18.0 because of 1.17.0 timed release.

[casella]

Ticket retargeted after milestone closed