diff options
Diffstat (limited to 'ext/mixed/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) { |