Footnotes: 
[1]  https://developer.gnome.org/gdk3/stable/GdkScreen.html#gdk-screen-get-monitor-workarea