I confirm that this fixes the problem, thanks! -- 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