[previous] [up] [next]     [contents] [index]
Next: TIME-FACTOR Up: mred:console-edit Previous: MAX-CACHE-TIME

MIN-CACHE-TIME

The minimum that the cachetimeout reaches for displayed text.



PLT