[eclipse-sig] [Bug 1333519] New: Some GTK3 themes make gray blocks appear on text editor hiding text