>
home
>
Commands
interactive_open
January 19th 2020
Interactively opens a file.