tree_close_internal: Log workspace name in EWMH message

next
Orestis Floros 2019-05-03 15:39:04 +03:00
parent 4a37d20602
commit 8c25bc1bd4
No known key found for this signature in database
GPG Key ID: E9AD9F32E401E38F
1 changed files with 1 additions and 1 deletions

View File

@ -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();