In light of 0.11 nixing the tooltip, is anybody working on extracting that? I’m getting to work on it now, but I don’t want to duplicate effort.
Not yet working on that but we will surely will (in november I guess) as we depend ont it. We will walk on your path then if you share on github.
In the near future I’m going to nix tooltips and focus on the menu bar. Until I have time revisit the tooltip UX, it won’t be my focus.