[Github-comments] [geany] If more tags are found during tag definition/declaration goto, let user select which one to use (#406)

[Colomban Wendling]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160218/aaf0e605/attachment.html>