Daniel.Egger@xxxxxxx 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
