From 7e260adb4b026ba3fc06f2909d6f873a68703324 Mon Sep 17 00:00:00 2001 From: Jason Grout Date: Thu, 17 Feb 2022 23:10:30 -0800 Subject: [PATCH] Fix spurious lint warning --- packages/html-manager/src/libembed.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/packages/html-manager/src/libembed.ts b/packages/html-manager/src/libembed.ts index 317674cb63..494734d6aa 100644 --- a/packages/html-manager/src/libembed.ts +++ b/packages/html-manager/src/libembed.ts @@ -2,9 +2,10 @@ // Distributed under the terms of the Modified BSD License. declare let __webpack_public_path__: string; -// eslint-disable-next-line prefer-const +/* eslint-disable prefer-const, @typescript-eslint/no-unused-vars */ __webpack_public_path__ = (window as any).__jupyter_widgets_assets_path__ || __webpack_public_path__; +/* eslint-enable prefer-const, @typescript-eslint/no-unused-vars */ import '@fortawesome/fontawesome-free/css/all.min.css'; import '@fortawesome/fontawesome-free/css/v4-shims.min.css';