ShortName checkbox activation by default

[shaswin]

Hello,

If the user settings has been deleted from the userprofile in Windows, Ple4Win doesn't activate the ShortName by default. The checkbox for the ShortName in the Ple4Win Options is disabled by default. It would be user-friendly to activate the ShortName by default. Working with ShortName and LongName is more practical then the LongName only.

[Dr. J Foerster]

With our team, we had a long discussion about what the default should be. At this point, we believe the current default (no ShortNames shown) is preferable, as it leads to a cleaner, more easy to understand user interface for first-time users (beginners). I also think it is easier for experts to switch on the ShortNames than for beginners to switch them off...