From bad7e4b68e3c84419c00d786fc021662b4c64257 Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Sat, 27 Feb 2010 07:54:54 -0600 Subject: [PATCH] Add a slot for worlds to know if they are fullscreened, and another for restoring the window position after returning from fullscreen mode --- basis/ui/gadgets/worlds/worlds.factor | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/basis/ui/gadgets/worlds/worlds.factor b/basis/ui/gadgets/worlds/worlds.factor index 05466f4673..bcdccb23cd 100644 --- a/basis/ui/gadgets/worlds/worlds.factor +++ b/basis/ui/gadgets/worlds/worlds.factor @@ -33,7 +33,8 @@ CONSTANT: default-world-window-controls } TUPLE: world < track - active? focused? grab-input? + active? focused? grab-input? fullscreen? + saved-position layers title status status-owner text-handle handle images