GNOME Bugzilla – Bug 392972
External Tools: Save Before Running
Last modified: 2019-03-23 20:42:49 UTC
It would be great if you could add an option to save the document before building it. So you just have to press F8 and don't have to press strg + s first. Also an option to save all documents first because they might depend on the current document.
Created attachment 103346 [details] [review] Adds Save combobox Patch adds option to save current document or all unsaved documents.
While the patch looks good for the most part, I'm unsure about that: > document.save(0) Given the current way the gedit code works, I think using the save() method directly from the document would not update document status, etc (like: not removing the '*' in the tab, etc.) I think what should be done is to rename 'save_file' in gedit-commands-file.c into 'gedit_commands_save_document' and bind it into python as gedit.commands.save_document(doc), like it has been done previously for gedit_commands_load_uri.
*** Bug 483402 has been marked as a duplicate of this bug. ***
This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report.