Crashes when setting refresh interval to 0

[Peter Eisentraut <peter_e(at)gmx(dot)net>]

When setting the refresh interval in the server tools to 0 (clicking on the 
arrows or pressing the 0 key), pgadmin3 segfaults immediately.  This happens 
both in 1.4 and 1.5 devel.

-- 
Peter Eisentraut
http://developer.postgresql.org/~petere/