292 |
vardef strpair(expr p) = |
vardef strpair(expr p) = |
293 |
(decimal((xpart(p))) & "," & decimal((ypart(p))) ) |
(decimal((xpart(p))) & "," & decimal((ypart(p))) ) |
294 |
enddef; |
enddef; |
|
|
|
295 |
vardef showjlink(expr name, p) = |
vardef showjlink(expr name, p) = |
296 |
fill p withcolor (0.8, 0.9, 1); |
fill p withcolor (0.8, 0.9, 1); |
297 |
showjlinksize(name, p); |
showjlinksize(name, p); |
298 |
enddef; |
enddef; |
299 |
|
vardef showfocus(expr name, p) = |
300 |
|
fill p withcolor (1, 0.9, 0.8); |
301 |
|
showjlinksize(name, p); |
302 |
|
enddef; |
303 |
vardef showjlinksize(expr name, p) = |
vardef showjlinksize(expr name, p) = |
304 |
show "JLINKRECT("& char(34) & name & char(34) & "," & strpair((ulcorner(p))) &","& strpair((lrcorner(p))) & ")" |
show "JLINKRECT("& char(34) & name & char(34) & "," & strpair((ulcorner(p))) &","& strpair((lrcorner(p))) & ")" |
305 |
enddef; |
enddef; |