commit | 5487551ce969b88eb47e90226865a979763d2693 | [log] [tgz] |
---|---|---|
author | Benno Schulenberg <bensberg@telfort.nl> | Sun Nov 26 09:19:25 2017 +0100 |
committer | Benno Schulenberg <bensberg@telfort.nl> | Sun Nov 26 09:28:36 2017 +0100 |
tree | 2da7ea2c556396481ce31ed49cc2658d30e7fa0d | |
parent | 763bf2ed260f18b274eaacc165242e8f9c71c5ee [diff] |
history: save the positions file also when a record was deleted When a file is closed with the cursor on line 1, column 1, this position is not recorded in file-positions history file -- if a record for the file existed, it is deleted. In the latter case the history file needs to be saved, so that other instances of nano will know about the deletion. This fixes https://savannah.gnu.org/bugs/?52505.