sandbox: adjust location size scaling
by incorporating session location Issue #1412
This commit is contained in:
parent
3a9d450106
commit
d96e14fe16
|
@ -678,9 +678,12 @@ Genode::Affinity Sandbox::Child::filter_session_affinity(Affinity const &session
|
||||||
|
|
||||||
/* scale resolution of resulting space */
|
/* scale resolution of resulting space */
|
||||||
Affinity::Space space(child_space.multiply(session_space));
|
Affinity::Space space(child_space.multiply(session_space));
|
||||||
|
Affinity::Location child_session(child_location.xpos(), child_location.ypos(),
|
||||||
|
child_location.width() * session_location.width(),
|
||||||
|
child_location.height() * session_location.height());
|
||||||
|
|
||||||
/* subordinate session affinity to child affinity subspace */
|
/* subordinate session affinity to child affinity subspace */
|
||||||
Affinity::Location location(child_location
|
Affinity::Location location(child_session
|
||||||
.multiply_position(session_space)
|
.multiply_position(session_space)
|
||||||
.transpose(session_location.xpos() * child_space.width(),
|
.transpose(session_location.xpos() * child_space.width(),
|
||||||
session_location.ypos() * child_space.height()));
|
session_location.ypos() * child_space.height()));
|
||||||
|
|
Loading…
Reference in New Issue