Editor de vigas: Editar secção

No editor de vigas, foi adicionada a opção “Editar secção”, que permite modificar as dimensões das secções das diferentes secções do pórtico sem ter de sair do painel de edição.