[Bug 875554] New: the function "save file" of external tools (gedit plugin) does not work