[gedit-list] External Tools plugin, Save "All documents" saves ALL documents
- From: George Brink <siberianowl yahoo com>
- To: gedit-list gnome org
- Subject: [gedit-list] External Tools plugin, Save "All documents" saves ALL documents
- Date: Sat, 10 Dec 2011 21:59:37 +0000 (UTC)
GEdit 2.30.4
The Save option in External Tools for the "Make" command is set to "All
Documents".
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]
