From c24ddd334cdc44ee3e8564ad130b6062e31c039e Mon Sep 17 00:00:00 2001 From: Lennart Kats Date: Tue, 17 Jan 2017 13:19:59 +0000 Subject: [PATCH] Tweak dialog buttons --- plugins/c9.ide.watcher/gui.js | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/plugins/c9.ide.watcher/gui.js b/plugins/c9.ide.watcher/gui.js index cec4bd21..a160c783 100644 --- a/plugins/c9.ide.watcher/gui.js +++ b/plugins/c9.ide.watcher/gui.js @@ -444,6 +444,8 @@ define(function(require, exports, module) { path + " has been changed on disk.", "Would you like to reload this file?", yes, no, { + yes: "Reload", + no: "Keep current version", all: Object.keys(changedPaths).length > 1 } ); @@ -542,10 +544,15 @@ define(function(require, exports, module) { checkIfQueueIsEmpty(); }, - { all: Object.keys(removedPaths).length > 1 } + { + all: Object.keys(removedPaths).length > 1, + yes: "Keep open", + yestoall: "Keep all open", + no: "Close tab", + } ); - deleteDialog.on("show", function(){ + deleteDialog.on("show", function() { if (!tabManager.findTab(path)) return false; });