cut line

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/overflow-tube.ps.pl b/overflow-tube.ps.pl
index 7e059dae54f728a1221f23e024c95410d00f6bb8..cdaf9beb2766438c85723fd2f35a05c93dba75c7 100755 (executable)
--- a/overflow-tube.ps.pl
+++ b/overflow-tube.ps.pl
@@ -125,6 +125,12 @@ sub set () {
       cut_line
     grestore
 END
+  o some_cut_line <<END;
+                                 newpath
+    0                    $y_top  moveto
+    $paper_x $x_cut sub  $y_top  lineto
+                                 stroke
+END
 
   repis();
 }