From d099bbf1897ff7d025ab4cbefb42c70154472dc8 Mon Sep 17 00:00:00 2001
From: Marc Durdin <marc@keyman.com>
Date: Tue, 19 Feb 2019 17:42:35 +1100
Subject: [PATCH] [Developer] Fixes #1599. Ensure text editor resizes when
 window does

---
 windows/src/developer/TIKE/xml/app/editor/editor.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/windows/src/developer/TIKE/xml/app/editor/editor.js b/windows/src/developer/TIKE/xml/app/editor/editor.js
index 03ebb64e08..b525d9c5be 100644
--- a/windows/src/developer/TIKE/xml/app/editor/editor.js
+++ b/windows/src/developer/TIKE/xml/app/editor/editor.js
@@ -86,6 +86,10 @@ async function loadSettings() {
     // Setup callbacks
     //
 
+    window.addEventListener('resize', function() {
+      editor.layout();
+    });
+
     const model = editor.getModel();
 
     context.reloadSettings();