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

[martin rudalics]

> 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?

martin