[previous] [up] [next]     [contents] [index]
Next: autoprompting? Up: mred:console-edit Previous: MIN-CACHE-TIME

TIME-FACTOR

The next cache timeout for displayed text is computed using with the produce of this instance variable and the amount of time flushing the last cache took.



PLT