[Observe-commits] 04/05: fixes #7469 rechargement des éléments ouverts de l'arbre à l'ouverture de l'appli