From f28fe33cae86affdb97843c15396d47f153a8144 Mon Sep 17 00:00:00 2001
From: toasted-nutbread <toasted-nutbread@users.noreply.github.com>
Date: Fri, 18 Dec 2020 12:06:39 -0500
Subject: Change the resizer color when the window is being resized (#1120)

---
 ext/mixed/js/display.js | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'ext/mixed/js')

diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js
index 77bf9649..91168748 100644
--- a/ext/mixed/js/display.js
+++ b/ext/mixed/js/display.js
@@ -1868,6 +1868,11 @@ class Display extends EventDispatcher {
         this._frameResizeEventListeners.addEventListener(window, 'blur', this._onFrameResizerWindowBlur.bind(this), false);
         this._frameResizeEventListeners.addEventListener(window, 'mousemove', this._onFrameResizerMouseMove.bind(this), false);
 
+        const {documentElement} = document;
+        if (documentElement !== null) {
+            documentElement.dataset.isResizing = 'true';
+        }
+
         this._initializeFrameResize(token);
     }
 
@@ -1884,6 +1889,11 @@ class Display extends EventDispatcher {
         this._frameResizeStartSize = null;
         this._frameResizeStartOffset = null;
         this._frameResizeToken = null;
+
+        const {documentElement} = document;
+        if (documentElement !== null) {
+            delete documentElement.dataset.isResizing;
+        }
     }
 
     async _updateFrameSize(x, y) {
-- 
cgit v1.2.3