Parent Directory | Revision Log | Patch
revision 1.35 by benja, Sat Oct 5 13:59:47 2002 UTC | revision 1.36 by benja, Mon Oct 7 17:27:02 2002 UTC | |
---|---|---|
# | Line 79 String rcsid = "$Id$"; | Line 79 String rcsid = "$Id$"; |
79 | RenderInfo info1, | RenderInfo info1, |
80 | RenderInfo info2) { | RenderInfo info2) { |
81 | g.setColor(info1.getMixedFgColor()); | g.setColor(info1.getMixedFgColor()); |
82 | info1.getClipRect(rect); | //info1.getClipRect(rect); |
83 | ||
84 | info1.getExtRect(rect); | info1.getExtRect(rect); |
85 | float x = rect.x, y = rect.y; | float x = rect.x, y = rect.y; |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |