diff --git a/plugins/c9.ide.editors/tabmanager.js b/plugins/c9.ide.editors/tabmanager.js index 1db406f2..369ae8bc 100644 --- a/plugins/c9.ide.editors/tabmanager.js +++ b/plugins/c9.ide.editors/tabmanager.js @@ -458,6 +458,9 @@ define(function(require, module, exports) { emit.sticky("paneCreate", { pane: pane }, pane); }); + if (!settings.getBool("user/tabs/@show")) + ui.setStyleClass(pane.aml.$ext, "notabs", ["notabs"]); + changed = true; settings.save();