From 3b8a13b8189dd0f1f49f44a0e5b394b5e7d0db8c Mon Sep 17 00:00:00 2001 From: filip mertens Date: Sun, 13 Feb 2022 20:54:55 +0100 Subject: [PATCH] rm consoles --- apps/remix-ide/src/app/editor/editor.js | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/apps/remix-ide/src/app/editor/editor.js b/apps/remix-ide/src/app/editor/editor.js index 1bc0a00b82..3416af663c 100644 --- a/apps/remix-ide/src/app/editor/editor.js +++ b/apps/remix-ide/src/app/editor/editor.js @@ -61,6 +61,12 @@ class Editor extends Plugin { // to be implemented by the react component this.api = {} + this.dispatch = null + } + + setDispatch (dispatch) { + this.dispatch = dispatch + this.renderComponent() } render () {