Re: [PATCH] sidebar: add optional refresh interval

[Karel Zak]

On Tue, May 15, 2012 at 07:38:33PM +0200, David Sterba wrote:
>  New option sidebar_refresh: do not refresh sidebar in less
>  than $sidebar_refresh seconds (0 disables refreshing). 
Good idea. Applied, thanks.

-- 
 Karel Zak  <kzak(a)redhat.com&gt;
 http://karelzak.blogspot.com