Hide properties and use a popup editor on mouse hover

No, my request is for a slightly different thing. In any case this other feature request has not been implemented.