199 |
global rough_edges |
global rough_edges |
200 |
for rough_bbox in rough_edges: |
for rough_bbox in rough_edges: |
201 |
"""Print stored roughEdges now, on top of everything else.""" |
"""Print stored roughEdges now, on top of everything else.""" |
202 |
gen2.write('drawRoughEdge(('+rough_bbox+'), (bbox currentpicture));'+"\n") |
gen2.write('drawRoughEdge(('+rough_bbox+'), (bbox currentpicture), ('+scale+'));'+"\n") |
203 |
gen2.write('showlinksize("bbox", "'+diagram+'", (bbox currentpicture));'+"\n") |
gen2.write('showlinksize("bbox", "'+diagram+'", (bbox currentpicture));'+"\n") |
204 |
gen2.close() |
gen2.close() |
205 |
rough_edges = [] |
rough_edges = [] |