201 |
global rough_edges |
global rough_edges |
202 |
for rough_bbox in rough_edges: |
for rough_bbox in rough_edges: |
203 |
"""Print stored roughEdges now, on top of everything else.""" |
"""Print stored roughEdges now, on top of everything else.""" |
204 |
gen2.write('drawRoughEdge(('+rough_bbox+'), (bbox currentpicture), ('+str(scale)+'));'+"\n") |
if config.mp_clip_rough_edges: gen2.write('q = (bbox currentpicture);'+"\n") |
205 |
|
gen2.write('drawRoughEdge(('+rough_bbox+'), ('+str(scale)+'));'+"\n") |
206 |
|
if config.mp_clip_rough_edges: gen2.write('clip currentpicture to q;'+"\n") |
207 |
gen2.write('showlinksize("bbox", "'+diagram+'", (bbox currentpicture));'+"\n") |
gen2.write('showlinksize("bbox", "'+diagram+'", (bbox currentpicture));'+"\n") |
208 |
gen2.close() |
gen2.close() |
209 |
rough_edges = [] |
rough_edges = [] |