From ca4c39d5aa552bcd458e6e7b30ccb63007039edb Mon Sep 17 00:00:00 2001
From: Almar Klein <almar@almarklein.org>
Date: Wed, 15 Jan 2025 12:30:05 +0100
Subject: [PATCH] Fix resizable (#107)

---
 js/lib/widget.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/js/lib/widget.js b/js/lib/widget.js
index 55034ad..a317d62 100644
--- a/js/lib/widget.js
+++ b/js/lib/widget.js
@@ -220,6 +220,7 @@ export class RemoteFrameBufferView extends DOMWidgetView {
         this.el.style.width = this.model.get('css_width');
         this.el.style.height = this.model.get('css_height');
         this.el.style.resize = this.model.get('resizable') ? 'both' : 'none';
+        this.el.style.overflow = 'hidden';  // resize does not work if overflow is 'visible'
 
         // Keep track of size changes from the server
         this.model.on('change:css_width', function () { this.el.style.width = this.model.get('css_width'); }, this);
@@ -345,6 +346,7 @@ export class RemoteFrameBufferView extends DOMWidgetView {
             // prevent massive size due to auto-scroll (issue #62)
             this.el.style.maxWidth = Math.max(1024, window.innerWidth) + 'px';
             this.el.style.maxHeight = Math.max(1024, window.innerHeight) + 'px';
+            this.el.style.overflow = 'hidden';
             return;  // Don't send a resize event now
         }
         // Width and height are in logical pixels.