Skip to content

Commit 389333b

Browse files
committed
if
1 parent 3938f34 commit 389333b

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

coq/shared/repeat.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ def _shift(cursor: Cursors, edit: BaseRangeEdit) -> Tuple[WTF8Pos, WTF8Pos]:
3434
diff = col - edit_col
3535

3636
if b_row == row:
37-
if b_col > edit_col and diff < -1:
37+
if b_col > edit_col and diff < 0:
3838
new_b_col = b_col + diff
3939
else:
4040
new_b_col = b_col

0 commit comments

Comments
 (0)