From 130c1d8dd67fb367cfbdaca339310594937e302c Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Tue, 26 May 2020 10:53:16 -0700 Subject: [PATCH] ui.gadgets.editors: fix page-up/page-down with one line. --- basis/ui/gadgets/editors/editors.factor | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/basis/ui/gadgets/editors/editors.factor b/basis/ui/gadgets/editors/editors.factor index f123f07ee3..26805dfb75 100644 --- a/basis/ui/gadgets/editors/editors.factor +++ b/basis/ui/gadgets/editors/editors.factor @@ -570,7 +570,8 @@ TUPLE: multiline-editor < editor ; ; +: page-elt ( editor -- editor element ) + dup visible-lines 1 - [ 1 ] when-zero ; PRIVATE>