[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add user option to disable location in bookmarks
From: |
Stefan Monnier |
Subject: |
Re: [PATCH] Add user option to disable location in bookmarks |
Date: |
Sat, 20 Jun 2020 18:50:54 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> ‘bookmark-set’ saves the position--by which I mean point and context
> strings--with no option (that I can find) of not saving it.
> When using ‘bookmark-jump’, point will always be moved to that
> position, ignoring the position from save-place.
Yes, that's on purpose.
> My patch allows the user to choose whether or not the bookmark record
> should be in control of the position.
I think it makes sense, but I think it shouldn't be a global option.
Maybe it should be a setting saved with the bookmark (i.e. when saving
the bookmark you could specify not to save the location) or otherwise
specified when jumping.
Maybe a prefix command which causes the subsequent `bookmark-jump` to
ignore the location info (and it could also cause a subsequent
`bookmark-set` not to save the location)?
Stefan
- [PATCH] Add user option to disable location in bookmarks, Jamie Beardslee, 2020/06/20
- RE: [PATCH] Add user option to disable location in bookmarks, Drew Adams, 2020/06/20
- Re: [PATCH] Add user option to disable location in bookmarks, Jamie Beardslee, 2020/06/20
- RE: [PATCH] Add user option to disable location in bookmarks, Drew Adams, 2020/06/20
- Re: [PATCH] Add user option to disable location in bookmarks, Jamie Beardslee, 2020/06/20
- RE: [PATCH] Add user option to disable location in bookmarks, Drew Adams, 2020/06/21
- Re: [PATCH] Add user option to disable location in bookmarks, Basil L. Contovounesios, 2020/06/21
- Re: [PATCH] Add user option to disable location in bookmarks, Yuri Khan, 2020/06/21
- RE: [PATCH] Add user option to disable location in bookmarks, Drew Adams, 2020/06/21