Update EWMH's current desktop in add_desktop

Fixes #1179.
This commit is contained in:
Bastien Dejean 2020-08-19 16:25:22 +02:00
parent 446ff985e1
commit 760b148a5f

View file

@ -283,6 +283,7 @@ void add_desktop(monitor_t *m, desktop_t *d)
d->border_width = m->border_width;
d->window_gap = m->window_gap;
insert_desktop(m, d);
ewmh_update_current_desktop();
ewmh_update_number_of_desktops();
ewmh_update_desktop_names();
ewmh_update_desktop_viewport();