Florian Müllner a7350475e8 workspace: Extend builtin struts to screen edge when possible
Struts are defined in terms of screen edges, so expand the rectangles
we get via set_builtin_struts() accordingly. However we do want to
allow chrome on edges between monitors, in which case the expansion
would render an entire monitor unusable - don't expand the rectangles
in that case, which means we will only use them for constraining
windows but ignore them for the client-visible _NET_WORKAREA property.

https://bugzilla.gnome.org/show_bug.cgi?id=730527
2014-06-12 15:28:46 +02:00
2014-03-18 20:37:35 -04:00
2014-03-18 20:37:35 -04:00
2014-06-11 09:24:59 -04:00
2014-05-27 21:18:25 +02:00
Description
94 MiB
Languages
C 98.9%
Meson 0.7%
Python 0.3%