[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Adding colour when font-lock in disabled
From: |
Heime |
Subject: |
Re: Adding colour when font-lock in disabled |
Date: |
Fri, 09 Dec 2022 08:09:08 +0000 |
------- Original Message -------
On Friday, December 9th, 2022 at 7:09 AM, Eli Zaretskii <eliz@gnu.org> wrote:
> > Date: Fri, 09 Dec 2022 01:46:18 +0000
> > From: Heime heimeborgia@protonmail.com
> > Cc: Heime via Users list for the GNU Emacs text editor
> > help-gnu-emacs@gnu.org
> >
> > > From what I understand, when font-lock-mode is enabled, it takes over the
> > > face property but provides an alias property - font-lock-face. The
> > > font-lock-face property bypasses font-lock to allow coloured text.
> >
> > Really weird stuff because if you want to allow someone to specify face
> > property, just allow them to specify it.
>
>
> What is weird about it? font-lock-mode places face properties
> according to the mode's definitions, so it will overwrite any face
> properties you put manually. Thus the need to use a different
> property, which font-lock-mode doesn't control.
But them when a user wants to introduce some text with some properties (e.g.
colour), what is supposed to do.
--------
Would you expect someone to use font-lock-face when font-lock is enabled
(propertize "G" 'font-lock-face '(:foreground "green"))
--------
And use
(propertize "G" 'face '(:foreground "green"))
when font lock is disabled.
--------
Why places face properties according to the mode's definitions but not allow us
to change the properties of inserted text, when we can do that anyway?
After calling a particular mode definitions, I should be able te change
properties rather than having a lock.
- Adding colour when font-lock in disabled, Heime, 2022/12/08
- Re: Adding colour when font-lock in disabled, Heime, 2022/12/08
- Re: Adding colour when font-lock in disabled, Eli Zaretskii, 2022/12/09
- Re: Adding colour when font-lock in disabled,
Heime <=
- Re: Adding colour when font-lock in disabled, Eli Zaretskii, 2022/12/09
- Re: Adding colour when font-lock in disabled, Heime, 2022/12/09
- Re: Adding colour when font-lock in disabled, Eli Zaretskii, 2022/12/09
- Re: Adding colour when font-lock in disabled, Heime, 2022/12/09
- Re: Adding colour when font-lock in disabled, Eli Zaretskii, 2022/12/09
- Re: Adding colour when font-lock in disabled, Jean Louis, 2022/12/09
- RE: [External] : Re: Adding colour when font-lock in disabled, Drew Adams, 2022/12/09
- Re: Adding colour when font-lock in disabled, Heime, 2022/12/09
- Re: Adding colour when font-lock in disabled, Eli Zaretskii, 2022/12/10
- Re: Adding colour when font-lock in disabled, Heime, 2022/12/10