Martin Sevior wrote:
>
> Is anyone working on fixing the gnome front end? It is clearly important.
> Are you working on it hj? Would you like to fix it Petr? I will certainly
> test and check in code that fixes the gnome front end.

I think that I can fix that little bug (I'm finishing my work for the
university :)