Pavel Sanda wrote: > Richard Heck wrote: > > I see that. I'm not sure what causes it. > > This is old timer and IIRC there was even committed attempt to fix it from > Stefan long time ago.
I think these are relevant: r23644,r23654 > Pavel
- Bug: Too small list of paragraphs/environments when you filt... Julian Parker
- Re: Bug: Too small list of paragraphs/environments when... Richard Heck
- Re: Bug: Too small list of paragraphs/environments ... Pavel Sanda
- Re: Bug: Too small list of paragraphs/environme... Pavel Sanda
