15 Dec
2004
15 Dec
'04
10:44 p.m.
presumably you want a menu item Tools,
- Plugins...
Rather "Manage plug-ins...", if I got your idea ;)
I forget where I saw it but if i had to use two works I'd go with "configure plugins..." but I think that one word will probably be enough, I wouldn't expect there to be any other menus items for configuring plugins.
As for the question of Plug-ins or Plugins? I will need to check the Gnome Documentation and User Interface guides but I distinctly prefer the latter which Gedit, Gnumeric and Abiword all use. (I do know a well known gtk program that makes a big point about using the term plug-ins in its documentation but doesn't use it in the menus, it just looks wrong).
- Alan H.