RE: [External] : Re: Variable pitch mode line

[Drew Adams]

> 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.

There are zillions of names you can use.  My
`info+.el' library has been around since 1996,
at least - and likely longer.

Thx.