]> gitweb.factorcode.org Git - factor.git/commitdiff
ui.gadgets: formatting.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 16 May 2020 17:07:35 +0000 (10:07 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 16 May 2020 17:07:35 +0000 (10:07 -0700)
basis/ui/gadgets/borders/borders.factor
basis/ui/gadgets/editors/editors.factor
basis/ui/gadgets/line-support/line-support.factor
basis/ui/gadgets/packs/packs.factor

index 10f3b71411497fa0165b7fc93a6b8d7bf01ce3dd..3418c89c0ce9fdc1f99e6a9c203b35809e745fcc 100644 (file)
@@ -5,10 +5,10 @@ sequences ui.baseline-alignment ui.gadgets ;
 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
index 143c9d6f2de8214b6c0969e1ca4d0959482b9df6..f123f07ee317ebef3ba2f1389a5a91e38a691ac2 100644 (file)
@@ -178,10 +178,10 @@ M: editor ungraft*
         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*
index b1cab467c18af579aaa29c7edbf8bb8abcbdc38b..da60a2023efc6ec40cc2954afeed3879eec952fa 100644 (file)
@@ -19,7 +19,8 @@ TUPLE: line-gadget < gadget
 
 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 )
 
@@ -32,7 +33,8 @@ M: line-gadget line-leading
 
 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 )
 
index 9932554046bae17a7c5c78357ab9f32d4ff3dc31..7a5fe428edaa3e61e981dbbe95b4bd6baf1547ed 100644 (file)
@@ -6,7 +6,9 @@ ui.baseline-alignment.private ui.gadgets ;
 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