Для записи файла с новым именем надо в строке меню выбрать File. Затем в выпадающем меню выбрать Save Workspace As (File => Save Workspace As).В появившемся окне Save As,встроке File name ввести новое имя файла и щелкнуть клавишу Save. Созданный и записанный с новым именем файл будет находится в списке файлов .
Для записи файла со старым именем (сохранить изменения) надо в строке меню выбрать Fileзатем в выпадающем меню выбрать Save Workspace(File => Save Workspace).
Или используя из меню пиктограмм следующие