documents: rename string-lines to split-lines so I don't get restarts.

locals-and-roots
John Benediktsson 2016-03-15 10:41:14 -07:00
parent 51bafaeda4
commit 07c867846a
1 changed files with 2 additions and 2 deletions

View File

@ -114,7 +114,7 @@ CONSTANT: doc-start { 0 0 }
! XXX: This is the old string-lines behavior, it would be nice ! XXX: This is the old string-lines behavior, it would be nice
! if we could update documents to work with the new string-lines ! if we could update documents to work with the new string-lines
! behavior. ! behavior.
: string-lines ( str -- seq ) : split-lines ( str -- seq )
dup [ "\r\n" member? ] any? [ dup [ "\r\n" member? ] any? [
"\n" split "\n" split
[ [
@ -144,7 +144,7 @@ PRIVATE>
:: set-doc-range ( string from to document -- ) :: set-doc-range ( string from to document -- )
from to = string empty? and [ from to = string empty? and [
string string-lines :> new-lines string split-lines :> new-lines
new-lines from text+loc :> new-to new-lines from text+loc :> new-to
from to document doc-range :> old-string from to document doc-range :> old-string
old-string string from to new-to <edit> document add-undo old-string string from to new-to <edit> document add-undo