Ubuntu
gedit-plugins package

  1. Bug #147634
  2. Comment #4

Comment 4 for bug 147634

Revision history for this message
Curtis Hovey (sinzui) wrote :

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.