[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @smallverbatim
From: |
Gavin Smith |
Subject: |
Re: @smallverbatim |
Date: |
Sat, 24 Oct 2020 11:41:47 +0100 |
User-agent: |
Mutt/1.9.4 (2018-02-28) |
On Fri, Oct 23, 2020 at 02:37:01PM +0200, Christopher Dimech wrote:
> Have been playing with @quotation, @example, @display, @format, @verbatim
> and their small versions and found them all useful, particularly the small
> versions.
>
> However, a small version of @verbatim is not present. It would help to also
> have @smallverbatim.
It could be done (although somebody would have to do the work for it). In
my opinion, however, the @small... variants should never have been invented,
and consistency is not a great argument for adding more commands.
My preferred solution would be to use @small... variants unconditionally
for certain page sizes.
I know it is not very flexible, but texinfo.tex has never been very
flexible.
For example, for B6:
diff --git a/doc/texinfo.tex b/doc/texinfo.tex
index 6c5754f3d..fb9b69d58 100644
--- a/doc/texinfo.tex
+++ b/doc/texinfo.tex
@@ -7663,13 +7663,13 @@ might help (with 'rm \jobname.?? \jobname.??s')%
% without the active space; thus we have to use \xdef and \gobble.
% The \egroup ends the \verbbox started at the end of the last line in
% the block.
\endgroup
%
\envdef\verbatim{%
- \setupverbatim\doverbatim
+ \setnormaldispenv\setupverbatim\doverbatim
}
\let\Everbatim = \afterenvbreak
% @verbatiminclude FILE - insert text of file in verbatim environment.
%
@@ -11489,12 +11489,13 @@ directory should work if nowhere else does.}
\def\bsixpaper{{\globaldefs = 1
\afourpaper
\internalpagesizes{140mm}{100mm}%
{-6.35mm}{-12.7mm}%
{\bindingoffset}{14pt}%
{176mm}{125mm}%
+ \let\SETdispenvsize=\smallword
\globaldefs = 0
}}
% @pagesizes TEXTHEIGHT[,TEXTWIDTH]
- @smallverbatim, Christopher Dimech, 2020/10/23
- Re: @smallverbatim,
Gavin Smith <=
- Re: @smallverbatim, Christopher Dimech, 2020/10/24
- Re: @smallverbatim, Gavin Smith, 2020/10/24
- Re: @smallverbatim, Christopher Dimech, 2020/10/24
- Re: @smallverbatim, Gavin Smith, 2020/10/24
- Re: @smallverbatim, Christopher Dimech, 2020/10/24
- Re: @smallverbatim, Gavin Smith, 2020/10/24
- Re: @smallverbatim, Christopher Dimech, 2020/10/24
- Re: @smallverbatim, Christopher Dimech, 2020/10/24
- Re: @smallverbatim, Christopher Dimech, 2020/10/24
- Re: @smallverbatim, Gavin Smith, 2020/10/24