Re: [gedit-list] Advanced Editing Plugin

[Marcus Lunzenauer <mlunzena uni-osnabrueck de>]

Hi,


> To correct the error, replace this:
>     manager.remove_action_ui(windowdata["ui_id"])
> by this:
>     manager.remove_ui(windowdata["ui_id"])

hmm, I should have seen this.

> Would you mind creating a page on the wiki (live.gnome.org/Gedit),
> attach the plugin there so that people can find it easily and link the
> page in the "plugins" section of the gedit page?

I tried to do this and hope that my illegible utterings can be understood.

Ciao, Marcus