Editing or Adding a Server to List

When adding a server or clicking edit, while your cursor is shown as being in the input box for the server name, you cannot actually edit the name. You must click outside the input box and back in to edit the server name.