diff options
Diffstat (limited to 'ext/mixed/js/display.js')
-rw-r--r-- | ext/mixed/js/display.js | 10 |
1 files changed, 10 insertions, 0 deletions
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) { |