ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-12 05:23:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sandbox: fix position scaling in affinity filter

Browse Source 
During position scaling use the location width/height which is the permitted
dimension within the child space, instead of using the whole possible
child space. (Fixup for "init: scale affinity location" Issue #1412)

Thanks to the report by Peter.
This commit is contained in:
Alexander Boettcher 2020-12-14 08:57:49 +01:00 committed by Christian Helmuth
parent 1bef11accf
commit 0359ee6a76
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/os/src/lib/sandbox/child.cc
View File

@ -665,8 +665,8 @@ Genode::Affinity Sandbox::Child::filter_session_affinity(Affinity const &session
/* subordinate session affinity to child affinity subspace */
Affinity::Location location(child_session
.multiply_position(session_space)
.transpose(session_location.xpos() * child_space.width(),
session_location.ypos() * child_space.height()));
.transpose(session_location.xpos() * child_location.width(),
session_location.ypos() * child_location.height()));
return Affinity(space, location);
}