equal
deleted
inserted
replaced
102 visitor = self.translator_class(self.document) |
102 visitor = self.translator_class(self.document) |
103 self.document.walkabout(visitor) |
103 self.document.walkabout(visitor) |
104 self.output = visitor.astext() |
104 self.output = visitor.astext() |
105 |
105 |
106 |
106 |
107 class Table: |
107 class Table(object): |
108 def __init__(self): |
108 def __init__(self): |
109 self._rows = [] |
109 self._rows = [] |
110 self._options = ['center'] |
110 self._options = ['center'] |
111 self._tab_char = '\t' |
111 self._tab_char = '\t' |
112 self._coldefs = [] |
112 self._coldefs = [] |
298 |
298 |
299 def depart_Text(self, node): |
299 def depart_Text(self, node): |
300 pass |
300 pass |
301 |
301 |
302 def list_start(self, node): |
302 def list_start(self, node): |
303 class enum_char: |
303 class enum_char(object): |
304 enum_style = { |
304 enum_style = { |
305 'bullet' : '\\(bu', |
305 'bullet' : '\\(bu', |
306 'emdash' : '\\(em', |
306 'emdash' : '\\(em', |
307 } |
307 } |
308 |
308 |