Orestis Floros
c9efa6dffe
Call all ewmh_update_* functions together when necessary
...
The testcase is changed because it was actually incorrect. Easy to
verify because:
> _NET_CURRENT_DESKTOP
> …
> The index of the current desktop. This is always an integer between 0
> and _NET_NUMBER_OF_DESKTOPS - 1.
Fixes #3696 .
Also updates the viewports.
Finally, fixes an issue with _NET_CURRENT_DESKTOP not being updated
after a workspace rename. Example:
- workspaces 1, 2, 3
- rename workspace 1 to 5
- All workspaces changed their index but _NET_CURRENT_DESKTOP was not
updated
2019-05-03 16:19:11 +03:00
..
2018-10-13 21:04:40 +03:00
2018-03-30 21:05:32 +02:00
2016-10-23 21:09:24 +02:00
2018-03-23 14:30:57 +02:00
2018-09-25 15:04:55 +03:00
2017-05-02 09:08:42 +02:00
2016-10-23 21:09:24 +02:00
2016-10-23 21:09:24 +02:00
2018-10-13 21:10:10 +03:00
2018-10-13 21:10:10 +03:00
2018-12-09 08:04:41 +07:00
2018-10-12 19:58:48 +03:00
2018-10-13 21:10:10 +03:00
2019-03-29 12:30:04 +02:00
2018-12-01 11:52:41 +07:00
2016-10-23 21:09:24 +02:00
2019-05-03 16:19:11 +03:00
2016-10-23 21:09:24 +02:00
2018-11-12 18:45:00 +02:00
2018-12-01 11:52:41 +07:00
2018-12-01 11:52:41 +07:00
2019-01-12 13:13:03 +01:00
2016-10-23 21:09:24 +02:00
2018-10-13 21:10:10 +03:00
2017-09-13 17:41:05 +02:00
2016-10-23 21:09:24 +02:00
2016-10-23 21:09:24 +02:00
2016-10-23 21:09:24 +02:00
2018-10-13 21:10:10 +03:00
2018-03-30 18:20:40 +03:00
2018-10-11 12:27:56 +03:00
2016-11-08 13:46:43 -08:00
2018-11-10 21:56:34 +01:00
2016-10-23 21:09:24 +02:00
2018-11-12 19:05:50 +02:00
2018-11-08 23:15:23 +01:00
2016-10-23 21:09:24 +02:00
2018-04-20 22:30:41 +08:00
2017-09-24 10:19:07 +02:00
2018-10-13 21:10:10 +03:00
2017-01-10 20:13:25 +01:00
2018-10-13 21:10:11 +03:00
2018-03-30 21:05:32 +02:00
2018-12-14 23:46:21 +02:00
2018-10-13 21:10:10 +03:00
2018-11-12 18:45:00 +02:00
2019-03-22 03:10:00 +02:00
2018-12-01 11:52:41 +07:00
2018-03-10 19:18:44 +01:00
2016-10-23 21:09:24 +02:00
2016-10-23 21:09:24 +02:00
2016-10-23 21:09:24 +02:00