GNOME Bugzilla – Bug 740332
Gedit external tools plugin fails to save documents (exact cause included)
Last modified: 2019-03-23 20:34:48 UTC
Occurence: On calling an external tools-command with the "save" option set to either 'document' or 'all documents' Expected behaviour: The plugin saves the specified file/s if they're modified and executes the command. Actual behaviour: If one or more of the specified files are modified, the plugin exits with an error without doing anything. The error message is as follows: "Traceback (most recent call last):
+ Trace 234343
MultipleDocumentsSaver(window, panel, False, node)
signals[doc] = doc.connect('saving', self.on_document_saving)
Solution: In gedit/plugins/externaltools/functions.py, line 263 (inside class MultipleDocumentSaver) change "signals[doc] = doc.connect('saving', self.on_document_saving)" to "signals[doc] = doc.connect('save', self.on_document_saving)". Reported on Debian jessie with Gnome 3.14.1
Sorry for the formatting chaos. I cannot repair it since I seem not to be able to edit the bug report.
Yes, we are aware of this problem, I've begun working on this, but it requires some more work. It'll hopefully be fixed for the next minor release. *** This bug has been marked as a duplicate of bug 739686 ***
Well at least there exists a workaround as mentioned above. I think it's better to provide an Class based on a deprecated API than a functionally broken Class.