Linux下Eclipse IDE 2018的刷新/重画问题

Question

我的Eclipse IDE 2018（在Linux Mint 18.3下）具有重绘/刷新问题。

确实，这样的事情总是发生：

，我必须滚动或保存才能获得正确的显示：

在此之前，日食非常缓慢/缓慢。我不得不从GTK3切换到GTK2。但是此错误仍然存​​在（仍然可用，但很烦人）。

在我的eclipse.ini中

--launcher.GTK_version
2

并在我的eclipse配置中：

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

有什么主意吗？ 谢谢