simplify handling of ENTER key in server address text field