From 8ab7f117311f120a9f3b27cee255c3f0d28c8010 Mon Sep 17 00:00:00 2001 From: Michael Mainguy Date: Tue, 8 Aug 2023 09:25:14 -0500 Subject: [PATCH] Cleaned up warnings. --- src/integration/drawioManager.ts | 2 +- src/menus/editMenu.ts | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/integration/drawioManager.ts b/src/integration/drawioManager.ts index 770de6e..480c7e3 100644 --- a/src/integration/drawioManager.ts +++ b/src/integration/drawioManager.ts @@ -17,7 +17,7 @@ import {DiagramEventType} from "../diagram/diagramEntity"; export class DrawioManager { private diagramManager: DiagramManager; private readonly zdepth: Map = new Map(); - private scene: Scene; + private readonly scene: Scene; private readonly logger = log.getLogger('DrawioManager'); private minY = 0; private minX = 0; diff --git a/src/menus/editMenu.ts b/src/menus/editMenu.ts index 252c4d5..2359bc9 100644 --- a/src/menus/editMenu.ts +++ b/src/menus/editMenu.ts @@ -269,6 +269,7 @@ export class EditMenu { }).then((gltf) => { gltf.downloadFiles(); }); + break; default: this.logger.error("Unknown button"); return;