From 4f171fd966ec3af0b856b200fa5b7f7520fa5b96 Mon Sep 17 00:00:00 2001 From: Panagiotis Papadopoulos Date: Wed, 12 Feb 2025 08:53:32 +0100 Subject: [PATCH] chore(ts): get rid of bootstrap related ts-ignores --- src/public/app/widgets/buttons/global_menu.ts | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/src/public/app/widgets/buttons/global_menu.ts b/src/public/app/widgets/buttons/global_menu.ts index 67a235709..aa0f57ce8 100644 --- a/src/public/app/widgets/buttons/global_menu.ts +++ b/src/public/app/widgets/buttons/global_menu.ts @@ -3,6 +3,7 @@ import BasicWidget from "../basic_widget.js"; import utils from "../../services/utils.js"; import UpdateAvailableWidget from "./update_available.js"; import options from "../../services/options.js"; +import { Tooltip, Dropdown } from "bootstrap"; const TPL = `