add batch widget add / delete for usability / performance with very large #s of widgets

This commit is contained in:
Stewart Allen 2022-04-05 15:40:27 -07:00
commit 7704b51d5f
3 changed files with 52 additions and 16 deletions

View file

@ -596,7 +596,7 @@ gapp.register("kiri.main", [], (root, exports) => {
toload.forEach(function(widgetid) {
Widget.loadFromState(widgetid, function(widget) {
if (widget) {
platform.add(widget, 0, position);
platform.add(widget, 0, position, true);
let ann = api.widgets.annotate(widgetid);
widget.meta.file = ann.file;
widget.meta.url = ann.url;