diff --git a/plugins/c9.ide.terminal/terminal.js b/plugins/c9.ide.terminal/terminal.js index 763e4947..30f7cf74 100644 --- a/plugins/c9.ide.terminal/terminal.js +++ b/plugins/c9.ide.terminal/terminal.js @@ -64,6 +64,14 @@ define(function(require, exports, module) { "dark" : ["#153649", "#FFFFFF", "#515D77", true], "dark-gray" : ["#153649", "#FFFFFF", "#515D77", true] }; + (function() { + var themeName; + if (options.defaults) { + for (themeName in options.defaults) { + defaults[themeName] = options.defaults[themeName]; + } + } + })(); // Import the CSS ui.insertCss(require("text!./style.css"), options.staticPrefix, handle);