Jonas Dreßler 96bfd1f8be workspace: Adjust for close button side in chromeWidth
When the close button is shown on the left side of the WindowClone, we
also need to return its width in chromeWidth() on the left side instead
of the right side, so do that.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1298
2020-06-11 20:50:08 +02:00
..
2020-06-03 12:55:53 -03:00
2020-05-20 15:12:03 +02:00
2020-04-06 11:24:30 -03:00
2020-05-20 15:12:03 +02:00
2020-05-20 15:12:03 +02:00
2020-06-06 01:04:09 +02:00
2020-06-03 12:55:53 -03:00
2020-06-09 16:14:30 -03:00
2020-05-20 15:12:03 +02:00
2020-05-20 15:12:03 +02:00
2020-05-20 15:12:03 +02:00
2020-05-20 15:12:03 +02:00
2020-03-31 05:43:40 +00:00
2020-03-27 10:39:58 +01:00
2020-06-03 12:55:53 -03:00
2020-05-20 15:12:03 +02:00
2020-05-20 15:12:03 +02:00