fix platform size update

src/kiri/init.js

@@ -822,6 +822,8 @@
 
             API.view.update_fields();
             platform.update_size();
+            platform.update_origin();
+            platform.update();
 
             // store current device name for this mode
             current.filter[mode] = devicename;

src/kiri/main.js

@@ -109,6 +109,7 @@
         load_files: platformLoadFiles,
         group: platformGroup,
         group_done: platformGroupDone,
+        update: SPACE.platform.update,
         set_font: SPACE.platform.setFont,
         set_axes: SPACE.platform.setAxes,
         set_volume: SPACE.platform.setVolume,