From f217df382d257e0d38242064e0fd938fe5de4876 Mon Sep 17 00:00:00 2001
From: Stewart Allen <stewart.allen@gmail.com>
Date: Mon, 6 Feb 2023 08:14:12 -0500
Subject: [PATCH] add fixup for importing older workspaces

---
 src/kiri/settings.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/kiri/settings.js b/src/kiri/settings.js
index af6153dd..df49e5e9 100644
--- a/src/kiri/settings.js
+++ b/src/kiri/settings.js
@@ -565,6 +565,12 @@ function settingsImport(data, ask) {
             if (api.const.LOCAL) console.log('settings', Object.clone(settings));
             if (isWork) {
                 api.platform.clear();
+                // really old workspaces encoded the types as strings
+                for (let work of data.work) {
+                    if (work.type === "widget") {
+                        work.type = 100;
+                    }
+                }
                 kiri.codec.decode(data.work).forEach(widget => {
                     api.platform.add(widget, 0, true, true);
                 });