From 34667610a3f21c53341382824556087265b89fb4 Mon Sep 17 00:00:00 2001 From: yann300 Date: Wed, 4 Oct 2017 18:09:01 +0200 Subject: [PATCH] readd remix icon --- src/app/panels/editor-panel.js | 23 +++-------------------- 1 file changed, 3 insertions(+), 20 deletions(-) diff --git a/src/app/panels/editor-panel.js b/src/app/panels/editor-panel.js index d59b36eb87..491d8668e3 100644 --- a/src/app/panels/editor-panel.js +++ b/src/app/panels/editor-panel.js @@ -215,26 +215,9 @@ class EditorPanel { return self._api.context() } }, - banner: yo` -
-
- - ######## ######## ## ## #### ## ## - ## ## ## ### ### ## ## ## - ## ## ## #### #### ## ## ## - ######## ###### ## ### ## ## ### - ## ## ## ## ## ## ## ## - ## ## ## ## ## ## ## ## - ## ## ######## ## ## #### ## ## - - - welcome to browser solidity - - new features: - - dom terminal v0.0.1-alpha -
-
- ` + banner: yo`
+ Remix +
` }) } self._components.terminal.event.register('filterChanged', (type, value) => {