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

Added Shortcut Toggle Console

Browse source
This commit is contained in:
shakti97 2020-02-25 01:13:57 +05:30
parent 5a79a84833
commit d666d17e9c
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
client/modules/IDE/pages/IDEView.jsx
View file

@ -163,6 +163,13 @@ class IDEView extends React.Component {
} else {
this.props.collapseSidebar();
}
} else if (e.keyCode === 192 && ((e.metaKey && this.isMac) || (e.ctrlKey && !this.isMac))) {
e.preventDefault();
if (this.props.ide.consoleIsExpanded) {
this.props.collapseConsole();
} else {
this.props.expandConsole();
}
}
}