[ library(toplevel) | Reference Manual | Alphabetic Index ]

write_history

Writes the current command history into the .eclipse_history file