Re: Listings

[Jürgen Spitzmüller]

Pavel Sanda wrote:
> > Known problems... nobody has paid enough attention on them though.
>
> should i file new bug ?

No, this is bug 3582, I think.

Jürgen