On 2016-07-15 17:20, martin rudalics wrote:
> I have so called "mini frames" working here.  If anyone's interested I
> can post the patch (obviously to be applied before Dimitry's changes).

Yes yes yes! :)
company-mode would benefit tremendously from such a thing.