(int x, int y, int w, int h)
| 462 | } |
| 463 | |
| 464 | protected void readExtendedDesktopSize(int x, int y, int w, int h) |
| 465 | { |
| 466 | int screens, i; |
| 467 | int id, flags; |
| 468 | int sx, sy, sw, sh; |
| 469 | ScreenSet layout = new ScreenSet(); |
| 470 | |
| 471 | screens = is.readU8(); |
| 472 | is.skip(3); |
| 473 | |
| 474 | for (i = 0;i < screens;i++) { |
| 475 | id = is.readU32(); |
| 476 | sx = is.readU16(); |
| 477 | sy = is.readU16(); |
| 478 | sw = is.readU16(); |
| 479 | sh = is.readU16(); |
| 480 | flags = is.readU32(); |
| 481 | |
| 482 | layout.add_screen(new Screen(id, sx, sy, sw, sh, flags)); |
| 483 | } |
| 484 | |
| 485 | handler.setExtendedDesktopSize(x, y, w, h, layout); |
| 486 | } |
| 487 | |
| 488 | protected void readClientRedirect(int x, int y, int w, int h) |
| 489 | { |
no test coverage detected