Abrir sesión de GUIgprof

Para abrir una sesión anteriormente guardada, puedes hacerlo de dos formas:

Una vez hecho esto saldrá un diálogo de apertura

donde se podrá elegir el archivo concreto que contiene la información de una sesión anteriormente guardada. Después de elegirla, se abrirá un diálogo

que te dará a elegir entre tres opciones: que se cierren todas las pestañas actualmente abiertas y se abran las de la sesión elegida; que se mantengan abiertas las actuales y se añadan las de la sesión elegida; y por último, guardar las actuales en una sesión, cerrarlas y dejar abiertas las de la sesión elegida.

\subsubsection{Sesión} subsubsec_sesion.html \subparagraph{Las sesiones son unos archivos guardados con extensión .session, que tienen información del estado del programa. Es decir, todos las pestañas que estuvieran abiertas y los datos en ellas en el momento de haber guardado la sesión. El archivo se guarda en formato XML para que pueda ser fácilmente leído y modificado (sólo en caso de saber lo que se hace).}