Артефакты в окне редактора: неправильная конфигурация Eclipse или ошибка? - PullRequest
0 голосов
/ 12 ноября 2018

Я использую Eclipse (Eclipse Java EE IDE для веб-разработчиков. Версия: 2018-09 (4.9.0) Идентификатор сборки: 20180917-1800 ОС: Linux, v.4.9.0-8-amd64, x86_64 / gtk 2.24 0,31 Версия Java: 1.8.0_181) под Debian Linux.

У меня две проблемы, и я не знаю, связаны ли они, вызваны ли они какой-то неправильной конфигурацией на моей стороне, или это ошибки. Последние несколько дней я искал в разных поисковых системах, но не нашел нужной информации.

Первая проблема возникает, когда я запускаю Eclipse из командной строки. Я получаю следующие ошибки:

[org.eclipse.text] error can't determine implemented interfaces of missing type org.eclipse.jdt.internal.core.manipulation.JavaElementLabelComposerCore [Xlint:cantFindType]
[org.eclipse.jdt.core] error can't determine implemented interfaces of missing type org.eclipse.jdt.internal.core.manipulation.JavaElementLabelComposerCore [Xlint:cantFindType]
[org.scala-ide.sdt.aspects] error can't determine implemented interfaces of missing type org.eclipse.jdt.internal.core.manipulation.JavaElementLabelComposerCore [Xlint:cantFindType]

Вторая проблема возникает в редакторе очень часто. Вот пример снимка экрана, сделанного непосредственно перед тем, как возникнет проблема: Editor is still OK Теперь я поместил курсор после конца строки

System.out.println("Hello, world!");

и нажмите ввод. В результате одна или несколько линий под курсором исчезают, и в области редактора появляются артефакты (например, частичные копии боковой панели), как показано на следующем рисунке: Editor is broken

Обратите внимание, что недостающие строки все еще там. Редактор очищается, если я заставляю перерисовку, например сохраняя файл с помощью CTRL-S.

Мои вопросы:

  • Может ли проблема в редакторе быть связана с некоторой неверной конфигурацией?
  • Связана ли неверная конфигурация (или отсутствующая библиотека) с ошибками, которые появляются при запуске?
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...