[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:55:16 +0300 |
> From: Michael Albinus <michael.albinus@gmx.de>
> Cc: kfogel@red-bean.com, emacs-devel@gnu.org, mehw.is.me@inventati.org
> Date: Sat, 25 Jul 2020 18:43:41 +0200
>
> > To clarify: I don't mind such a style _in_Lisp_comments_.
>
> Sure. But the original question was how-to-quote. And a quoting
> `like-this' in Lisp comments seems to be preferred. Until we add
> highlighting for quoting 'like-this' in Lisp comments.
The original question was how to quote in *commit messages*. The part
about comments was my addition.
- RE: Add new functions to mark/unmark/delete all bookmarks, (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, 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 <=
- 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
- Re: Add new functions to mark/unmark/delete all bookmarks, Karl Fogel, 2020/07/31