steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

documents: split-lines is used by ui.gadgets.panes.

char-rename
John Benediktsson 2017-02-06 16:06:00 -08:00
parent 915378019c
commit b101f9d61b
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
basis/documents/documents.factor
View File

@ -110,6 +110,11 @@ CONSTANT: doc-start { 0 0 }
: with-undo ( ..a document quot: ( ..a document -- ..b ) -- ..b ) : with-undo ( ..a document quot: ( ..a document -- ..b ) -- ..b )
[ t >>inside-undo? ] dip keep f >>inside-undo? drop ; inline [ t >>inside-undo? ] dip keep f >>inside-undo? drop ; inline
: split-lines ( str -- seq )
[ string-lines ] keep ?last
[ "\r\n" member? ] [ t ] if*
[ "" suffix ] when ;
PRIVATE> PRIVATE>
:: doc-range ( from to document -- string ) :: doc-range ( from to document -- string )
@ -124,9 +129,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 string split-lines :> new-lines
string ?last [ "\r\n" member? ] [ t ] if*
[ "" suffix ] when :> 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