Miscellaneous new features for Genero Desktop Client 2.20.
Several Connections and Terminals can be selected and closed (instead
of closing them one by one)
Default Proxy and Kerberos Realm can be defined in the Options
/ Connection panel. This information is used when GDC connects to
GAS as well as when GDC is looking for an image.