diff --git a/plugins/c9.ide.editors/tabmanager.js b/plugins/c9.ide.editors/tabmanager.js index 6df5ef1b..51f8a51a 100644 --- a/plugins/c9.ide.editors/tabmanager.js +++ b/plugins/c9.ide.editors/tabmanager.js @@ -33,7 +33,7 @@ define(function(require, module, exports) { emit.setMaxListeners(100); var loadFilesAtInit = options.loadFilesAtInit; - var ideProviderName = options.ideProviderName || "Cloud9"; + var ideProviderName = options.ideProviderName || "Cloud9"; var PREFIX = "/////"; var XPREVIEW = /\.(gz|tar|tgz|zip|rar|jar|exe|pyc|pdf)$/;