(width, height)
| 3160 | |
| 3161 | // Handle resize-messages from the server |
| 3162 | _resize(width, height) { |
| 3163 | this._fbWidth = width; |
| 3164 | this._fbHeight = height; |
| 3165 | |
| 3166 | this._display.resize(this._fbWidth, this._fbHeight); |
| 3167 | |
| 3168 | // Adjust the visible viewport based on the new dimensions |
| 3169 | this._updateClip(); |
| 3170 | this._updateScale(); |
| 3171 | |
| 3172 | this._updateContinuousUpdates(); |
| 3173 | |
| 3174 | // Keep this size until browser client size changes |
| 3175 | this._saveExpectedClientSize(); |
| 3176 | } |
| 3177 | |
| 3178 | _xvpOp(ver, op) { |
| 3179 | if (this._rfbXvpVer < ver) { return; } |
no test coverage detected