[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add new functions to mark/unmark/delete all bookmarks
From: |
Eli Zaretskii |
Subject: |
Re: Add new functions to mark/unmark/delete all bookmarks |
Date: |
Sat, 25 Jul 2020 19:33:15 +0300 |
> Date: Sat, 25 Jul 2020 19:30:23 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: kfogel@red-bean.com, emacs-devel@gnu.org, mehw.is.me@inventati.org
>
> > No, I mean Lisp comments. I like highlighted symbols there, for
> > discoverability.
>
> Fine with me, I don't mind such a style.
To clarify: I don't mind such a style _in_Lisp_comments_.
- Re: Extend tabulated-list-mode to support marks, (continued)
- 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 <=
- 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, 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, Drew Adams, 2020/07/25
- Re: Add new functions to mark/unmark/delete all bookmarks, Karl Fogel, 2020/07/25
- Re: Add new functions to mark/unmark/delete all bookmarks, Stefan Monnier, 2020/07/25
- Re: Add new functions to mark/unmark/delete all bookmarks, Karl Fogel, 2020/07/25
- Re: Add new functions to mark/unmark/delete all bookmarks, Karl Fogel, 2020/07/29
- Re: Add new functions to mark/unmark/delete all bookmarks, Matthew White, 2020/07/30