You are correct, it works. Missed the \setnormaldispenv in \envdef\verbatim.
> Sent: Saturday, October 24, 2020 at 3:31 PM > From: "Gavin Smith" <gavinsmith0...@gmail.com> > To: "Christopher Dimech" <dim...@gmx.com> > Cc: "help-texinfo gnu" <help-texinfo@gnu.org> > Subject: Re: @smallverbatim > > On Sat, Oct 24, 2020 at 03:16:44PM +0200, Christopher Dimech wrote: > > Have tried '@set dispenvsize small' for @quotation, @example, @display, > > @format. > > > > However, @verbatim is still using a large font. > > > > Did you update to the most recent texinfo.tex? Looks ok to me. > > \input texinfo > > normal > @set dispenvsize small > > @verbatim > aaaaa aaaaaaaaaaaaa > bbbbbb ddddd > ffff fffffffff ffffff > llm dsalk alke > @end verbatim > > normal > > @example > aaaaa aaaaaaaaaaaaa > bbbbbb ddddd > ffff fffffffff ffffff > llm dsalk alke > @end example > > @bye > >