Save and restore file history

[ShazzAmin]

When a file is closed, save its history (i.e. undo stack). When a file is opened, restore its saved history.