On Tue, Feb 16, 2010 at 10:17 PM, Guillaume Lelarge <[email protected]> wrote: > The server status patch for previous release had quite some changes, so > I'm not sure that four timers are still essential. Anyways, we can still > have four different timers and only one refresh rate. > > Dave, do you remember why you think four timers are essential?
Because refreshing some panes is much more expensive than others. If you can come up with a better UI design, feel free, but I don't want to lose the ability to have different refresh rates for each pane. -- Dave Page EnterpriseDB UK: http://www.enterprisedb.com -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
