Sauvegarder position
Cette option permet de sauvegarder ou non la position des différentes fenêtres ouvertes dans le Gestionnaire de documentation, au moment de la fermeture de ce dernier.
Si l'option est cochée dans le menu, le Gestionnaire de documentation sera réouvert dans l'état (position des fenêtres) où il se trouvait au moment de la dernière fermeture.
Si l'option est décochée, la position des fenêtres n'est pas sauvegardée.