Thank you, that solved the problem! I submitted the bug and solution to upstream: https://bugzilla.gnome.org/show_bug.cgi?id=655359
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
- Bug#634085: [gedit] external tools fail unless 'Save' is s... Gábor Librecz
- Bug#634085: [gedit] external tools fail unless 'Save'... Andreas Fackler
