[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add new functions to mark/unmark/delete all bookmarks
From: |
Michael Albinus |
Subject: |
Re: Add new functions to mark/unmark/delete all bookmarks |
Date: |
Sat, 25 Jul 2020 17:33:52 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
Hi Eli,
>> 2) With which quotes should I surround the variable/function names in
>> the commit message? `' or '' or ‘’? I could not figure that out...
>
> You should quote 'like this' in commit log messages (and also in NEWS
> entries and comments).
In Lisp comments, objects quoted 'like-this' are not
highlighted. Objects quoted `like-this' are. That's why the latter
quotation seems to be preferred for Lisp comments, IME.
Best regards, Michael.
- Re: Add new functions to mark/unmark/delete all bookmarks, (continued)
- 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: 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 <=
- 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, 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