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.