rework and improve tool bar pop menus

2024-06-05 17:36:35 -07:00 · 2024-06-05 17:36:35 -07:00 · 3a97903017
commit 3a97903017
parent 9a02408e7b
9 changed files with 179 additions and 129 deletions
--- a/src/kiri/main.js
+++ b/src/kiri/main.js
@ -560,7 +560,7 @@ gapp.register("kiri.main", [], (root, exports) => {
            ann.url = widget.meta.url;
        });
        SDB.setItem('ws-widgets', o2js(newWidgets));
-        oldWidgets.forEach(function(wid) {
+        oldWidgets.forEach(wid => {
            Widget.deleteFromState(wid);
        });
        // eliminate dangling saved widgets