void clip_box(double x1, double y1,
double x2, double y2)
{
reset();
m_VectorClipper.clip_box(m_VectorClipper.upscale(x1), m_VectorClipper.upscale(y1),
m_VectorClipper.upscale(x2), m_VectorClipper.upscale(y2));
}
//------------------------------------------------------------------------
public void line_to_d(double x, double y)
{
m_VectorClipper.line_to(m_outline,
m_VectorClipper.upscale(x),
m_VectorClipper.upscale(y));
m_status = status.status_line_to;
}