src/cm/ext/__init__.py
author gibus
Wed, 27 Mar 2013 17:51:18 +0100
changeset 502 8ec189cc214d
parent 250 cae2de810f77
permissions -rw-r--r--
do not skip span for newline textnodes otherwise compute_new_comment_positions() will return bad results for pandoc texts.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines: