bug#1291: 23.0.60; 1) resize-mini-windows: customizable, 2) if grow mini, grow Completions

[Chong Yidong]

martin rudalics <rudalics@gmx.at> writes:

>> We might be able to revisit this after the release.  The current
>> (tentative) plan is to introduce some kind of "window grouping" feature,
>> which will be needed for CEDET/ECB.  It's possible that window groups
>> can also be used to handle situations like this.
>
> Meanwhile I checked in a fix to recompute `window-end' in
> `Electric-pop-up-window'.
>
> I suppose that was your intention in the first place?

Thank you.