I posted this bug with suggested fix in 2013
(http://www.postgresql.org/message-id/52851ED9.1050003@online.de), but
it seems nobody has looked into it until now. As far as I understand,
there is no real bug-tracker for PgAdmin (which is unfortunate), so I'm
re-raising the issue here.
-- Christoph