ui/layout: round, not truncate, flex sizes in Flex.Flexible

Without proper rounding, a pixel could be left uncovered at the end
of the flex layout.

Signed-off-by: Elias Naur <mail@eliasnaur.com>
This commit is contained in:
Elias Naur
2019-07-15 21:43:53 +02:00
parent f32b5fef43
commit eb9c2896cd
+1 -1
View File
@@ -94,7 +94,7 @@ func (f *Flex) Flexible(weight float32) Constraints {
if mainc.Max != ui.Inf && mainc.Max > f.size {
maxSize := mainc.Max - f.size
flexSize = mainc.Max - f.rigidSize
flexSize = int(float32(flexSize) * weight)
flexSize = int(float32(flexSize)*weight + .5)
if flexSize > maxSize {
flexSize = maxSize
}