From e1a634cb1942e2b528bc05beead77697db7537f9 Mon Sep 17 00:00:00 2001
From: Shmuel Taub <1357f9246819@gmail.com>
Date: Sun, 1 Jun 2025 17:32:08 +0300
Subject: [PATCH] resize editors on screen size change

---
 page/src/editor.ts | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/page/src/editor.ts b/page/src/editor.ts
index 4a04b75..8c59a34 100644
--- a/page/src/editor.ts
+++ b/page/src/editor.ts
@@ -59,3 +59,10 @@ editor.onDidChangeMarkers(() => {
 editor.setModelMarkers(right.getModel()!, 'typescript', []);
 
 });
+
+const resizeObserver = new ResizeObserver(() => {
+  right.layout(); 
+  left.layout();
+});
+
+resizeObserver.observe(document.querySelector('.editor-container')!)
\ No newline at end of file