On Tue, Jan 27, 2009 at 11:23 PM, Guillaume Lelarge
<[email protected]> wrote:

> OK, I have now four sliders, four preferences... but only one timer.
> It's probably too late for me to think about it. Anyways, four timers
> seem better. It would allow us to refresh each visible tab if one splits
> the notebook (windows and mac only right now).
>
> Any better ideas?

Nope - I think 4 timers is essential.

> And is there something missing in this new patch?

Do you mind if I review it again when the timer changes are done? I'm
pretty busy preparing for 8.3.6 this week, as well as doing some
urgent infrastructure work.

-- 
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

Reply via email to