chiark / gitweb /
indices in page corners
authorian <ian>
Sun, 13 Jun 2004 21:28:03 +0000 (21:28 +0000)
committerian <ian>
Sun, 13 Jun 2004 21:28:03 +0000 (21:28 +0000)
layout/layout

index 3730337b6757714427eb59631ac146bb10a252f1..7a05e1bc0eb243f3ea735dbb61f5084cfe8aac84 100755 (executable)
@@ -1285,7 +1285,17 @@ sub cmd__one {
 print
     "%!\n".
     "  /lf /Courier-New findfont $lmu_marktpt scalefont def\n".
-    "  $ps_page_shift 0 translate 90 rotate\n".
+    "  $ps_page_shift 0 translate 90 rotate\n"
+    or die $!;
+
+if ($page_x || $page_y) {
+    print
+       "  /Courier-New findfont 15 scalefont setfont\n".
+       "  30 30 moveto (${page_x}x${page_y}) show\n"
+        or die $!;
+}
+    
+print
     "  -$ps_page_xmul $page_x mul  -$ps_page_ymul $page_y mul  translate\n".
     "  $ptscale $ptscale scale\n"
     or die $!;