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