I added a few minor changes, including a small behavioral one: the goto popup is again positioned at the mouse if triggered with it, which makes it slightly better for that use case.

Looks good (and works too from what I've tried) - though the previous version was just fine too. Apparently I'm not such a popup gourmet :-)

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.