429 |
showlinksize(target, title, p); |
showlinksize(target, title, p); |
430 |
enddef; |
enddef; |
431 |
vardef showlinksize(expr target, title, p) = |
vardef showlinksize(expr target, title, p) = |
432 |
show "LINKRECT("& char(34) & name & char(34) & "," & strpair((ulcorner(p))) &","& strpair((lrcorner(p))) & ")" |
show "LINKRECT("& char(34) & target & char(34) & "," & char(34) & title & char(34) & "," & strpair((ulcorner(p))) &","& strpair((lrcorner(p))) &")" |
433 |
enddef; |
enddef; |
434 |
|
|
435 |
vardef jitterpt(expr p, s) = |
vardef jitterpt(expr p, s) = |