Parent Directory | Revision Log | Patch
revision 1.5 by benja, Tue Aug 13 23:01:27 2002 UTC | revision 1.6 by benja, Wed Oct 2 17:29:17 2002 UTC | |
---|---|---|
# | Line 329 String rcsid = "$Id$"; | Line 329 String rcsid = "$Id$"; |
329 | PageSpanBase s = isSamePS(o); | PageSpanBase s = isSamePS(o); |
330 | if(s == null) return false; | if(s == null) return false; |
331 | return super.equals(o) && | return super.equals(o) && |
332 | s.sb == sb && | //s.sb == sb && |
333 | s.x == x && | s.x == x && |
334 | s.y == y && | s.y == y && |
335 | s.w == w && | s.w == w && |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |