pgAdmin3.cpp patch

Here is a patch against the CVS tree for pgAdmin3.cpp to change
Refresh() to Update().  I wouldn't change any of the other Refresh()
calls unless there is a problem.

ahp
diff -urN pgadmin3/src/pgAdmin3.cpp pgadmin3.new/src/pgAdmin3.cpp
--- pgadmin3/src/pgAdmin3.cpp    2003-05-20 07:36:28.000000000 -0400
+++ pgadmin3.new/src/pgAdmin3.cpp    2003-05-20 08:04:13.000000000 -0400
@@ -72,7 +72,7 @@
     else {
       SetTopWindow(winSplash);
       winSplash->Show(TRUE);
-      winSplash->Refresh();
+      winSplash->Update();
       wxYield();
     }