Re: @smallverbatim

[Christopher Dimech]

You are correct, it works.  Missed the \setnormaldispenv
in \envdef\verbatim.


> Sent: Saturday, October 24, 2020 at 3:31 PM
> From: "Gavin Smith" <gavinsmith0123@gmail.com>
> To: "Christopher Dimech" <dimech@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
>
>