desktop-packages team mailing list archive

[Patricio Clark <874299@xxxxxxxxxxxxxxxxxx>]

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