IN: ui.gadgets.borders
TUPLE: border < aligned-gadget
-{ size initial: { 0 0 } }
-{ fill initial: { 0 0 } }
-{ align initial: { 1/2 1/2 } }
-{ min-dim initial: { 0 0 } } ;
+ { size initial: { 0 0 } }
+ { fill initial: { 0 0 } }
+ { align initial: { 1/2 1/2 } }
+ { min-dim initial: { 0 0 } } ;
: new-border ( child class -- border )
new swap add-gadget ; inline
editor [ caret-loc second ] [ caret-dim second ] bi + 2.0 - :> y
editor editor-caret first :> row
editor font>> foreground>> gl-color
- editor preedit-underlines>> [
+ editor preedit-underlines>> [
GL_LINE_BIT [
dup second glLineWidth
- first editor preedit-start>> second dup 2array v+ first2
+ first editor preedit-start>> second dup 2array v+ first2
[ row swap 2array editor loc>x 1.0 + y 2array ]
[ row swap 2array editor loc>x 1.0 - y 2array ]
bi*
GENERIC: line-leading* ( gadget -- n )
-M: line-gadget line-leading* font>> font-metrics leading>> ;
+M: line-gadget line-leading*
+ font>> font-metrics leading>> ;
GENERIC: line-leading ( gadget -- n )
GENERIC: line-height* ( gadget -- n )
-M: line-gadget line-height* font>> font-metrics height>> ceiling ;
+M: line-gadget line-height*
+ font>> font-metrics height>> ceiling >integer ;
GENERIC: line-height ( gadget -- n )
IN: ui.gadgets.packs
TUPLE: pack < aligned-gadget
-{ align initial: 0 } { fill initial: 0 } { gap initial: { 0 0 } } ;
+ { align initial: 0 }
+ { fill initial: 0 }
+ { gap initial: { 0 0 } } ;
<PRIVATE