log src/ChangeLog @ 5798:b94d6e89ea5b

age author description
Wed, 18 Jun 2014 09:26:54 +0100 Aidan Kehoe Correct a couple of small things with my last change.
Tue, 17 Jun 2014 20:55:45 +0100 Aidan Kehoe If the position of a window's cached point is deleted, use buffer point instead