+5

Undo buffer

Woody 12 years ago updated 12 years ago 0
Restore the undo buffer when returning from a session that was closed with "hot_exit" enabled.