[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Extend tabulated-list-mode to support marks
From: |
Stefan Kangas |
Subject: |
Re: Extend tabulated-list-mode to support marks |
Date: |
Sun, 26 Jul 2020 14:43:07 +0200 |
Yuri Khan <yuri.v.khan@gmail.com> writes:
> One high-visible derived mode hijacks the “unmark all”
> key for “mark upgradable packages”. I think they would benefit from a
> common implementation and the unification of the UI stemming from
> that.
Indeed, I think that is an unfortunate and surprising default that is
at odds with the rest of Emacs (notably Dired). (I'd be in favour of
changing it, FWIW.)
> I might implement something if this general direction is deemed
> desirable. Details can be discussed.
I've had the same idea in the past and would definitely appreciate
such an addition.
Best regards,
Stefan Kangas
- RE: Add new functions to mark/unmark/delete all bookmarks, (continued)
- 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, 2020/07/24
- 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 <=
- 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
- Re: Add new functions to mark/unmark/delete all bookmarks, Matthew White, 2020/07/25
- Re: Add new functions to mark/unmark/delete all bookmarks, Eli Zaretskii, 2020/07/25
- Re: Add new functions to mark/unmark/delete all bookmarks, Michael Albinus, 2020/07/25
- Re: Add new functions to mark/unmark/delete all bookmarks, Eli Zaretskii, 2020/07/25
- Re: Add new functions to mark/unmark/delete all bookmarks, Michael Albinus, 2020/07/25
- Re: Add new functions to mark/unmark/delete all bookmarks, Eli Zaretskii, 2020/07/25
- Re: Add new functions to mark/unmark/delete all bookmarks, Eli Zaretskii, 2020/07/25
- Re: Add new functions to mark/unmark/delete all bookmarks, Michael Albinus, 2020/07/25