Mmmmm, I am afraid I have a different (and more serious) problem then. For some reason, probably related to the wxWidgets 3.1 update, I am not able to resize the "Environment settings" window, so I cannot see that option. The size of the window is such that at the bottom I have: "Save selected tab in message pane on perspective change".
Any suggestions?
w