[Toc][Index]

LineToEnd


LineToEnd = Key (Ctrl-Enter):  Copies the current command line to the end 
of the history list, then executes it. 

Created using Inf-PHP v.2 (c) 2003 Yuri Prokushev
Created using Inf-HTML v.0.9b (c) 1995 Peter Childs