diff options
| author | raveit65 <[email protected]> | 2021-04-10 16:37:40 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2021-06-07 20:09:03 +0200 |
| commit | 3ed0ddb242a4804cd7fcfcfcf39a47766eaa816d (patch) | |
| tree | b11f566e6c4f90db6a1868c834c6d84ca5dd15a7 /po/[email protected] | |
| parent | 4e4fd6c512423b16640914b33192a32f290b0ef1 (diff) | |
| download | marco-3ed0ddb242a4804cd7fcfcfcf39a47766eaa816d.tar.bz2 marco-3ed0ddb242a4804cd7fcfcfcf39a47766eaa816d.tar.xz | |
window: add support for _GNOME_WM_STRUT_AREA
In addition to existing properties use also new _GNOME_WM_STRUT_AREA
property that allows creating struts between monitors.
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/922de13
Diffstat (limited to 'po/[email protected]')
0 files changed, 0 insertions, 0 deletions