From 8c25bc1bd453535a21fb02e4cf5236fe4e3a7062 Mon Sep 17 00:00:00 2001
From: Orestis Floros <orestisf1993@gmail.com>
Date: Fri, 3 May 2019 15:39:04 +0300
Subject: [PATCH] tree_close_internal: Log workspace name in EWMH message

---
 src/tree.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tree.c b/src/tree.c
index 5023e894..f93b2262 100644
--- a/src/tree.c
+++ b/src/tree.c
@@ -300,7 +300,7 @@ bool tree_close_internal(Con *con, kill_window_t kill_window, bool dont_kill_par
     x_con_kill(con);
 
     if (ws == con) {
-        DLOG("Closing a workspace container, updating EWMH atoms\n");
+        DLOG("Closing workspace container %s, updating EWMH atoms\n", ws->name);
         ewmh_update_number_of_desktops();
         ewmh_update_desktop_names();
         ewmh_update_wm_desktop();