Я использую Eclipse 3.7 на Ubuntu. Часто после редактирования файла я не могу его сохранить - опция "сохранить" выделена в меню, а Ctrl + s ничего не делает, даже если файл только что был изменен, и редактор отображает звездочку перед именем файла в заголовке вкладки.
Изменение активной вкладки в другой файл, а затем возврат к первому файлу "разблокирует" параметр сохранения, который затем я могу выбрать.
Что вызывает это поведение и как его исправить?