Update EWMH properties on workspace move

Closes #3965
Fixes #4001
This commit is contained in:
Orestis Floros
2020-04-10 04:37:41 +02:00
committed by Michael Stapelberg
parent 50d2b44325
commit 20a06462bc
2 changed files with 34 additions and 1 deletions

View File

@ -1044,6 +1044,8 @@ void workspace_move_to_output(Con *ws, Output *output) {
workspace_show(ws);
}
ewmh_update_desktop_properties();
if (!previously_visible_ws) {
return;
}