private void DrawClip(StreamWriter eps)
{
eps.WriteLine("save");
eps.WriteLine("%");
eps.WriteLine("% Set the RGB color to very light gray.");
eps.WriteLine("%");
eps.WriteLine("0.900 0.900 0.900 setrgbcolor");
eps.WriteLine("%");
eps.WriteLine("% Draw a gray border around the page.");
eps.WriteLine("%");
eps.WriteLine("newpath");
eps.WriteLine(" {0} {1} moveto", x_ps_min, y_ps_min);
eps.WriteLine(" {0} {1} lineto", x_ps_max, y_ps_min);
eps.WriteLine(" {0} {1} lineto", x_ps_max, y_ps_max);
eps.WriteLine(" {0} {1} lineto", x_ps_min, y_ps_max);
eps.WriteLine(" {0} {1} lineto", x_ps_min, y_ps_min);
eps.WriteLine("stroke");
eps.WriteLine("%");
eps.WriteLine("% Set the RGB color to black.");
eps.WriteLine("%");
eps.WriteLine("0.000 0.000 0.000 setrgbcolor");
eps.WriteLine("%");
eps.WriteLine("% Set the font and its size.");
eps.WriteLine("%");
eps.WriteLine("/Times-Roman findfont");
eps.WriteLine("0.50 inch scalefont");
eps.WriteLine("setfont");
eps.WriteLine("%");
eps.WriteLine("% Print a title.");
eps.WriteLine("%");
eps.WriteLine("%210 702 moveto");
eps.WriteLine("%(Triangulation) show");
eps.WriteLine("%");
eps.WriteLine("% Define a clipping polygon.");
eps.WriteLine("%");
eps.WriteLine("newpath");
eps.WriteLine(" {0} {1} moveto", x_ps_min_clip, y_ps_min_clip);
eps.WriteLine(" {0} {1} lineto", x_ps_max_clip, y_ps_min_clip);
eps.WriteLine(" {0} {1} lineto", x_ps_max_clip, y_ps_max_clip);
eps.WriteLine(" {0} {1} lineto", x_ps_min_clip, y_ps_max_clip);
eps.WriteLine(" {0} {1} lineto", x_ps_min_clip, y_ps_min_clip);
eps.WriteLine("clip newpath");
}
