def end_title(self):
HTMLParser.end_title(self)
self.context.set_title(self.title)
if not self.inhead:
self.badhtml = 1
def end_title(self):
HTMLParser.end_title(self)
self.formatter.writer.ps.set_title(self.title)
self.formatter.writer.ps.prune_titles()
def end_title(self):
HTMLParser.end_title(self)
self.formatter.writer.ps.set_title(self.title)
self.formatter.writer.ps.prune_titles()
def end_title(self):
HTMLParser.end_title(self)
self.context.set_title(self.title)
if not self.inhead:
self.badhtml = 1
