From 44b6b5dcfae8e428ad366437a15a5fa8e39f42db Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 18 Aug 2015 20:14:59 -0400 Subject: [PATCH] On-screen display of active window ID. --- prospect/examples/big-bang.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prospect/examples/big-bang.rkt b/prospect/examples/big-bang.rkt index 274baa3..fd90f95 100644 --- a/prospect/examples/big-bang.rkt +++ b/prospect/examples/big-bang.rkt @@ -58,8 +58,8 @@ (patch-project/set/single p (compile-projection (at-meta (?! (active-window ?)))))) - (log-info "~v" in) - #f] + (transition s (update-window 'active-window-label 300 0 + (text (format "~v" in) 22 "black")))] [_ #f])) (void) (sub (active-window ?) #:meta-level 1))