From e9f81398e054335c08eecd9fbc3173af187518a9 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Mon, 26 Sep 2016 17:19:16 -0400
Subject: [PATCH] Name window-list-monitor actors

---
 gui.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gui.rkt b/gui.rkt
index 9424cb7..619bf3c 100644
--- a/gui.rkt
+++ b/gui.rkt
@@ -515,6 +515,7 @@
 
 (actor #:name 'window-list-monitor
        (during/actor (window-state $id $title _)
+         #:name (list 'window-list id)
          (field [x 0] [y 0])
          (define reqsize
            (parameterize ((theme-button-y-padding 8)