This operation allows you to save the file in memory directly to disk, but with a different file name than the current one.
To activate this operation first activate the window concerned, then select from the menu the File/Save as... command.
Once the operation is activated, a prompt window will be displayed in which the new full name of the file to be saved must be specified: the one contained in the current file name is proposed as the current folder. Then press Save (or hotkey Enter) to confirm and save with the new name, or press Cancel (or hotkey Esc) to cancel the operation.
In case the file already exists on disk, a warning message will be displayed: then press the Yes button (or hotkey S) to confirm the replacement of the existing file, or press the No button (or hotkey N) to cancel the current operation.
When you have finished saving successfully, the editor's current file name becomes the new one specified.
NOTE: These are general instructions that apply to most editors. However, some may behave differently or have different commands/options, so refer to the relevant documentation for further or exact information.
Annotations
You cannot use a file name for saving that is already in use in the workspace (by some other editor or other type of tool).
For some types of editors, undo/redo operations, if supported, may no longer be available after a successful save: see the documentation for the specific tool for more information.
The editor reports messages only in case of problems during the save phase, so it does not report any notification if the operation went smoothly. You can get confirmation that the save was successful when the edit label/icon, if any, on the editor status bar is no longer visible.
Graphical settings of the editor (e.g., current element, position of bookmarks, etc.) are not saved in the file itself, but are normally saved within the workspace that contains them.
The file type is implied by the operation and cannot be changed.