Cambiar nombre al fichero XML

El nombre de la pestaña de traducción es el nombre que tendrá el fichero XML una vez traducida la salida de gprof por el traductor. Para cambiar el nombre del futuro fichero XML, tenemos varias maneras de hacerlo:

).} A continuación, saldrá un diálogo

para poner el nuevo nombre. Escribimos el nuevo nombre que deseamos y le damos a Aceptar. Recuerda que esta acción no cambiará el nombre de un fichero XML ya traducido, sino que dará el nombre del siguiente fichero XML que traduzcamos. Una vez realizado el cambio de nombre, la pestaña también reflejará el nuevo nombre que hayamos elegido.