Extracted from Pike v8.0 release 164 as of 2018-07-18.
   

Method Tools.Install.Readline()->edit_filename()


Method edit_filename

string edit_filename(mixed ... args)