diff options
author | Oriol Brufau <obrufau@igalia.com> | 2023-07-31 23:07:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-31 21:07:24 +0000 |
commit | 9e4377af47b32b00f57aaa7e4c58182b571bde35 (patch) | |
tree | bf64eca52ddae035f5b871265bd09fe7258f61b4 /python/servo/build_commands.py | |
parent | 00241e84bc896d53b9bdbc4916cd738a16f23679 (diff) | |
download | servo-9e4377af47b32b00f57aaa7e4c58182b571bde35.tar.gz servo-9e4377af47b32b00f57aaa7e4c58182b571bde35.zip |
Fix interaction of margins and clearance for PlacementAmongFloats (#30038)
Consumers of PlacementAmongFloats weren't handling margins properly.
They were assuming that they would either get a positive adjustment,
or zero for no-op.
However, just like the regular clearance triggered by 'clear', the
clearance added onto blocks that establish an independent FC can be
zero or negative, and the effect is different than having no clearance.
Diffstat (limited to 'python/servo/build_commands.py')
0 files changed, 0 insertions, 0 deletions