Re: [PATCH] UI Bug...and a related bug

[Jürgen Spitzmüller]

Jean-Marc Lasgouttes wrote:
> > Done. Just to trunk.
>
> If nobody complains, I believe it should go to branch later.

I'm fine with that (in case this still matters).

Jürgen