equal
deleted
inserted
replaced
110 visitor = self.translator_class(self.document) |
110 visitor = self.translator_class(self.document) |
111 self.document.walkabout(visitor) |
111 self.document.walkabout(visitor) |
112 self.output = visitor.astext() |
112 self.output = visitor.astext() |
113 |
113 |
114 |
114 |
115 class Table(object): |
115 class Table: |
116 def __init__(self): |
116 def __init__(self): |
117 self._rows = [] |
117 self._rows = [] |
118 self._options = ['center'] |
118 self._options = ['center'] |
119 self._tab_char = '\t' |
119 self._tab_char = '\t' |
120 self._coldefs = [] |
120 self._coldefs = [] |
310 |
310 |
311 def depart_Text(self, node): |
311 def depart_Text(self, node): |
312 pass |
312 pass |
313 |
313 |
314 def list_start(self, node): |
314 def list_start(self, node): |
315 class enum_char(object): |
315 class enum_char: |
316 enum_style = { |
316 enum_style = { |
317 'bullet': '\\(bu', |
317 'bullet': '\\(bu', |
318 'emdash': '\\(em', |
318 'emdash': '\\(em', |
319 } |
319 } |
320 |
320 |