It looks like the bug was caused by this patch:
https://bugzilla.gnome.org/show_bug.cgi?id=659437
I have created an account and posted comment #10
Here is my explanation of why the patch is broken:
This code is working in the opposite way it is intended to. I.e. only the
unchanged documents are being saved, and the changed documents are left
unsaved.
On inspecting the code, it is obvious why:
if doc.get_modified():
all_docs = False
docs.remove(doc)
Modified documents are being removed from the list to be saved. Instead it
should be:
if not doc.get_modified():
** Bug watch added: GNOME Bug Tracker #659437
https://bugzilla.gnome.org/show_bug.cgi?id=659437
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gedit in Ubuntu.
https://bugs.launchpad.net/bugs/1244338
Title:
External tool won't run if "Save" is set to "All documents"
Status in “gedit” package in Ubuntu:
Confirmed
Bug description:
Since upgrading to Ubuntu 13.10/gedit 3.8.3 external tools won't be
run if the "Save" option is set to "All documents". If the setting it
to "None" or "Current documents" then the tool will run again.
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/1244338/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
