public void SetVectorClipBox(double x1, double y1, double x2, double y2)
{
Reset();
m_VectorClipper.ClipBox(m_VectorClipper.UpScale(x1), m_VectorClipper.UpScale(y1),
m_VectorClipper.UpScale(x2), m_VectorClipper.UpScale(y2));
}
void ClipBox(double x1, double y1,
double x2, double y2)
{
Reset();
_vectorClipper.ClipBox(_vectorClipper.UpScale(x1), _vectorClipper.UpScale(y1),
_vectorClipper.UpScale(x2), _vectorClipper.UpScale(y2));
}
