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

2013-08-26 Thread Sergio Fernández
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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact list

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

2013-08-05 Thread Jeremy Bicha
gedit and gedit-plugins 3.8.3 have just been uploaded to unstable. Can you still reproduce this bug with those versions? Thanks, Jeremy -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

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

2013-08-05 Thread Jeremy Bicha
tags -1 moreinfo thanks gedit and gedit-plugins 3.8.3 have just been uploaded to unstable. Can you still reproduce this bug with those versions? Thanks, Jeremy -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lis

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

2013-04-16 Thread Pierre Cros
Package: gedit-plugins Version: 3.4.0-1 Severity: normal Dear Maintainer, I use Gedit 3.6 (sid) whereas most of my gnome packages are 3.8 (experimental). I can't install 3.8 because of python3-gi (>= 3.0) dependancy (python3-gi 3.8 depends on python3 (< 3.3) but 3.3.0-3 has to be installed)). Wh