[Observe-commits] 01/05: Petites mises au point sur le widget positions(fixes #8964)