Rename defaultEditor to defaultEnvEditor

pull/85/head^2
Alex Brausewetter 2015-05-11 13:02:09 +00:00
rodzic a6552c1659
commit 8b36b051d3
2 zmienionych plików z 3 dodań i 3 usunięć

Wyświetl plik

@ -47,7 +47,7 @@ define(function(require, exports, module) {
settings.on("read", function(e) {
settings.setDefaults("user/terminal", [
["defaultEditor", "false"]
["defaultEnvEditor", "false"]
]);
}, plugin);
@ -56,7 +56,7 @@ define(function(require, exports, module) {
"Terminal" : {
"Use Cloud9 as the Default Editor" : {
type: "checkbox",
path: "user/terminal/@defaultEditor",
path: "user/terminal/@defaultEnvEditor",
position: 14000
}
}

Wyświetl plik

@ -751,7 +751,7 @@ define(function(require, exports, module) {
session.__defineGetter__("tab", function(){ return doc.tab });
session.__defineGetter__("doc", function(){ return doc });
session.__defineGetter__("defaultEditor", function(){
return settings.getBool("user/terminal/@defaultEditor");
return settings.getBool("user/terminal/@defaultEnvEditor");
});
session.attach = function(){