Save a file as


The name of a file can be edited by clicking the icon on the task bar which is illustrated below. The same result can be obtained by pressing F12.