From d3be437dce28a92898b6ea0959f0dfbc75b052fc Mon Sep 17 00:00:00 2001
From: Meru Patel <2017180@iiitdmj.ac.in>
Date: Thu, 13 Sep 2018 23:44:58 +0530
Subject: [PATCH] size related changes

---
 client/modules/IDE/components/Console.jsx | 19 ++++++++++++-------
 1 file changed, 12 insertions(+), 7 deletions(-)

diff --git a/client/modules/IDE/components/Console.jsx b/client/modules/IDE/components/Console.jsx
index 420f8619..2ddc3d63 100644
--- a/client/modules/IDE/components/Console.jsx
+++ b/client/modules/IDE/components/Console.jsx
@@ -36,16 +36,21 @@ class Console extends React.Component {
       LOG_WARN_ICON: `url(${warnLightUrl})`,
       LOG_ERROR_ICON: `url(${errorLightUrl})`,
       LOG_DEBUG_ICON: `url(${debugLightUrl})`,
-      LOG_INFO_ICON: `url(${infoLightUrl})`,
+      LOG_INFO_ICON: `url(${infoLightUrl})`
     };
     const CONSOLE_FEED_DARK_ICONS = {
       LOG_WARN_ICON: `url(${warnDarkUrl})`,
       LOG_ERROR_ICON: `url(${errorDarkUrl})`,
       LOG_DEBUG_ICON: `url(${debugDarkUrl})`,
-      LOG_INFO_ICON: `url(${infoDarkUrl})`,
+      LOG_INFO_ICON: `url(${infoDarkUrl})`
     };
-    const CONSOLE_FEED_FONT = {
-      BASE_FONT_SIZE: `${this.props.fontSize}`
+    const CONSOLE_FEED_SIZES = {
+      BASE_FONT_SIZE: this.props.fontSize,
+      TREENODE_LINE_HEIGHT: 1.5,
+      ARROW_FONT_SIZE: this.props.fontSize,
+      // this line can't change icon size
+      LOG_ICON_WIDTH: this.props.fontSize,
+      LOG_ICON_HEIGHT: this.props.fontSize
     };
 
     if (times > 1) {
@@ -53,11 +58,11 @@ class Console extends React.Component {
     }
     switch (theme) {
       case 'light':
-        return Object.assign(CONSOLE_FEED_LIGHT_STYLES, CONSOLE_FEED_LIGHT_ICONS, CONSOLE_FEED_FONT, style);
+        return Object.assign(CONSOLE_FEED_LIGHT_STYLES, CONSOLE_FEED_LIGHT_ICONS, CONSOLE_FEED_SIZES, style);
       case 'dark':
-        return Object.assign(CONSOLE_FEED_DARK_STYLES, CONSOLE_FEED_DARK_ICONS, CONSOLE_FEED_FONT, style);
+        return Object.assign(CONSOLE_FEED_DARK_STYLES, CONSOLE_FEED_DARK_ICONS, CONSOLE_FEED_SIZES, style);
       case 'contrast':
-        return Object.assign(CONSOLE_FEED_CONTRAST_STYLES, CONSOLE_FEED_DARK_ICONS, CONSOLE_FEED_FONT, style);
+        return Object.assign(CONSOLE_FEED_CONTRAST_STYLES, CONSOLE_FEED_DARK_ICONS, CONSOLE_FEED_SIZES, style);
       default:
         return '';
     }