From 3c3cbe78aebd67a32d5f01b5d7e844337a5df1c9 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Thu, 25 Mar 2021 15:36:37 +0100
Subject: [PATCH] Remove the remaining IE-specific checks from
 `web/grab_to_pan.js` (PR 12328 follow-up)

Given that all versions of Internet Explorer are now *explicitly* unsupported, we can remove some more dead code in this file.
---
 web/grab_to_pan.js | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/web/grab_to_pan.js b/web/grab_to_pan.js
index 8458f087d..ad3b265d3 100644
--- a/web/grab_to_pan.js
+++ b/web/grab_to_pan.js
@@ -194,7 +194,6 @@ let matchesSelector;
 
 // Browser sniffing because it's impossible to feature-detect
 // whether event.which for onmousemove is reliable
-const isNotIEorIsIE10plus = !document.documentMode || document.documentMode > 9;
 const chrome = window.chrome;
 const isChrome15OrOpera15plus = chrome && (chrome.webstore || chrome.app);
 //                                         ^ Chrome 15+       ^ Opera 15+
@@ -209,10 +208,9 @@ const isSafari6plus =
  *                    False if unsure or if the left mouse button is pressed.
  */
 function isLeftMouseReleased(event) {
-  if ("buttons" in event && isNotIEorIsIE10plus) {
+  if ("buttons" in event) {
     // http://www.w3.org/TR/DOM-Level-3-Events/#events-MouseEvent-buttons
     // Firefox 15+
-    // Internet Explorer 10+
     return !(event.buttons & 1);
   }
   if (isChrome15OrOpera15plus || isSafari6plus) {