Name window-list-monitor actors
This commit is contained in:
parent
42a9f93b49
commit
e9f81398e0
1
gui.rkt
1
gui.rkt
|
@ -515,6 +515,7 @@
|
||||||
|
|
||||||
(actor #:name 'window-list-monitor
|
(actor #:name 'window-list-monitor
|
||||||
(during/actor (window-state $id $title _)
|
(during/actor (window-state $id $title _)
|
||||||
|
#:name (list 'window-list id)
|
||||||
(field [x 0] [y 0])
|
(field [x 0] [y 0])
|
||||||
(define reqsize
|
(define reqsize
|
||||||
(parameterize ((theme-button-y-padding 8)
|
(parameterize ((theme-button-y-padding 8)
|
||||||
|
|
Loading…
Reference in New Issue