On Sun, May 23, 2010 at 4:10 PM, Stefan Monnier wrote: >> Why not distinguish between those cases? Maybe a new value for >> resize-mini-windows. > > Ah, you mean a setting that allows resizing minibuffers but not the > echo area.  Yes, that seems reasonable (tho it may bump into some > surprising cases where the user may think he's interacting with > a minibuffer whereas she's really looking at the echo area). > > I'd first want to see a patch for it, Thanks. I looked for read_filtered_event too in the sources. I have attached a patch.