+ listener/plugin:\r
\r
- update plugin docs\r
+- extract word puts stuff in the wrong place\r
- extract word keeps indent\r
- word preview for remote words\r
- WordPreview calls markTokens() -> NPE\r
#! 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 ;
: 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 ;