GNOME Bugzilla – Bug 739686
Port the external tools plugin to the new GeditDocument API
Last modified: 2019-03-23 20:54:19 UTC
In functions.py, the MultipleDocumentsSaver class must be ported. The problem is that it can't be ported with the current gedit API, since the error parameter of the "saved" signal is needed. A cleaner implementation of MultipleDocumentsSaver would be to add and use a new public API in gedit core: gedit_commands_save_document_async() and gedit_commands_save_document_finish(), with a boolean return value for finish() which tells whether the file was correctly saved (and maybe an error parameter too).
*** Bug 740332 has been marked as a duplicate of this bug. ***
Finished: https://git.gnome.org/browse/gedit/log/?h=wip/fix-external-tools A review would be better, since it adds a new API to gedit.
I've pushed the commits, it was quite important.