Use an editable combo box for "Connect to..."
Use an editable combo box for "Connect to..."

This is handy especially when you just want to connect to a different port on a host that's already in the list.

magmaOffenburg/RoboViz,magmaOffenburg/RoboViz,magmaOffenburg/RoboViz,magmaOffenburg/RoboViz