On Tue, Feb 16, 2010 at 10:17 PM, Guillaume Lelarge
<guillaume(at)lelarge(dot)info> 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