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

lint error fix

Browse source
This commit is contained in:
Meru Patel 2018-09-12 10:54:05 +05:30
parent 7a44cceb65
commit c676fae7bf
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -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 = {

1
client/modules/IDE/components/Preferences.jsx
View file

@ -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,