From b49082d51de5c08aa388681fc884838c30248eed Mon Sep 17 00:00:00 2001 From: Peter Fajdiga Date: Sat, 2 Sep 2023 12:33:08 +0200 Subject: [PATCH] DesktopManager.getDesktop: fix desktop number validity check --- src/world/DesktopManager.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/world/DesktopManager.ts b/src/world/DesktopManager.ts index 88b081e..6557d74 100644 --- a/src/world/DesktopManager.ts +++ b/src/world/DesktopManager.ts @@ -19,7 +19,7 @@ class DesktopManager { public getDesktop(activity: string, desktopNumber: number) { const desktopIndex = desktopNumber - 1; - if (desktopIndex >= this.nVirtualDesktops || this.nVirtualDesktops < 0) { + if (desktopIndex >= this.nVirtualDesktops || desktopIndex < 0) { throw new Error("invalid desktop number: " + String(desktopNumber)); } if (!this.desktopsPerActivity.has(activity)) {