SNIP from comment #31
We'll probably want to tweak the timeout (currently set to 45
seconds)
END SNIP
Is it possible that any future patches that incorporate a discard timer also allow the time to be set by the user in about:config? Then the time can be a general number that should be good for most circumstances, but allow tweaking by users for a particular need.
SNIP from comment #31
We'll probably want to tweak the timeout (currently set to 45
seconds)
END SNIP
Is it possible that any future patches that incorporate a discard timer also allow the time to be set by the user in about:config? Then the time can be a general number that should be good for most circumstances, but allow tweaking by users for a particular need.
Thanks,
Jim