fix: make sure ace editor adapts properly to different size

src/app.js

@@ -62,6 +62,7 @@ class TabbedEditor extends Component {
   updateProps() {
     const result = super.updateProps(...arguments);
     if (this.editor) {
+      window.dispatchEvent(new Event("resize"));
       this.editor.setValue(this.props[this.state.currentTab], -1);
     }
     return result;