I have filed a patch on bugzilla. If you can't wait for the upstream fix to filter down, here is a script to apply it locally: http://drup.org/gedit-external-tools-fails-save-documents
-- 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 : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
