fix #284, when autorefresh is enabled, clear the console as well

client/modules/IDE/components/Editor.jsx

@@ -84,6 +84,7 @@ class Editor extends React.Component {
       this.props.updateFileContent(this.props.file.name, this._cm.getValue());
       if (this.props.autorefresh && this.props.isPlaying) {
         this.props.startRefreshSketch();
+        this.props.clearConsole();
       }
     }, 400));
 
@@ -296,7 +297,8 @@ Editor.propTypes = {
   isExpanded: PropTypes.bool.isRequired,
   collapseSidebar: PropTypes.func.isRequired,
   expandSidebar: PropTypes.func.isRequired,
-  isUserOwner: PropTypes.bool
+  isUserOwner: PropTypes.bool,
+  clearConsole: PropTypes.func.isRequired
 };
 
 export default Editor;

client/modules/IDE/pages/IDEView.jsx

@@ -313,6 +313,7 @@ class IDEView extends React.Component {
                   expandSidebar={this.props.expandSidebar}
                   collapseSidebar={this.props.collapseSidebar}
                   isUserOwner={this.isUserOwner()}
+                  clearConsole={this.props.clearConsole}
                 />
                 <Console
                   consoleEvents={this.props.console}