$pause-time - Length of time to pause for user
$pause-time milliseconds; Default is 2000
0 <= milliseconds <= t
Defines the number of milliseconds to pause, allowing the user to see some information. The pause time is used predominantly by the fence match operation, determining the time that the opening fence is displayed, see fence(2m) mode.
The $pause-time is also used during the printing of some error messages on the message-line. These errors are typically important ones that should not be ignored so the system pauses to ensure the user has enough time to read them.
The variable name was changed from $fmatchdelay in December 2004.
Copyright (c) 1998-2006 JASSPA
Last Modified: 2005/01/01
Generated On: 2006/10/07