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

ui.gadgets.editors: fix page-up/page-down behavior.

master
John Benediktsson 2020-05-27 11:43:29 -07:00
parent f2189a32f4
commit c781933d6b
1 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
basis/ui/gadgets/editors/editors.factor
View File

@ -570,22 +570,28 @@ TUPLE: multiline-editor < editor ;
<PRIVATE
: page-elt ( editor -- editor element )
dup visible-lines 1 - [ 1 ] when-zero <page-elt> ;
: page-elt ( editor n -- editor element )
over visible-lines 1 - min 1 max <page-elt> ;
: prev-page-elt ( editor -- editor element )
dup editor-caret first page-elt ;
: next-page-elt ( editor -- editor element )
dup [ control-value length ] [ editor-caret first ] bi - page-elt ;
PRIVATE>
: previous-page ( editor -- ) page-elt editor-prev ;
: previous-page ( editor -- ) prev-page-elt editor-prev ;
: next-page ( editor -- ) page-elt editor-next ;
: next-page ( editor -- ) next-page-elt editor-next ;
: select-previous-line ( editor -- ) line-elt editor-select-prev ;
: select-next-line ( editor -- ) line-elt editor-select-next ;
: select-previous-page ( editor -- ) page-elt editor-select-prev ;
: select-previous-page ( editor -- ) prev-page-elt editor-select-prev ;
: select-next-page ( editor -- ) page-elt editor-select-next ;
: select-next-page ( editor -- ) next-page-elt editor-select-next ;
: insert-newline ( editor -- )
"\n" swap user-input* drop ;