You are correct, it works. Missed the \setnormaldispenv in \envdef\verbatim.
> Sent: Saturday, October 24, 2020 at 3:31 PM > From: "Gavin Smith" <[email protected]> > To: "Christopher Dimech" <[email protected]> > Cc: "help-texinfo gnu" <[email protected]> > 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 > >
