From ac9f40fd26f29e7e060e3004ce09e2422bdd556c Mon Sep 17 00:00:00 2001
From: John Alanbrook <john@pockle.world>
Date: Fri, 11 Jul 2025 21:22:10 -0500
Subject: [PATCH] add set window size

---
 prosperon/prosperon.ce | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/prosperon/prosperon.ce b/prosperon/prosperon.ce
index 0235d6ac..de80c53e 100644
--- a/prosperon/prosperon.ce
+++ b/prosperon/prosperon.ce
@@ -485,6 +485,13 @@ $_.receiver(e => {
       logical.width = e.width
       logical.height = e.height
       break
+    case 'window_size':
+      send(video, {
+        kind:'window',
+        op:'set',
+        data: {property: 'size', value: [e.width, e.height]}
+      })
+      break
     case 'framerate':
       // Allow setting target framerate dynamically
       if (e.fps && e.fps > 0) {