Re: [gedit-list] TypeError when using External Tools plugin

[Sébastien Wilmet <swilmet gnome org>]

On Tue, Nov 04, 2014 at 06:18:10PM +0100, Sébastien Wilmet wrote:
> The external tools plugin needs to be updated, there has been some
> changes in GeditDocument between gedit 3.12 and 3.14, well documented
> here:
> https://wiki.gnome.org/Apps/Gedit/API-Changes
>
> I thought all core plugins were correctly updated, but it seems that
> external tools slipped through the cracks.

This is now fixed. It'll be available for the next 3.14.x version of
gedit.

Cheers,
Sébastien