diff --git a/client/homebrew/editor/editor.jsx b/client/homebrew/editor/editor.jsx index dd810f33a..033b04557 100644 --- a/client/homebrew/editor/editor.jsx +++ b/client/homebrew/editor/editor.jsx @@ -97,21 +97,6 @@ const Editor = createClass({ if(prevProps.moveSource !== this.props.moveSource) this.sourceJump(); - // if((prevProps.isDragging !== this.props.isDragging) && (this.props.isDragging) && (this.lastCursor == undefined)) { - // this.lastCursor = this.codeEditor.current.codeMirror.getCursor(); - // const lastXY = this.codeEditor.current.codeMirror.getScrollInfo(); - // const lastRowPos = this.codeEditor.current.codeMirror.heightAtLine(this.lastCursor.line, 'local', true); - // this.lastCursor.offset = Math.round(lastRowPos-lastXY.top); - // } - - // if((prevProps.isDragging !== this.props.isDragging) && (!this.props.isDragging)) { - // const scroll = this.codeEditor.current.codeMirror.getScrollInfo(); - // this.codeEditor.current.codeMirror.scrollTo(null, - // this.codeEditor.current.codeMirror.heightAtLine(this.lastCursor.line, 'local', true) - this.lastCursor.offset); - // this.codeEditor.current.setCursorPosition(this.lastCursor.line, this.lastCursor.ch); - // this.lastCursor = undefined; - // } - if(this.props.liveScroll) { if(prevProps.currentBrewRendererPageNum !== this.props.currentBrewRendererPageNum) { this.sourceJump(this.props.currentBrewRendererPageNum, false); @@ -155,7 +140,7 @@ const Editor = createClass({ handleViewChange : function(newView){ this.props.setMoveArrows(newView === 'text'); - + this.setState({ view : newView }, ()=>{