null);
if (haveTerminalPathPref())
addTextBoxChooser(terminalPathLabel_, null, null, terminalPathChooser_);
// ssh key widget
sshKeyWidget_ = new SshKeyWidget(server, "330px");
sshKeyWidget_.addStyleName(res_.styles().sshKeyWidget());
nudgeRight(sshKeyWidget_);
add(sshKeyWidget_);
HelpLink vcsHelpLink = new VcsHelpLink();