Re: Bug: Too small list of paragraphs/environments when you filter with shortcuts

[Pavel Sanda]

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.

Pavel