$tabwidth - Tab character interval
$tabwidth integer; Default is 8
-0 < integer <= n
$tabwidth defines the interval of a tab character.
The tab interval is set to the given numeric argument. As always, the numeric argument precedes the command. Hence to get tabs every 4 spaces you would set the $tabwidth to 4.
(c) Copyright JASSPA 1999
Last Modified: 1998/07/28
Generated On: 1999/12/01