next up previous contents
Next: 7.2.4 Análisis de un Up: 7.2 Uso general de Previous: 7.2.2 El editor de

7.2.3 Grabación de un fichero

Cuando se ha terminado de editar un fichero,o en cualquier otro momento que se considere oportuno, se puede guardar en disco. Para ello se debe seleccionar la opción save del menú file o bien presionar el botón save con el botón izquierdo del ratón.

Al seleccionar la opción de salvar, si no se le ha dado nombre al fichero, aparecerá una ventana de diálogo en la que se introducirá dicho nombre.

Una vez que se ha dado nombre a un fichero, para cambiarlo se puede utilizar la línea situada sobre el editor, o bien seleccionar la opción save as del menú file, tras lo cual aparecerá en pantalla una ventana de diálogo similar a la que aparece cuando se procede a cargar un fichero en ICEeditor. En esta ventana se nos ofrece el nombre que aparece en la parte superior del editor como opción por defecto para nombrar al fichero. Si se desea se puede cambiar dicho nombre, así como seleccionar el directorio en el cual se desea que sea guardado el fichero.



Miguel A. Alonso Pardo
Thu Nov 20 16:47:01 CET 1997