From 3edf8f594a3e52a70db45a6e66873d070f6f4051 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Fri, 6 May 2016 20:56:37 -0700 Subject: [PATCH] ui: ceiling world dimensions when opening. --- basis/ui/ui.factor | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/basis/ui/ui.factor b/basis/ui/ui.factor index e80fd009c4..2f10e5c0ba 100644 --- 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> : 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 [ open-world-window ] keep ;