[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add new functions to mark/unmark/delete all bookmarks
From: |
Stefan Monnier |
Subject: |
Re: Add new functions to mark/unmark/delete all bookmarks |
Date: |
Fri, 24 Jul 2020 11:05:55 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> I wonder (1) why bookmark-menu is not derived from
> tabulated-list-mode,
AFAIK `tabulated-list-mode` was born much later than `bookmark-menu`.
I think we'd welcome a patch to make it use `tabulated-list-mode`.
> and (2) if maybe tabulated-list-mode would benefit from a generic
> implementation of multiple marking, unmarking, marking-for-deletion,
> and command application.
Maybe "for deletion" is too application-specific (some uses of
`tabulated-list-mode` can't "delete" or at least not conveniently enough
that it's a common use case), but a definite +1 for the rest.
Stefan
- Re: Add new functions to mark/unmark/delete all bookmarks, (continued)
- Re: Add new functions to mark/unmark/delete all bookmarks, Eli Zaretskii, 2020/07/28
- Re: Add new functions to mark/unmark/delete all bookmarks, Matthew White, 2020/07/28
- RE: Add new functions to mark/unmark/delete all bookmarks, Drew Adams, 2020/07/24
- RE: Add new functions to mark/unmark/delete all bookmarks, Drew Adams, 2020/07/24
- RE: Add new functions to mark/unmark/delete all bookmarks, Drew Adams, 2020/07/24
Re: Add new functions to mark/unmark/delete all bookmarks, Yuri Khan, 2020/07/24
- Re: Add new functions to mark/unmark/delete all bookmarks,
Stefan Monnier <=
- Re: Add new functions to mark/unmark/delete all bookmarks, Noam Postavsky, 2020/07/24
- Extend tabulated-list-mode to support marks, Yuri Khan, 2020/07/24
- Re: Extend tabulated-list-mode to support marks, Dirk-Jan C. Binnema, 2020/07/25
- Re: Extend tabulated-list-mode to support marks, Stefan Monnier, 2020/07/25
- Re: Extend tabulated-list-mode to support marks, Yuri Khan, 2020/07/25
- Re: Extend tabulated-list-mode to support marks, Stefan Kangas, 2020/07/26
RE: Add new functions to mark/unmark/delete all bookmarks, Drew Adams, 2020/07/24
Re: Add new functions to mark/unmark/delete all bookmarks, Karl Fogel, 2020/07/24