[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Turning off colorization
From: |
Harald Hanche-Olsen |
Subject: |
Re: Turning off colorization |
Date: |
Wed, 05 Nov 2014 09:23:27 +0100 (CET) |
["Stephen J. Turnbull" <address@hidden> (2014-11-05 02:10:57 UTC)]
> Kelvin White writes:
> > > I wish it was called colorization-mode instead of font-lock. I think
> > > font-lock is a more and more confusing name.
> >
> > I agree, I've often wondered what was the idea behind that name,
> > just makes no sense to me... Unless I'm missing something here
>
> Are you too young to have read a computer science textbook on paper?
Perhaps it was the “lock” part of the name he found confusing. It is
to me, anyhow. I suppose it stems from some implementation detail, but
what it is doing in the name of the mode, beats me.
– Harald
- Re: Turning off colorization, (continued)
- Re: Turning off colorization, N. Jackson, 2014/11/06
- Re: Turning off colorization, Tim Cross, 2014/11/06
- Re: Turning off colorization, Stefan Monnier, 2014/11/06
- Re: Turning off colorization, Daniel Colascione, 2014/11/06
- Re: Turning off colorization, Stefan Monnier, 2014/11/06
- Re: Turning off colorization, Richard Stallman, 2014/11/05
- Re: Turning off colorization, Phillip Lord, 2014/11/05
Re: Turning off colorization, Nic Ferrier, 2014/11/04
Re: Turning off colorization, N. Jackson, 2014/11/06