| 452 | } |
| 453 | |
| 454 | public void framebufferUpdateEnd() |
| 455 | { |
| 456 | decoder.flush(); |
| 457 | |
| 458 | super.framebufferUpdateEnd(); |
| 459 | |
| 460 | // A format change has been scheduled and we are now past the update |
| 461 | // with the old format. Time to active the new one. |
| 462 | if (pendingPFChange && !continuousUpdates) { |
| 463 | server.setPF(pendingPF); |
| 464 | pendingPFChange = false; |
| 465 | } |
| 466 | |
| 467 | if (firstUpdate) { |
| 468 | if (server.supportsContinuousUpdates) { |
| 469 | vlog.info("Enabling continuous updates"); |
| 470 | continuousUpdates = true; |
| 471 | writer().writeEnableContinuousUpdates(true, 0, 0, |
| 472 | server.width(), |
| 473 | server.height()); |
| 474 | } |
| 475 | |
| 476 | firstUpdate = false; |
| 477 | } |
| 478 | } |
| 479 | |
| 480 | public void dataRect(Rect r, int encoding) |
| 481 | { |