documents: whoops, doc-lines conflicts with doc-lines.
parent
e8b62d41c3
commit
a3073bd15c
|
@ -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.
|
||||||
: doc-lines ( str -- seq )
|
: string-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 doc-lines :> new-lines
|
string string-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
|
||||||
|
|
Loading…
Reference in New Issue