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:
-
- Seleccionamos la opción Editar XML, del Menú Estadísticas
.
- Presionamos la combinación de teclas Control + I
%
- Cuando la Barra de Herramientas dinámica de Edición
esté
%a la vista, también funcionará la tecla aceleradora (Alt + D).
- Hacemos clic en el Botón de Editar XML - el lápiz
- en la barra de herramientas dinámica de la vista Estadísticas.
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 ).