equal
deleted
inserted
replaced
695 blocks.extend(sections[i][2]) |
695 blocks.extend(sections[i][2]) |
696 i += 1 |
696 i += 1 |
697 if collapse: |
697 if collapse: |
698 synthetic.reverse() |
698 synthetic.reverse() |
699 for s in synthetic: |
699 for s in synthetic: |
700 path = [blocks[i]['lines'][0] for i in s] |
700 path = [blocks[syn]['lines'][0] for syn in s] |
701 real = s[-1] + 2 |
701 real = s[-1] + 2 |
702 realline = blocks[real]['lines'] |
702 realline = blocks[real]['lines'] |
703 realline[0] = ('"%s"' % |
703 realline[0] = ('"%s"' % |
704 '.'.join(path + [realline[0]]).replace('"', '')) |
704 '.'.join(path + [realline[0]]).replace('"', '')) |
705 del blocks[s[0]:real] |
705 del blocks[s[0]:real] |