Reloading a page
Documents can be reloaded by:
Choosing
Reload
from the
File
menu.
Using the shortcut
Alt-r
in Unix and
Control-r
in Windows.
Clicking the
Reload
button on the button bar.