[gedit] external tools: Save all documents in Build tool
- From: Adam Dingle <adamd src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit] external tools: Save all documents in Build tool
- Date: Mon, 17 Jun 2013 10:33:50 +0000 (UTC)
commit 48d0707828d071f20edbb3b2c7b6e6e7ca5c2bbf
Author: Adam Dingle <adam yorba org>
Date: Sat Jun 1 10:55:09 2013 -0400
external tools: Save all documents in Build tool
plugins/externaltools/data/build.desktop.in | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/externaltools/data/build.desktop.in b/plugins/externaltools/data/build.desktop.in
index 13767ee..42de918 100644
--- a/plugins/externaltools/data/build.desktop.in
+++ b/plugins/externaltools/data/build.desktop.in
@@ -5,5 +5,5 @@ Input=nothing
Output=output-panel
Shortcut=<Control>F8
Applicability=local
-Save-files=nothing
+Save-files=all
Languages=
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]