*** This bug is a duplicate of bug 874299 ***
https://bugs.launchpad.net/bugs/874299
** This bug is no longer a duplicate of bug 874128
gedit snippets cannot be renamed
** This bug has been marked a duplicate of bug 874299
in gedit external tools' names can not be edited
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/877237
Title:
Cannot rename external tools and snippets
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/877237/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
