Обычно, если я хочу обновить проект (или папку, рабочий набор,...) в eclipse, я просто выбираю проект и нажимаю F5. Иногда, однако, ничего не происходит после удара F5. Когда я затем щелкните правой кнопкой мыши проект, я вижу в контекстном меню опцию Refresh
, а не Refresh... (F5)
.
Итак, по какой-то причине текущее состояние или такой проект не позволяет F5 обновляться. У меня есть эта проблема сейчас в Indigo, но это уже было, по крайней мере, в двух предыдущих версиях eclipse.
Является ли это ошибкой или существует (действительная) причина, по которой F5 иногда недоступна?