558: #line 746 "input_frame.ipk" 559: def set_anchor(self,label): 560: "Set the argument label as a document anchor" 561: if self.current_tangler: 562: self.current_tangler.weaver.set_anchor(label) 563: else: 564: self.current_weaver.set_anchor(label) 565: 566: def ref_anchor(self,label): 567: "Generate a reference to the given anchor label" 568: self.current_weaver.ref_anchor(label) 569: