From 6092fab83d292e27ef060840fa00c755d8f11369 Mon Sep 17 00:00:00 2001
From: alperozisik <alper.ozisik@smartface.io>
Date: Thu, 27 Aug 2015 12:11:24 +0300
Subject: [PATCH] Option to terminal colors

Terminal colors can be customized ad defined in configuration per theme
---
 plugins/c9.ide.terminal/terminal.js | 8 ++++++++
 1 file changed, 8 insertions(+)

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);