From c676fae7bf2d63dd544fcec43cd0b1824867cf7f Mon Sep 17 00:00:00 2001
From: Meru Patel <2017180@iiitdmj.ac.in>
Date: Wed, 12 Sep 2018 10:54:05 +0530
Subject: [PATCH] lint error fix

---
 client/modules/IDE/components/Console.jsx     | 5 +++--
 client/modules/IDE/components/Preferences.jsx | 1 -
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/client/modules/IDE/components/Console.jsx b/client/modules/IDE/components/Console.jsx
index 9a7ae945..c9702c08 100644
--- a/client/modules/IDE/components/Console.jsx
+++ b/client/modules/IDE/components/Console.jsx
@@ -24,7 +24,7 @@ class Console extends React.Component {
       this.props.dispatchConsoleEvent(this.props.consoleEvents);
     }
 
-    if(this.props.consoleFontSize !== prevProps.consoleFontSize){
+    if (this.props.consoleFontSize !== prevProps.consoleFontSize) {
       this.props.clearConsole();
       this.props.dispatchConsoleEvent(this.props.consoleEvents);
     }
@@ -134,7 +134,8 @@ Console.propTypes = {
   expandConsole: PropTypes.func.isRequired,
   clearConsole: PropTypes.func.isRequired,
   dispatchConsoleEvent: PropTypes.func.isRequired,
-  theme: PropTypes.string.isRequired
+  theme: PropTypes.string.isRequired,
+  consoleFontSize: PropTypes.number.isRequired
 };
 
 Console.defaultProps = {
diff --git a/client/modules/IDE/components/Preferences.jsx b/client/modules/IDE/components/Preferences.jsx
index 130d2745..6d64c7db 100644
--- a/client/modules/IDE/components/Preferences.jsx
+++ b/client/modules/IDE/components/Preferences.jsx
@@ -333,7 +333,6 @@ class Preferences extends React.Component {
 
 Preferences.propTypes = {
   fontSize: PropTypes.number.isRequired,
-  consoleFontSize: PropTypes.number.isRequired,
   indentationAmount: PropTypes.number.isRequired,
   setIndentation: PropTypes.func.isRequired,
   indentWithSpace: PropTypes.func.isRequired,