212: #line 236 "html_weaver.ipk" 213: def set_anchor(self, label): 214: self._write('<A NAME="#'+label+'"></A>') 215: 216: def get_anchor(self, label): 217: return '#'+label 218: 219: def ref_anchor(self, label): 220: href = self.get_anchor(label) 221: if href: 222: self._write('<A HREF="'+href+'">'+label+'</A>') 223: else: 224: self._write('<EM>Unknown Label:'+label+'</EM>') 225: