| 57 | } |
| 58 | |
| 59 | synchronized public void writeSetDesktopSize(int width, int height, |
| 60 | ScreenSet layout) |
| 61 | { |
| 62 | if (!server.supportsSetDesktopSize) |
| 63 | throw new Exception("Server does not support SetDesktopSize"); |
| 64 | |
| 65 | startMsg(MsgTypes.msgTypeSetDesktopSize); |
| 66 | os.pad(1); |
| 67 | |
| 68 | os.writeU16(width); |
| 69 | os.writeU16(height); |
| 70 | |
| 71 | os.writeU8(layout.num_screens()); |
| 72 | os.pad(1); |
| 73 | |
| 74 | for (Iterator<Screen> iter = layout.screens.iterator(); iter.hasNext(); ) { |
| 75 | Screen refScreen = (Screen)iter.next(); |
| 76 | os.writeU32(refScreen.id); |
| 77 | os.writeU16(refScreen.dimensions.tl.x); |
| 78 | os.writeU16(refScreen.dimensions.tl.y); |
| 79 | os.writeU16(refScreen.dimensions.width()); |
| 80 | os.writeU16(refScreen.dimensions.height()); |
| 81 | os.writeU32(refScreen.flags); |
| 82 | } |
| 83 | |
| 84 | endMsg(); |
| 85 | } |
| 86 | |
| 87 | synchronized public void writeFramebufferUpdateRequest(Rect r, boolean incremental) |
| 88 | { |