equal
deleted
inserted
replaced
114 out.append(cur) |
114 out.append(cur) |
115 return filter(lambda x: x is not '', out) |
115 return filter(lambda x: x is not '', out) |
116 |
116 |
117 # |
117 # |
118 |
118 |
119 from ext.diff_match_patch import diff_match_patch |
119 from cm.ext.diff_match_patch import diff_match_patch |
120 |
120 |
121 class diff_match_patch2(diff_match_patch): |
121 class diff_match_patch2(diff_match_patch): |
122 def diff_prettyHtml_one_way(self, diffs, way=False, mode='red'): |
122 def diff_prettyHtml_one_way(self, diffs, way=False, mode='red'): |
123 """Convert a diff array into a pretty HTML report. |
123 """Convert a diff array into a pretty HTML report. |
124 |
124 |