Hello,
>From latest CVS checkout:
When trying to connect to a server (the "connect to server" dialogue),
it seems that the connection options (like user name) cannot be changed.
Current work-around: Remove the connection and create a new one with
other parameters.
--
Greetings from Troels Arvin, Copenhagen, Denmark