[
library(toplevel)
|
Reference Manual
|
Alphabetic Index
]
write_history
Writes the current command history into the .eclipse_history file