" BGCOLOR="#FFFFFF" TEXT="#000000" LINK="#008000" VLINK="004000" ALINK="#00C000">
New name
To rename a file move the selection bar onto the desired file and
proceed like follows:
1) Select the "New name" item in the "File" menu.
2) Press the keys [Ctrl-F3].
3) Press and hold the key [Ctrl], move the mouse cursor to the line
"F3 New Name" in the prompt panel and press the mouse left button.
Type in a new file name in the panel that appears on the screen
and hit [Enter]. When specifying the file name you may use the menu for
editing lines in panels.