remove usages of 'Cursor.toNextChr' and delete it

This commit is contained in:
2025-10-18 15:14:41 +01:00
parent ee96419901
commit e07f21d6f4
3 changed files with 24 additions and 7 deletions

View File

@@ -304,9 +304,6 @@ struct
fun tillNextChr (lineGap, cursorIdx, chr) =
nextChr (lineGap, cursorIdx, chr, startTillNextChr)
fun toNextChr (lineGap, cursorIdx, chr) =
nextChr (lineGap, cursorIdx, chr, startToNextChr)
structure ToNextChr =
MakeIfCharFolderNext
(struct