From 89e6a00d3e11c88a2b8cf3bf8385e699d47d9286 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?G=C3=A9ry=20Debongnie?= <ged@odoo.com>
Date: Mon, 1 Apr 2019 14:10:37 +0200
Subject: [PATCH] fix: make sure ace editor adapts properly to different size

---
 src/app.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/app.js b/src/app.js
index 64260057..6ba43c29 100644
--- a/src/app.js
+++ b/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;