equal
deleted
inserted
replaced
88 text = re.sub('[ \t\r]+', '', text) |
88 text = re.sub('[ \t\r]+', '', text) |
89 else: |
89 else: |
90 text = re.sub('[ \t\r]+', ' ', text) |
90 text = re.sub('[ \t\r]+', ' ', text) |
91 text = text.replace(' \n', '\n') |
91 text = text.replace(' \n', '\n') |
92 return text |
92 return text |
|
93 |
|
94 def splitnewlines(text): |
|
95 '''like str.splitlines, but only split on newlines.''' |
|
96 lines = [l + '\n' for l in text.split('\n')] |
|
97 if lines: |
|
98 if lines[-1] == '\n': |
|
99 lines.pop() |
|
100 else: |
|
101 lines[-1] = lines[-1][:-1] |
|
102 return lines |