From 39f5b4c7cd606602cffa70a1b8d2f60d3f794296 Mon Sep 17 00:00:00 2001 From: alschmiedt Date: Thu, 22 Jul 2021 16:49:01 -0700 Subject: [PATCH] Fixes lint warnings --- core/menu.js | 1 + 1 file changed, 1 insertion(+) diff --git a/core/menu.js b/core/menu.js index 6a1667964..91cfb4d36 100644 --- a/core/menu.js +++ b/core/menu.js @@ -17,6 +17,7 @@ const Coordinate = goog.require('Blockly.utils.Coordinate'); /* eslint-disable-next-line no-unused-vars */ const MenuItem = goog.requireType('Blockly.MenuItem'); const KeyCodes = goog.require('Blockly.utils.KeyCodes'); +/* eslint-disable-next-line no-unused-vars */ const Size = goog.requireType('Blockly.utils.Size'); const aria = goog.require('Blockly.utils.aria'); const browserEvents = goog.require('Blockly.browserEvents');