Bonjour,
Pour modifier la longueur d'un mur, cliquez sur le mur concerné pour faire apparaître ses cotations. La longueur sera encadrée en vert. Ensuite, dans le menu de gauche, vous pourrez saisir manuellement la nouvelle longueur du mur et indiquer quelle extrémité du mur doit se déplacer.
Pour plus de détails, vous pouvez consulter la SOURCE.