From fc49b5bdbec949c68a15fbdeeb6e874258fed5d8 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 2 Jul 2022 15:16:22 +0100
Subject: [PATCH] cut line

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 overflow-tube.ps.pl | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/overflow-tube.ps.pl b/overflow-tube.ps.pl
index 7e059da..cdaf9be 100755
--- 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();
 }
-- 
2.30.2