Hi,
I've encountered another small bug concering the line numbers in
pgadmin (1.12.1; win32, xp, german lang.): if "line numbers" are
activated in the query tool they are displayed twice in the properties
of a trigger ("body" tab).
Thanks in advance,
Holger