(int x, int y, int w, int h)
| 450 | } |
| 451 | |
| 452 | protected void readSetDesktopName(int x, int y, int w, int h) |
| 453 | { |
| 454 | String name = is.readString(); |
| 455 | |
| 456 | if (x != 0 || y != 0 || w != 0 || h != 0) { |
| 457 | vlog.error("Ignoring DesktopName rect with non-zero position/size"); |
| 458 | } else { |
| 459 | handler.setName(name); |
| 460 | } |
| 461 | |
| 462 | } |
| 463 | |
| 464 | protected void readExtendedDesktopSize(int x, int y, int w, int h) |
| 465 | { |
no test coverage detected