Disable all widgets in the server dialog... if the user is already connected to it.
Branch ------ master Details ------- http://git.postgresql.org/gitweb?p=pgadmin3.git;a=commitdiff;h=4e1d17d4d1c54721ea496d292857ce1d365de557 Modified Files -------------- CHANGELOG | 2 ++ pgadmin/dlg/dlgServer.cpp | 20 +++++++++++--------- 2 files changed, 13 insertions(+), 9 deletions(-) -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
