diff options
author | raveit65 <[email protected]> | 2021-04-10 14:21:30 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2021-06-07 20:09:03 +0200 |
commit | 4e4fd6c512423b16640914b33192a32f290b0ef1 (patch) | |
tree | fc0543f1a06f75523e281bdd535677c2f4103543 /src/core/place.h | |
parent | 4ec1bb6d8f3f7079d52a71c40028b9ee93a00311 (diff) | |
download | marco-4e4fd6c512423b16640914b33192a32f290b0ef1.tar.bz2 marco-4e4fd6c512423b16640914b33192a32f290b0ef1.tar.xz |
screen: add support for _GTK_WORKAREAS_Dn
In addition to existing _NET_WORKAREA property set also new
_GTK_WORKAREAS_Dn property where n is desktop number (between 0
and _NET_NUMBER_OF_DESKTOPS - 1).
https://mail.gnome.org/archives/wm-spec-list/2018-December/msg00000.html
https://gitlab.freedesktop.org/xdg/xdg-specs/merge_requests/22
origin commit:
https://gitlab.gnome.org/GNOME/metacity/-/commit/3d8b03d
Diffstat (limited to 'src/core/place.h')
0 files changed, 0 insertions, 0 deletions