[Observe-commits] 04/04: Encore le widget positions (Fixes #8588)