I often highlight some symbols and then check out some other revision, expecting the highlighting to survive. This causes file-visiting buffers to be reverted to display the "current" version of the file. A file-visiting buffer may also be reverted for other reasons.
Unfortunately this discards all symbol highlighting. With this pull-requests the highlighting is preserved; see the last commit.
This pull-requests also comes with some unrelated changes. If you don't like all of them, I can rewrite this to drop the undesired commits.
I often highlight some symbols and then check out some other revision, expecting the highlighting to survive. This causes file-visiting buffers to be reverted to display the "current" version of the file. A file-visiting buffer may also be reverted for other reasons.
Unfortunately this discards all symbol highlighting. With this pull-requests the highlighting is preserved; see the last commit.
This pull-requests also comes with some unrelated changes. If you don't like all of them, I can rewrite this to drop the undesired commits.