In case anyone is interested, there's a workaround: it's possible to edit the file that contains the external tool. On gedit3 user generated external tools are stored in ~/.config/gedit/tools There you can change the name of the file and, more importantly, change the name of the external tool. To do that simple open the file and edit the line that says '# Name=New Tool' by putting the name of your choice.
Sorry if this is not the place to post this information, but I thought someone who stumbled upon this bug might find it useful. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gedit in Ubuntu. https://bugs.launchpad.net/bugs/874299 Title: in gedit external tools' names can not be edited Status in “gedit” package in Ubuntu: Confirmed Bug description: when a new external tool is added everything is OK except the name of the new added tool can not be edited, it default name "New Tool" is remain as it and can not be changed. This problem is appear in ubuntu 11.10. I am not sure if this problem is a bug or what? ProblemType: Bug DistroRelease: Ubuntu 11.10 Package: gedit 3.2.0-0ubuntu1 ProcVersionSignature: Ubuntu 3.0.0-12.20-generic 3.0.4 Uname: Linux 3.0.0-12-generic x86_64 NonfreeKernelModules: nvidia ApportVersion: 1.23-0ubuntu3 Architecture: amd64 Date: Fri Oct 14 17:47:27 2011 ExecutablePath: /usr/bin/gedit InstallationMedia: Ubuntu 11.10 "Oneiric Ocelot" - Release amd64 (20111012) ProcEnviron: PATH=(custom, no user) LANG=en_US.UTF-8 SHELL=/bin/bash SourcePackage: gedit UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/874299/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
