equal
deleted
inserted
replaced
125 |
125 |
126 ret = text |
126 ret = text |
127 |
127 |
128 if with_markers: |
128 if with_markers: |
129 end_ids.reverse() |
129 end_ids.reverse() |
130 ret = "%s%s%s"%(''.join(["[%s>"%start_id for start_id in start_ids]), ret, ''.join(["<%s]"%end_id for end_id in end_ids])) |
130 ret = "%s%s%s"%(''.join(["[%s>"%start_id for start_id in start_ids]), ret, ''.join(["<%s]"%end_id for end_id in end_ids])) |
131 |
131 |
132 if with_colors and color != 0 : |
132 if with_colors and color != 0 : |
133 ret = "<span style='background-color:%s;'>%s</span>"%(BCKCOLORS[color], ret) |
133 ret = "<span style='background-color:%s;'>%s</span>"%(BCKCOLORS[color], ret) |
134 |
134 |
135 return ret |
135 return ret |