On 07/15/2012 02:17 PM, Julian Parker wrote:
When you have the pop-up list with paragraph-environments open and want to jump to certain styles by typing the first letters, the pop-up window shrinks smaller and there comes a scroll-bar when there are too many hits. It's annoying to not see the whole list of hits, because the unfiltered complete list is even longer. The length should be as long as needed. Not longer and not shorter.
I see that. I'm not sure what causes it.
Richard
