[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:30:23 +0300 |
> From: Michael Albinus <michael.albinus@gmx.de>
> Cc: mehw.is.me@inventati.org, kfogel@red-bean.com, emacs-devel@gnu.org
> Date: Sat, 25 Jul 2020 17:56:22 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> 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?
>
> No, I mean Lisp comments. I like highlighted symbols there, for
> discoverability.
Fine with me, I don't mind such a style.
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 <=
- 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
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