[Geany-devel] New "populate-edit-menu" plugin signal

[Nick Treleaven]

On Sat, 28 Jun 2008 17:58:38 +0200
Enrico Tröger <enrico.troeger at 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