231: #line 255 "html_weaver.ipk" 232: def set_anchor(self, label): 233: self._write('<A NAME="#'+label+'"></A>') 234: 235: def get_anchor(self, label): 236: return '#'+label 237: 238: def ref_anchor(self, label): 239: href = self.get_anchor(label) 240: if href: 241: self._write('<A HREF="'+href+'">'+label+'</A>') 242: else: 243: self._write('<EM>Unknown Label:'+label+'</EM>') 244: