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.""" |
|
if config.mp_clip_rough_edges: gen2.write('q = (bbox currentpicture);'+"\n") |
|
204 |
gen2.write('drawRoughEdge(('+rough_bbox+'), ('+str(scale)+'));'+"\n") |
gen2.write('drawRoughEdge(('+rough_bbox+'), ('+str(scale)+'));'+"\n") |
|
if config.mp_clip_rough_edges: gen2.write('clip currentpicture to q;'+"\n") |
|
205 |
gen2.write('showlinksize("bbox", "'+diagram+'", (bbox currentpicture));'+"\n") |
gen2.write('showlinksize("bbox", "'+diagram+'", (bbox currentpicture));'+"\n") |
206 |
gen2.close() |
gen2.close() |
207 |
rough_edges = [] |
rough_edges = [] |