[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 18:38:45 +0300 |
> From: Michael Albinus <michael.albinus@gmx.de>
> Cc: Matthew White <mehw.is.me@inventati.org>, kfogel@red-bean.com,
> emacs-devel@gnu.org
> Date: Sat, 25 Jul 2020 17:33:52 +0200
>
> > 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.
What is the utility of highlighting quoted symbols in comments? Do
you mean doc strings?
- Re: Add new functions to mark/unmark/delete all bookmarks, (continued)
- 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, 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, 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
Re: Add new functions to mark/unmark/delete all bookmarks, Stefan Monnier, 2020/07/25