Seb, this updated gtk+2 patch looks fine... it fixes the 1px menubar thingy, and should be faster too (since the rendering of the menubar will be skipped by gtk being external to the gtk window allocation)
Seb, this updated gtk+2 patch looks fine... it fixes the 1px menubar thingy, and should be faster too (since the rendering of the menubar will be skipped by gtk being external to the gtk window allocation)