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