(int x, int y, int width, int height)
| 567 | } |
| 568 | |
| 569 | @Override |
| 570 | public void clipRect(int x, int y, int width, int height) { |
| 571 | log("[+] clipRect %d %d %d %d", x, y, width, height); |
| 572 | if (clip == null) |
| 573 | setClip(x, y, width, height); |
| 574 | else { |
| 575 | var r = clip.intersection(new java.awt.Rectangle(x, y, width, height)); |
| 576 | setClip(r.x, r.y, r.width, r.height); |
| 577 | } |
| 578 | } |
| 579 | |
| 580 | @Override |
| 581 | public void setClip(int x, int y, int width, int height) { |