Editar XML

Para editar un fichero XML, primero tenemos que tener un fichero XML abierto en la vista Estadísticas. Después, tenemos varias formas para lanzar el editor: A continuación, se nos abrirá el fichero XML en un editor externo. Éste editor externo lo puedes elegir en las preferencias ( Configurar las Preferencias y Opciones de GUIgprof ).