chiark / gitweb /
overflow-tube: cut adj
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 12 Nov 2022 17:02:25 +0000 (17:02 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 12 Nov 2022 17:02:25 +0000 (17:02 +0000)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
overflow-tube.ps.pl

index 0ca63cd2eef265a66ae9d4ae82448a38f400e763..071ccd16ac17341797b5b68324ed09a182f9e3e1 100755 (executable)
@@ -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($) {
   <<END;