116 |
// public Graphics create (int x, int y, int width, int height) |
// public Graphics create (int x, int y, int width, int height) |
117 |
// { |
// { |
118 |
// GdkGraphics g = new GdkGraphics (this); |
// GdkGraphics g = new GdkGraphics (this); |
|
// System.out.println ("translating by: " + x +" " + y); |
|
119 |
// g.translate (x, y); |
// g.translate (x, y); |
120 |
// g.clipRect (0, 0, width, height); |
// g.clipRect (0, 0, width, height); |
121 |
|
|
349 |
|
|
350 |
public Rectangle getClipBounds () |
public Rectangle getClipBounds () |
351 |
{ |
{ |
|
// System.out.println ("returning CLIP: " + clip); |
|
352 |
return new Rectangle (clip.x, clip.y, clip.width, clip.height); |
return new Rectangle (clip.x, clip.y, clip.width, clip.height); |
353 |
} |
} |
354 |
|
|