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

Colomban Wendling notifications at xxxxx
Thu Feb 18 23:54:19 UTC 2016


> I think I prefer push_in = FALSE, which I did in the last patch and which, while not ideal, looks this way:

Well, it's bad that `push_in=TRUE` doesn't scroll right away (or maybe not, so the most likely element is close to the mouse), but at least the menu sizing is decent.  with FALSE, try and place the popup location close enough to the bottom and you'll see it's so small you actually can't see the items.
Also, with `push_in=TRUE`, the initial state is not great, but you can scroll it and it gets it right then.

---
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/406#issuecomment-185984555
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160218/7360d04c/attachment.html>


More information about the Github-comments mailing list