diff --git a/TODO.FACTOR.txt b/TODO.FACTOR.txt index 1710ca5718..48a4af52ad 100644 --- a/TODO.FACTOR.txt +++ b/TODO.FACTOR.txt @@ -27,6 +27,7 @@ + listener/plugin: - update plugin docs +- extract word puts stuff in the wrong place - extract word keeps indent - word preview for remote words - WordPreview calls markTokens() -> NPE diff --git a/library/ui/console.factor b/library/ui/console.factor index 33a548e8c9..cf1a498ac7 100644 --- a/library/ui/console.factor +++ b/library/ui/console.factor @@ -79,6 +79,10 @@ SYMBOL: output-line #! A line editor object. SYMBOL: input-line +#! The font size is hardcoded here. +: line-height 8 ; +: char-width 8 ; + ! Scrolling : visible-lines ( -- n ) height get line-height /i ; : total-lines ( -- n ) lines get vector-length ; @@ -105,10 +109,6 @@ SYMBOL: input-line : foreground black ; : cursor red ; -#! The font size is hardcoded here. -: line-height 8 ; -: char-width 8 ; - : next-line ( -- ) 0 x set line-height y [ + ] change ;