src/cm/utils/comment_positioning.py
changeset 502 8ec189cc214d
parent 498 31d3fbe0c9a2
child 519 e89c25780e6e
equal deleted inserted replaced
501:5cd02f32be5e 502:8ec189cc214d
    14     
    14     
    15     # cf. TextVersion.get_content
    15     # cf. TextVersion.get_content
    16     previousVersionContent = pandoc_convert(old_content, old_format, 'html')
    16     previousVersionContent = pandoc_convert(old_content, old_format, 'html')
    17     newVersionContent = pandoc_convert(new_content, new_format, 'html')
    17     newVersionContent = pandoc_convert(new_content, new_format, 'html')
    18 
    18 
    19     _, previous_char_list, span_starts_previous = spannify(previousVersionContent)
    19     _, previous_char_list, span_starts_previous = spannify(previousVersionContent, False)
    20     _, new_char_list, span_starts_new = spannify(newVersionContent)
    20     _, new_char_list, span_starts_new = spannify(newVersionContent, False)
    21     
    21     
    22     sm = SequenceMatcher(None, previous_char_list, new_char_list)
    22     sm = SequenceMatcher(None, previous_char_list, new_char_list)
    23     
    23     
    24     opcodes = sm.get_opcodes()
    24     opcodes = sm.get_opcodes()
    25     to_remove_comments_ids = set()
    25     to_remove_comments_ids = set()