[eclipse-sig] [Bug 1197661] eclipse's editor smudges on scrolling