Merge pull request +15206 from c9/ide-minor

Minor fix/tweaks for the IDE
pull/268/merge
Lennart C. L. Kats 2017-01-23 10:30:15 +01:00 zatwierdzone przez GitHub
commit 4c67b60e21
3 zmienionych plików z 13 dodań i 6 usunięć

Wyświetl plik

@ -66,7 +66,7 @@
"c9.ide.language.html.diff": "#7d6cecfb90",
"c9.ide.language.javascript": "#69684ee026",
"c9.ide.language.javascript.immediate": "#82c426dbca",
"c9.ide.language.javascript.eslint": "#18b1cee0c5",
"c9.ide.language.javascript.eslint": "#004c86f8ef",
"c9.ide.language.javascript.tern": "#4d53f32c29",
"c9.ide.language.javascript.infer": "#b9c2e4bdb8",
"c9.ide.language.jsonalyzer": "#d6736b55cb",
@ -76,7 +76,7 @@
"c9.ide.find": "#e632ecf4be",
"c9.ide.find.infiles": "#ad9ff74638",
"c9.ide.find.replace": "#8468067976",
"c9.ide.run.debug": "#dab860c046",
"c9.ide.run.debug": "#224f43948e",
"c9.automate": "#47e2c429c9",
"c9.ide.ace.emmet": "#6dc4585e02",
"c9.ide.ace.gotoline": "#d33220b1e0",
@ -90,7 +90,7 @@
"c9.ide.configuration": "#a936df26bb",
"c9.ide.dialog.wizard": "#7667ec79a8",
"c9.ide.fontawesome": "#781602c5d8",
"c9.ide.format": "#d8deaffa3c",
"c9.ide.format": "#dd80da7a01",
"c9.ide.help.support": "#fbe8eb5c36",
"c9.ide.imgeditor": "#612e75ef4f",
"c9.ide.immediate": "#0b0ee744f9",

Wyświetl plik

@ -452,7 +452,7 @@ define(function(require, exports, module) {
var mnuSettings = tree.getElement("mnuFilesSettings");
ui.insertByIndex(mnuSettings, new ui.item({
type: "check",
caption: realRoot ? "Show Root File System" : "Show Workspace Directory",
caption: "Show Workspace Root",
checked: "state/projecttree/@showfs",
onclick: function(e) {
toggleRootFS();

Wyświetl plik

@ -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;
});