Flush the changes in the settings as soon as new server is added [Kaarel Moppel]
(cherry picked from commit ea21706e569e80b679d068b087408a1fc193cc70) Branch ------ REL-1_18_0_PATCHES Details ------- http://git.postgresql.org/gitweb?p=pgadmin3.git;a=commitdiff;h=46363d95f19ce35babd9e3b27bfdcacfa298caf8 Modified Files -------------- pgadmin/frm/frmMain.cpp | 1 + pgadmin/include/utils/sysSettings.h | 5 +++++ 2 files changed, 6 insertions(+) -- Sent via pgadmin-hackers mailing list (pgadmin-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
