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

ui.gadgets.editors: fix page-up/page-down with one line.

master
John Benediktsson 2020-05-26 10:53:16 -07:00
parent 8f3ce6f49a
commit 130c1d8dd6
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -570,7 +570,8 @@ TUPLE: multiline-editor < editor ;
<PRIVATE <PRIVATE
: page-elt ( editor -- editor element ) dup visible-lines 1 - <page-elt> ; : page-elt ( editor -- editor element )
dup visible-lines 1 - [ 1 ] when-zero <page-elt> ;
PRIVATE> PRIVATE>