3 Oct
2008
3 Oct
'08
5:13 p.m.
On Thu, Oct 02, 2008 at 10:18:42PM +0100, Jeremy Henty wrote:
On Thu, Oct 02, 2008 at 08:01:58PM +0200, Johannes Hofmann wrote:
6.- redraw storms related to the MenuTabPager (noticed by Jeremy) [...] 6: Using the ShrinkTabPager avoids the problem
Here's a (tiny) patch to use the ShrinkTabPager.
Committed as workaround for redraw storms. -- Cheers Jorge.-