Hum, actually on GTK 3.18 `push_in=FALSE` is slightly better for our case, because it pushes the menu (yes, it does), but just moving it instead of scrolling it, so the whole menu is visible.
--- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/406#issuecomment-185985795