From 1d751e7e12f1c19da519d3538c8f63fb7e464606 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Thu, 18 Jan 2018 21:14:24 -0800 Subject: [PATCH] ui.gadgets.worlds: world-attributes can specify fill and orientation. --- basis/ui/gadgets/worlds/worlds.factor | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/basis/ui/gadgets/worlds/worlds.factor b/basis/ui/gadgets/worlds/worlds.factor index 84effed4bf..5da76510ce 100644 --- a/basis/ui/gadgets/worlds/worlds.factor +++ b/basis/ui/gadgets/worlds/worlds.factor @@ -54,7 +54,9 @@ TUPLE: world-attributes gadgets { pixel-format-attributes initial: $ default-world-pixel-format-attributes } { window-controls initial: $ default-world-window-controls } - pref-dim ; + pref-dim + { fill initial: 1 } + { orientation initial: $ vertical } ; : ( -- world-attributes ) world-attributes new ; inline @@ -139,8 +141,10 @@ M: world apply-world-attributes [ window-controls>> >>window-controls ] [ initial-background-color >>background-color ] [ grab-input?>> >>grab-input? ] - [ gadgets>> dup sequence? [ [ 1 track-add ] each ] [ 1 track-add ] if ] + [ gadgets>> dup sequence? [ [ f track-add ] each ] [ f track-add ] if ] [ pref-dim>> >>pref-dim ] + [ fill>> >>fill ] + [ orientation>> >>orientation ] } cleave ; : ( world-attributes -- world )