From 5e3ee07e2fab2130954109db7705347df2e30013 Mon Sep 17 00:00:00 2001 From: Manuel Date: Thu, 14 Nov 2024 11:41:26 -0300 Subject: [PATCH] =?UTF-8?q?fix:=20finishing=20packet=20sending=20when=20pa?= =?UTF-8?q?cket=20is=20selected=20An=20error=20is=20thrown=20when=20a=20pa?= =?UTF-8?q?cket=E2=80=99s=20sending=20process=20ends=20with=20the=20packet?= =?UTF-8?q?=20being=20selected.=20The=20error=20was=20resolved=20by=20dese?= =?UTF-8?q?lecting=20the=20packet=20once=20its=20sending=20process=20is=20?= =?UTF-8?q?complete.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/types/packet.ts | 5 ++++- src/types/viewportManager.ts | 4 ++++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/src/types/packet.ts b/src/types/packet.ts index 5101acf0..c5584ea2 100644 --- a/src/types/packet.ts +++ b/src/types/packet.ts @@ -5,7 +5,7 @@ import { Ticker, } from "pixi.js"; import { Edge, Position } from "./edge"; -import { selectElement } from "./viewportManager"; +import { deselectElement, isSelected, selectElement } from "./viewportManager"; import { circleGraphicsContext, Colors, ZIndexLevels } from "../utils"; import { RightBar } from "../index"; @@ -116,6 +116,9 @@ export class Packet extends Graphics { this.removeFromParent(); if (this.currentPath.length == 0) { ticker.remove(this.animationTick, this); + if (isSelected(this)) { + deselectElement(); + } this.destroy(); return; } diff --git a/src/types/viewportManager.ts b/src/types/viewportManager.ts index 56ab99d8..06b795cc 100644 --- a/src/types/viewportManager.ts +++ b/src/types/viewportManager.ts @@ -35,6 +35,10 @@ export function refreshElement() { } } +export function isSelected(element: Device | Edge | Packet) { + return element === selectedElement; +} + document.addEventListener("keydown", (event) => { if (event.key === "Delete" || event.key === "Backspace") { if (selectedElement) {