On-screen display of active window ID.

2015-08-18 20:14:59 -04:00 · 2015-08-18 20:14:59 -04:00 · 44b6b5dcfa
parent 35e966cb13
commit 44b6b5dcfa
1 changed files with 2 additions and 2 deletions
--- 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))