From 25e198ec5fa20e9d691e0a53872b75dc89a60ecf Mon Sep 17 00:00:00 2001
From: Stewart Allen <stewart.allen@gmail.com>
Date: Wed, 25 Nov 2020 23:28:41 -0500
Subject: [PATCH] fix for missing widget reload

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

diff --git a/src/kiri/main.js b/src/kiri/main.js
index e8ab0d16..13671428 100644
--- a/src/kiri/main.js
+++ b/src/kiri/main.js
@@ -1790,11 +1790,11 @@
         // load any widget by name that was saved to the workspace
         toload.forEach(function(widgetid) {
             Widget.loadFromState(widgetid, function(widget) {
-                let ann = API.widgets.annotate(widget.id);
-                widget.meta.file = ann.file;
-                widget.meta.url = ann.url;
                 if (widget) {
                     platform.add(widget, 0, position);
+                    let ann = API.widgets.annotate(widgetid);
+                    widget.meta.file = ann.file;
+                    widget.meta.url = ann.url;
                 }
                 if (++loaded === toload.length) {
                     platform.deselect();