On Sat, 28 Jun 2008 17:58:38 +0200 Enrico Tröger enrico.troeger@uvena.de wrote:
Hi,
I just added a new signal for plugins: "populate-edit-menu". The intended use is to modify or extend the editing menu (right-click popup menu) before it is shown.
I think this should be called "show-editor-menu" or "update-editor-menu", as although the spellcheck plugin uses it to populate a sub-menu, the top-level editor menu should not be populated during this signal call. So it should be used to update existing editor_menu items. (And using 'editor' instead of 'edit' seems to avoid confusion with the File->Edit menu).
Also I think menu items should not be hidden, but just set insensitive, so the user can see what options are available even when they can't be activated.
Regards, Nick