x11: add support for _GTK_WORKAREAS_Dn
authorAlberts Muktupāvels <alberts.muktupavels@gmail.com>
Sun, 12 Jan 2020 22:38:12 +0000 (00:38 +0200)
committerAlberts Muktupāvels <alberts.muktupavels@gmail.com>
Wed, 29 Jan 2020 12:38:08 +0000 (14:38 +0200)
commit248883089c6a9ac221532a8a85a5511f0bc9af77
tree6161679dd6f702d43b98bc34d8bc32c0ff41cd5f
parentaabb250741002b1a40fef730fc12d182eceaaf95
x11: add support for _GTK_WORKAREAS_Dn

If window manager supports _GTK_WORKAREAS use per-monitor work areas.

https://mail.gnome.org/archives/wm-spec-list/2018-December/msg00000.html
https://gitlab.freedesktop.org/xdg/xdg-specs/merge_requests/22

https://gitlab.gnome.org/GNOME/gtk/merge_requests/1300
gdk/x11/gdkmonitor-x11.c
gdk/x11/gdkscreen-x11.c
gdk/x11/gdkscreen-x11.h