% Functions for direct and embedded PostScript
+%% TODO: use dicts or prefixes to prevent namespace pollution.
+
/pdfmark where
{pop} {userdict /pdfmark /cleartomark load put} ifelse
-% llx lly urx ury command
-/mark_file_line
+
+% llx lly urx ury URI
+/mark_URI
{
- /editorcommand exch def
+ /command exch def
/ury exch def
/urx exch def
/lly exch def
[
/Rect [ llx lly urx ury ]
/Border [ 0 0 0 0 ]
- /Action
- <<
- /Subtype /Launch
- /File editorcommand
- >>
+
+ /Action
+ <<
+ /Subtype /URI
+ /URI command
+ >>
/Subtype /Link
/ANN
pdfmark
}
bind def
-/set_tex_dimen {
+/set_tex_dimen
+{
cvr def
} bind def
0 360 arc closepath fill stroke
} bind def
+/draw_circle % R T
+{
+ setlinewidth
+ dup 0 moveto
+ 0 exch 0 exch
+ 0 360 arc closepath stroke
+} bind def
+
/draw_white_dot % x1 y2 R
{
% 0 360 arc fill stroke