()
| 931 | } |
| 932 | |
| 933 | _updateScale() { |
| 934 | if (!this._scaleViewport) { |
| 935 | this._display.scale = 1.0; |
| 936 | } else { |
| 937 | const size = this._screenSize(); |
| 938 | this._display.autoscale(size.w, size.h); |
| 939 | } |
| 940 | this._fixScrollbars(); |
| 941 | } |
| 942 | |
| 943 | // Requests a change of remote desktop size. This message is an extension |
| 944 | // and may only be sent if we have received an ExtendedDesktopSize message |
no test coverage detected