ui: ceiling world dimensions when opening.

diff --git a/basis/ui/ui.factor b/basis/ui/ui.factor
index e80fd009c4c9d82b665aa9ad5312781e0e19b6cb..2f10e5c0ba919169f5a3ad18ae915ac733b4aad8 100644 (file)
--- a/basis/ui/ui.factor
+++ b/basis/ui/ui.factor
@@ -3,10 +3,10 @@
 USING: accessors arrays assocs boxes classes.tuple
 classes.tuple.parser combinators combinators.short-circuit
 concurrency.flags concurrency.promises continuations deques
-destructors dlists fry init io.streams.c kernel lexer make math
-namespaces parser sequences sets strings threads ui.backend ui.gadgets
-ui.gadgets.private ui.gadgets.worlds ui.gestures ui.render vectors
-vocabs.parser words ;
+destructors dlists fry init kernel lexer make math
+math.functions namespaces parser sequences sets strings threads
+ui.backend ui.gadgets ui.gadgets.private ui.gadgets.worlds
+ui.gestures ui.render vectors vocabs.parser words ;
 IN: ui
 
 <PRIVATE
@@ -176,7 +176,7 @@ PRIVATE>
 PRIVATE>
 
 : open-world-window ( world -- )
-    dup pref-dim >>dim dup relayout graft ;
+    dup pref-dim [ ceiling ] map >>dim dup relayout graft ;
 
 : open-window* ( gadget title/attributes -- window )
     ?attributes <world> [ open-world-window ] keep ;