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,