840 |
refer_obj = mptitle(refer_name, refer_title) |
refer_obj = mptitle(refer_name, refer_title) |
841 |
refer_obj.jlink = refer_jlink+"#"+settings['name'] |
refer_obj.jlink = refer_jlink+"#"+settings['name'] |
842 |
if id == len(refers)-1: |
if id == len(refers)-1: |
843 |
refer_draw += "\tdraw ulcorner(bbox(currentpicture))+(0,10) -- urcorner(bbox(currentpicture))+(0,10) withpen pencircle scaled 3pt;\n" |
refer_draw += "\tdraw ulcorner(bbox(currentpicture))+(0,10) -- urcorner(bbox(currentpicture))+(0,10) withpen pencircle scaled 1.5pt;\n" |
844 |
refer_draw += refer_obj.setupCode() |
refer_draw += refer_obj.setupCode() |
845 |
refer_draw += "\t"+refer_name+".sw = ulcorner(bbox(currentpicture))+(50,0);\n" |
refer_draw += "\t"+refer_name+".sw = ulcorner(bbox(currentpicture))+(35,0);\n" |
846 |
refer_draw += refer_obj.drawCode() |
refer_draw += refer_obj.drawCode() |
847 |
else: |
else: |
848 |
refer_draw += refer_obj.setupCode() |
refer_draw += refer_obj.setupCode() |
851 |
+".nw;\n" |
+".nw;\n" |
852 |
refer_draw += refer_obj.drawCode() |
refer_draw += refer_obj.drawCode() |
853 |
if id == 0: |
if id == 0: |
854 |
refer_draw += "\tdraw diagramTitle(\"from: \") shifted (ulcorner(bbox(currentpicture))+(2,-20));\n" |
refer_draw += "\tdraw (infontBB(\"from:\", \"Helvetica\") scaled 1.3) shifted (ulcorner(bbox(currentpicture))+(2,-13));\n" |
855 |
|
|
856 |
|
|
857 |
gen1 = open(path+prefix_out+".1", "w") |
gen1 = open(path+prefix_out+".1", "w") |