From bcbc6fcf6346aea211b3d36a0dfb424523701c73 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 12 Nov 2022 16:35:11 +0000
Subject: [PATCH] overflow-tube: Add cover up instruction

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

diff --git a/overflow-tube.ps.pl b/overflow-tube.ps.pl
index 3aafd9e..f580408 100755
--- a/overflow-tube.ps.pl
+++ b/overflow-tube.ps.pl
@@ -222,6 +222,16 @@ END
   repis();
 
   o <<END;
+    gsave
+      /Times-Roman findfont 4.0 scalefont setfont
+      4 97 moveto  (cover) show
+      6 93.5 moveto  (up) show
+      4 89 moveto
+      /Helvetica-Bold-Italic findfont 3.5 scalefont setfont (35) show
+      1 0 rmoveto
+      /Helvetica-Bold findfont 3.5 scalefont setfont (15) show
+    grestore
+
     gsave
       $paper_x $x_cut sub  $y_top 7 sub translate
 
-- 
2.30.2