Samuel Wales <samolog...@gmail.com> writes: > On 1/30/18, Nicolas Goaziou <m...@nicolasgoaziou.fr> wrote: >>> org would have to push to both local and global it seems. >> >> `push-mark' would take care of this. So Org wouldn't need to. > > iiuc, i can't agree with you. org pushes marks onto the org mark ring > in various places [and imo even misses at least one place -- going to > outline from agenda]. i assumed org would continue to do so, except > to the local and global mark rings. > > will all those good automatic mark pushing events be removed? i do > not get the point of that. that's potentially a lot of programming > work to put onto the user just to get back the functionality we have > now. > > so i probably misunderstand your meaning.
Let me clarify. I just want to replace `org-mark-ring-push' with `push-mark'. The distinction between local and global mark rings are taken care of in the latter. Org doesn't need to mess with it. I hope that's clearer now.
