splitting system timers ui.baseline-alignment ui.clipboards
ui.commands ui.gadgets ui.gadgets.borders
ui.gadgets.line-support ui.gadgets.menus ui.gadgets.scrollers
-prettyprint ui.gadgets.editors.private math.parser
+prettyprint math.parser
ui.gestures ui.pens.solid ui.render ui.text ui.theme unicode variables ;
IN: ui.gadgets.editors
TUPLE: editor < line-gadget
caret mark
+ caret-shape
focused? blink blink-timer
default-text
preedit-start
M: editor preedit? preedit-start>> ;
-SYMBOL: caret-is-shape
-: <caret-shape> ( -- shape ) caret-is-shape get <model> ;
+SYMBOLS: +line+ +box+ +filled+ ;
+SYMBOL: caret-style
++line+ caret-style set-global
<PRIVATE
: init-editor-locs ( editor -- editor )
<loc> >>caret
- <caret-shape> >>caret-shape
<loc> >>mark ; inline
: editor-theme ( editor -- editor )
{ [ focused?>> ] [ blink>> ]
[ [ preedit? not ] [ preedit-selection-mode?>> not ] bi or ] } 1&& ;
-: (caret-location) ( editor -- loc dim )
+: caret-line ( editor -- loc dim )
[ caret-loc ] [ caret-dim ] bi ;
-: (caret-rect) ( dim -- newdim )
- second [ 2 / ] keep 2array ;
+: caret-rect ( editor -- loc dim )
+ caret-line second [ 2 / ] keep 2array ;
: draw-caret-line ( editor -- )
- (caret-location) over v+ gl-line ;
+ caret-line over v+ gl-line ;
: draw-caret-rect ( editor -- )
- (caret-location) (caret-rect) gl-rect ;
+ caret-rect gl-rect ;
: draw-caret-rect-filled ( editor -- )
- (caret-location) (caret-rect) gl-fill-rect ;
+ caret-rect gl-fill-rect ;
: draw-caret-shape ( editor -- )
- dup caret-shape>> value>>
- {
- { 1 [ draw-caret-rect ] }
- { 2 [ draw-caret-rect-filled ] }
+ caret-style get {
+ { +box+ [ draw-caret-rect ] }
+ { +filled+ [ draw-caret-rect-filled ] }
[ drop draw-caret-line ]
} case ;
-
: draw-caret ( editor -- )
dup draw-caret? [
[ editor-caret-color gl-color ] dip
- [ caret-loc ] [ caret-dim ] bi
- over v+ gl-line
+ draw-caret-shape
] [ drop ] if ;
:: draw-preedit-underlines ( editor -- )