Who wins: Selected Profile vs. the Profile given by KeY files.

[wadoon]

From @WolframPfeifer in #3737

One drawback seems to be that you cannot change the profile in the example dialog, so you have to load example files manually with the desired profile selected. Also, I am not sure how it interacts with specifying the profile in the .key file.

Task

• Check the behavior for KeY, (I guess that the combobox wins).

Solution candidate

Add an entry to the profile selection combobox in the "Load" dialog, that states "Profile in file or Default". Selecting this option, uses either the profile given in the KeY file, or the default profile. Hence, this would enforce the old loading behavior.