[Bug 874299] Re: in gedit external tools' names can not be edited

[Bug Watch Updater]

** Changed in: gedit
       Status: New => Invalid

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/874299

Title:
  in gedit external tools' names can not be edited

To manage notifications about this bug go to:
https://bugs.launchpad.net/gedit/+bug/874299/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs