Delete remote branches. Keep filter when refreshing

pull/223/head
Ruben Daniels 2015-11-18 23:00:11 +00:00
rodzic 197b12f3d4
commit 22205c133a
2 zmienionych plików z 5 dodań i 2 usunięć

Wyświetl plik

@ -106,7 +106,7 @@
"c9.ide.run.build": "#0598fff697",
"c9.ide.run.debug.xdebug": "#c4d852533c",
"c9.ide.save": "#5118b30230",
"c9.ide.scm": "#559d05bd32",
"c9.ide.scm": "#f881b761c6",
"c9.ide.terminal.monitor": "#35afa7f97f",
"c9.ide.test": "#520fa1e6c5",
"c9.ide.test.mocha": "#7844e1dc83",

Wyświetl plik

@ -521,7 +521,10 @@ define(function(require, exports, module) {
*/
setRoot: function(root){
model.cachedRoot = root;
return model.setRoot(root);
if (model.keyword)
plugin.filterKeyword = model.keyword;
else
return model.setRoot(root);
},
/**
*