Как включить отмену в редакторе Eclipse Ant?
Отмена не работает для меня в редакторе муравьев в затмении. Когда я нажимаю Ctrl-Z, ничего не происходит.
Можно ли как-то разрешить отмену или это ошибка?
Я использую Eclipse 3.4.2 (Ganymede) в Windows XP Professional.
3 ответа
Да, отмена должна отлично работать в редакторе муравьев.
За Ctrl-Z
не работать может означать:
- ярлык был назначен другому действию (
Windows > Preferences > General > Keys
) - размер буфера отмены как-то равен '0' (
Windows > Preferences > General > Editors > Text Editor
) - плагин как-то "ворует" ключевое событие для себя
Попробуйте новую установку и проверьте, установлена ли последняя версия Galileo (3.5RC2), чтобы убедиться, что проблема сохраняется.
Примечание: zvikico упоминает о существовании известной ошибки с редактором муравьев в 3.4.2.
После быстрого поиска следующие ошибки могут объяснить вашу ситуацию:
- 267780 [редактор муравьев] удалить строку нельзя, после перемещения курсора
- 247434 Не удалось отменить удаление строки в редакторе Ant, только в Eclipse IDE для разработчиков на Java, в Eclipse Classic такое поведение отсутствует.
и наконец:
- 239115 Функциональность отмены больше не работает в редакторе муравьев, главным образом потому, что проблема с WTP решена только в 3.5
Я вижу, что этот пост очень старый, но я добавляю ответ для людей, которые находят это через поисковые системы.
Ctrl-Z перестал работать в eclipse для меня, когда я внес небольшое изменение в одну часть своего кода, что, в свою очередь, вызвало неожиданный бесконечный цикл в другой части моего кода.
- Я использовал диспетчер задач Windows, чтобы убить приложение, которое я тестировал, когда Ctrl-Z перестал работать, а затем я использовал
system.out.println()
идентифицировать часть кода, где запускается бесконечный цикл. - Затем я отключил этот раздел кода, что, в свою очередь, заставило Ctrl-Z и все остальное снова начать работать.
- Я смог закончить отладку оттуда.
Если CTRL-Z (отменить) больше не работает, вы можете попробовать это. Это сработало для меня: перейдите в "Настройки" -> "Основные" -> "Ключи" и нажмите кнопку "Применить" или кнопку "Восстановить настройки по умолчанию".