<p>Hum, actually on GTK 3.18 <code>push_in=FALSE</code> 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.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br>Reply to this email directly or <a href="https://github.com/geany/geany/pull/406#issuecomment-185985795">view it on GitHub</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ7ZBjlFEGi0bAUw5MZuXNwn2DVFjks5pllK1gaJpZM4DUzez.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/geany/geany/pull/406#issuecomment-185985795"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>