From 78150d6d087bca68f9bd671e28bb0811c48bfea7 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sat, 12 Nov 2022 17:02:25 +0000 Subject: [PATCH] overflow-tube: cut adj Signed-off-by: Ian Jackson --- overflow-tube.ps.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/overflow-tube.ps.pl b/overflow-tube.ps.pl index 0ca63cd..071ccd1 100755 --- a/overflow-tube.ps.pl +++ b/overflow-tube.ps.pl @@ -48,7 +48,7 @@ my $y_top = $y_pl_zero + $y_cutd + $spacing*1.25; our $veep_bg = " 0.95 0.90 0.67 setrgbcolor "; -our $x_cut_rhs = $paper_x - $x_cut; +our $x_cut_rhs = $paper_x - $x_cut + 0.5 * $colspacing;; sub some_cut_line($) { <