Abrir sesión de GUIgprof
Para abrir una sesión anteriormente guardada, puedes hacerlo de dos formas:
-
- Haciendo clic primero en el Menú Archivo, luego en Abrir
.
- Utilizando la tecla F2.
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).}