[gedit-list] External Tools plugin, Save "All documents" saves ALL documents

GEdit 2.30.4

The Save option in External Tools for the "Make" command is set to "All 
And when I run this command, GEdit saves ALL opened documents, not just 
the ones which were modified but all opened. So make recompiles 
everything all the time.
Unfortunately, there is no option "Save updated only", and we need it.

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]