[eclipse-sig] [Bug 1255108] Eclipse (GTK) on KDE/nouveau: Editor window not correctly refreshed when scrolling