%verbatim-size-factor%
PrevNext

Name

%verbatim-size-factor% — Verbatim font scaling factor

Synopsis

%verbatim-size-factor%

Description

When a monospace font is selected, the current font size is multiplied by the %verbatim-size-factor%. If %verbatim-size-factor% is #f, no scaling is performed (Well, thats not precisely true. In $verbatim-display$environments, the font size is calculated with respect to the longest line in the display, if %verbatim-size-factor% is #f').

Source Code

(define %verbatim-size-factor% 
  ;; Verbatim font scaling factor
  0.9)

PrevHomeNext
%verbatim-default-width%Up%visual-acuity%
 
 

Copyright © 1997, 1998 Norman Walsh