public IntLine[] barelines()
{
IntLine[] bare = new IntLine[intlines.Count];
for (int i = 0; i < intlines.Count; ++i)
{
bare[i] = intlines[i].line;
}
return bare;
}
public static void DrawLine(IntLine line, Graphics g, System.Drawing.Pen pen, int left = 0, int top = 0, int zoom = 1)
{
g.DrawLine(pen, left + line.p.X * zoom, top + line.p.Y * zoom, left + line.q.X * zoom, top + line.q.Y * zoom);
}
