add set window size

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) {