equal
deleted
inserted
replaced
102 while (e1.hasMoreElements()) |
102 while (e1.hasMoreElements()) |
103 p=((SplineSection)(e1.nextElement())).draw(g,p); |
103 p=((SplineSection)(e1.nextElement())).draw(g,p); |
104 g.drawLine(p.x,p.y,end.x,end.y); |
104 g.drawLine(p.x,p.y,end.x,end.y); |
105 } |
105 } |
106 |
106 |
107 public void PS(PrintStream p) { |
107 public void PS(PrintWriter p) { |
108 Point p0,p1,p2; |
108 Point p0,p1,p2; |
109 int i; |
109 int i; |
110 |
110 |
111 p.println("n "+start.x+" "+start.y+" m"); |
111 p.println("n "+start.x+" "+start.y+" m"); |
112 for (i=1;i<=points.size()-4;i+=3) { |
112 for (i=1;i<=points.size()-4;i+=3) { |