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
Desktop Bugs, which is a bug contact for gedit-plugins in ubuntu.

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

Reply via email to