Parent Directory | Revision Log | Patch
revision 1.11 by benja, Tue Oct 1 13:10:18 2002 UTC | revision 1.12 by benja, Sun Dec 8 00:56:55 2002 UTC | |
---|---|---|
# | Line 312 static public final String rcsid = "$Id$ | Line 312 static public final String rcsid = "$Id$ |
312 | Object last = i.next(); | Object last = i.next(); |
313 | while(i.hasNext()) { | while(i.hasNext()) { |
314 | Object next = i.next(); | Object next = i.next(); |
315 | if(next instanceof Span1D && ((Span1D)next).length() < 1) | |
316 | continue; | |
317 | ||
318 | if(next instanceof Span1D && last instanceof Span1D) { | if(next instanceof Span1D && last instanceof Span1D) { |
319 | Span1D app = ((Span1D)last).append((Span1D)next); | Span1D app = ((Span1D)last).append((Span1D)next); |
320 | if(app != null) { | if(app != null) { |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |