pgadmin clipboard lost on shutdown

["George Pavlov" <gpavlov(at)mynewplace(dot)com>]

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