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(-)