Fix error when deleting powered portals

This commit is contained in:
thepaperpilot 2023-05-14 14:08:37 -05:00
parent d33df3a716
commit a1393a26d7

View file

@ -978,6 +978,8 @@ export const trashCan = {
) )
}; };
} }
// Manually set player.tabs because the watcher won't take place until next render
player.tabs = player.tabs.filter(s => s !== portal);
}, },
draggable: true draggable: true
} as NodeTypeOptions; } as NodeTypeOptions;