#3 Profile manager issues

[Jean-Marc Molina]

And if you save your settings using the name of an
existing profile, a new profile is created. Names
should be unique.
Also even if we see two profiles, once the tool is
restarted, there's only one profile. And the profile is
not active. We have to select the profile again...