Bug#705527: gedit-plugins: Plugin External Tools not working

Sergio Fernández sergio at wikier.org
Mon Aug 26 10:00:48 UTC 2013


I had similar problems with other plugin. And I can confirm upgrading
to gedit (and gedit-plugins) 3.8.3-3+b1 solves the problem for me (sid
amd64).

-- 

Sergio Fernández <sergio at wikier.org>




More information about the pkg-gnome-maintainers mailing list