Jean-Marc Lasgouttes wrote:

> The following patch does that and cleans up the patch (too much cut
> and paste, it seems). It also uses the toolbar's gui_name, since this
> is what we really want.
>
> OK?

Fine with me.


Georg

Reply via email to