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 ---------------------------(end of broadcast)--------------------------- TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]
