У меня проблемы с перерисовкой / обновлением в Eclipse IDE 2018 (под Linux Mint 18.3).
Действительно, подобные вещи случаются постоянно: 
и мне нужно прокрутить или сохранить, чтобы получить правильное отображение: 
До этого затмение было очень медленным / медленным.Мне пришлось переключиться с GTK3 на GTK2.Но эта ошибка остается (все еще используемой, но раздражающей).
В моем eclipse.ini
--launcher.GTK_version
2
и в моей конфигурации затмения:
org.eclipse.swt.internal.gdk.backend=x11
org.eclipse.swt.internal.gtk.theme=Mint-X
org.eclipse.swt.internal.gtk.version=2.24.30
org.eclipse.swt.internal.webkitgtk.version=2.4.11
Есть идеи?Спасибо