diff --git a/app/ui/components/codemirror/Editor.js b/app/ui/components/codemirror/Editor.js index cf1848d566..a4e2be075e 100644 --- a/app/ui/components/codemirror/Editor.js +++ b/app/ui/components/codemirror/Editor.js @@ -575,7 +575,7 @@ class Editor extends PureComponent { } render () { - const {readOnly, fontSize, mode, filter} = this.props; + const {readOnly, fontSize, mode, filter, onMouseLeave} = this.props; const classes = classnames( 'editor', @@ -634,7 +634,7 @@ class Editor extends PureComponent { return (
-
+