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 /src/core/workspace.c | |
| 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 'src/core/workspace.c')
| -rw-r--r-- | src/core/workspace.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/core/workspace.c b/src/core/workspace.c index 620184f9..ce6080ba 100644 --- a/src/core/workspace.c +++ b/src/core/workspace.c @@ -635,12 +635,14 @@ ensure_work_areas_validated (MetaWorkspace *workspace) workspace->xinerama_region[i] = meta_rectangle_get_minimal_spanning_set_for_region ( &workspace->screen->xinerama_infos[i].rect, - workspace->all_struts); + workspace->all_struts, + FALSE); } workspace->screen_region = meta_rectangle_get_minimal_spanning_set_for_region ( &workspace->screen->rect, - workspace->all_struts); + workspace->all_struts, + TRUE); /* STEP 3: Get the work areas (region-to-maximize-to) for the screen and * xineramas. |