[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [External] : Re: Variable pitch mode line
From: |
Yuan Fu |
Subject: |
Re: [External] : Re: Variable pitch mode line |
Date: |
Thu, 23 Dec 2021 19:58:43 -0800 |
> On Dec 23, 2021, at 4:50 PM, Drew Adams <drew.adams@oracle.com> wrote:
>
>> Here is the code, maybe that can explain better
>> than my words. (I know it’s name conflicts with
>> another well-know package, it’s only used by
>> myself and not published.)
>
> Well, you're distributing it now (here). Please
> consider using a different file name, to avoid
> confusing anyone.
That’s true. I’ll change its name before posting that code next time. Sorry.
>
> There are zillions of names you can use. My
> `info+.el' library has been around since 1996,
> at least - and likely longer.
I agree.
Yuan
- Re: Variable pitch mode line, (continued)
- Re: Variable pitch mode line, Yuan Fu, 2021/12/23
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/23
- Re: Variable pitch mode line, Yuan Fu, 2021/12/23
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/23
- Re: Variable pitch mode line, Yuan Fu, 2021/12/23
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/23
- Re: Variable pitch mode line, Yuan Fu, 2021/12/23
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/24
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/24
- RE: [External] : Re: Variable pitch mode line, Drew Adams, 2021/12/23
- Re: [External] : Re: Variable pitch mode line,
Yuan Fu <=
- RE: [External] : Re: Variable pitch mode line, Drew Adams, 2021/12/24
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/24
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/24
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/24