Parent Directory | Revision Log | Patch
revision 1.6 by benja, Wed Oct 2 17:29:17 2002 UTC | revision 1.7 by tjl, Fri Oct 11 13:37:42 2002 UTC | |
---|---|---|
# | Line 335 String rcsid = "$Id$"; | Line 335 String rcsid = "$Id$"; |
335 | s.w == w && | s.w == w && |
336 | s.h == h; | s.h == h; |
337 | } | } |
338 | ||
339 | public Span1D append(Span s) { | |
340 | if(!(s instanceof PageSpanBase)) return null; | |
341 | PageSpanBase sts = (PageSpanBase)s; | |
342 | if(sts.getScrollBlock() != this.getScrollBlock()) return null; | |
343 | if(offs1 != sts.offs0) return null; | |
344 | if(x != sts.x || y != sts.y || w != sts.w || h != sts.h) return null; | |
345 | return createNew(offs0, sts.offs1); | |
346 | } | |
347 | ||
348 | } | } |
349 | ||
350 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |