Subject: RE: [External] : bug#51062: Customizable window resizing

From: Drew Adams <[email-masked]>
Date: Fri, 31 Dec 2021 15:55:13 +0000

> "shrink-buffer-if-larger-than-buffer"?  Maybe this should
> become 'shrink-buffer-window-if-larger-than-buffer' then.

That was what I asked also:

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=51062#48

(Similar question for `vc-shrink-buffer'.)