[EMAIL PROTECTED] wrote:
>
> Hiho developers...
>
> I discovered some name glitches in GIMP.
>
> 1. The "Settings" in the preferences Dialog wasn't in everything and is
> useless nevertheless because a preferences dialog is supposed to
> contain settings...
> 2. Some tools had a "Tool" in the options dialog and some not. Since all tools
> are tools and people know what tools are, we don't need to call some
> tools additionally tools.... :))
> 3. The optiondialog of the tools is obviously a option dialog and
> nothing else so removing the "Option" is sensible and matches the
> behaviour of the professional programms....
>
> A patch for fixing that is included....
I just commited a patch which does the same for all tools...
But I'll apply your patch to the prefs. dialog.
bye,
--Mitch