I had gedit configured with some plugins but after upgrading to 13.10, every time I go the gedit Plugins and try to load the external tools I get a message saying: Failed to Load.
Not sure how to fix this. Tried reinstalling but this didn't help
I had gedit configured with some plugins but after upgrading to 13.10, every time I go the gedit Plugins and try to load the external tools I get a message saying: Failed to Load.
Not sure how to fix this. Tried reinstalling but this didn't help
As written here, try installing gir1.2-gtksource-3.0. It worked for me.
sudo apt-get install gir1.2-gtksource-3.0
I installed the package gir1.2-gtksource-3.0, but the External Tools Manager didn't work, I had to change permissions to this directory:
sudo chown <username> /home/<username>/.config/gedit