If your impatient for the fix to arrive, you can fix the issue yourself
by editing one line.

use sudo to edit line 215 of /usr/lib/gedit-2/plugins/externaltools/library.py:
-                    if m.group(0) in self._properties:
+                    if m.group(0) not in self._properties:

Add 'not' to the test if the property is already in the dictionary.

-- 
[gutsy] External Tools plugin does not save keybindings
https://bugs.launchpad.net/bugs/147634
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.

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

Reply via email to