[eclipse-sig] [Bug 1212149] New: Eclipse UI do not play well with new GTK scroll