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.
