r/p5.js-web-editor
1
0
Fork 0
Code Issues 1 Pull requests Releases 1 Wiki Activity

small error fix

Browse source
This commit is contained in:
Meru Patel 2018-09-13 07:42:50 +05:30
parent 2f48413b08
commit 28e7425fb8
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
client/modules/IDE/components/Console.jsx
View file

@ -135,7 +135,7 @@ Console.propTypes = {
clearConsole: PropTypes.func.isRequired, clearConsole: PropTypes.func.isRequired,
dispatchConsoleEvent: PropTypes.func.isRequired, dispatchConsoleEvent: PropTypes.func.isRequired,
theme: PropTypes.string.isRequired, theme: PropTypes.string.isRequired,
consoleFontSize: PropTypes.number.isRequired fontSize: PropTypes.number.isRequired
}; };
Console.defaultProps = { Console.defaultProps = {