Re: Bookmark the end of file?

[Stefan Monnier]

> Do you assume that most users want to track eob in such a case?
[...]
> Consider also this comment for the code that automatically relocates
> a bookmark when you jump to it, to keep it within/near its originally
> recorded context:

The EOB is an extremely important part of the context.
So, yes, if point was at EOB when you set the bookmark, I think the user
will more often be satisfied if we store "EOB" rather than if we store
"the position that was EOB when the bookmark was set".


        Stefan