this is somewhat minor: most windows applications seem to retain the
clipboard after the application is closed. pgadmin does not, which seems
non-standard. i have had a couple of "oops" moments and lost work
because of this. i have seen this on pgadmin III running on windows
1.4.1
george
