Expand File Name Editor Command
Arguments: None
Key sequence: Alt
+Tab
Key sequence: Tab
Mode: Shell
The command Expand File Name
expands (completes) the filename at the current point.
The system looks backwards from the current point until it finds a space or other character that is unlikely to be in a filename. The text from this character to the current point is the partial filename to complete.
Invoking Expand File Name
twice in succession offers a list of possible completions.
See also: Expand File Name With Space.
Expand File Name With Space Editor Command
Arguments: None
Key sequence: None
The command Expand File Name With Space
is like Expand File Name, but allows spaces in the filename it tries to complete.
See also: Expand File Name.
Editor User Guide (Windows version) - 01 Dec 2021 19:35:26