59. tip10

Do you know that: You can convert the end-of-file type of a file upon saving it to disk. Prior saving the file select the desired type from the menu at "Options|Edit options|File saving mode (end-of-line)", this setting will remain until you end the current editor session.

For details:

See section 8. Save File.