()
| 506 | // refreshFramebuffer() forces a complete refresh of the entire |
| 507 | // framebuffer |
| 508 | public void refreshFramebuffer() |
| 509 | { |
| 510 | forceNonincremental = true; |
| 511 | |
| 512 | // Without fences, we cannot safely trigger an update request directly |
| 513 | // but must wait for the next update to arrive. |
| 514 | if (continuousUpdates) |
| 515 | requestNewUpdate(); |
| 516 | } |
| 517 | |
| 518 | // setPreferredEncoding()/getPreferredEncoding() adjusts which |
| 519 | // encoding is listed first as a hint to the server that it is the |
no test coverage detected