| "Auto F5 reload window" options | |
| Default timeout | * |
| Timeout for this page | * |
| Add random value to timeout between 0 and | * |
| Show and hide menu | |
| Ignore everything after these symbols in URL(separate with spaces) | |
| Include the separators in the URL saved | |
| Hide menu when clicking outside the menu | |
| Prolong timeout on mouseclicks or keyboard input | |
| Reload all pages with default timeout, which has no timeout set | |
*Format examples: hh:mm:ss, h:m:ss, m:sss, s etc. like 1:20:30 oder 500 oder 3:100 |
|
