Re: How to make Emacs popular again: Use monospaced fonts less

[Stefan Monnier]

>>> Yes, this can be done.  But we'd need fort to decide what is the
>>> semantics of this:
>>>
>>>   (setq mode-line-thing `(:propertize "%12b" :min-width 10))
>>
>> One solution is to not use text-properties, e.g.
>
> I wasn't really thinking that the :min-width would be translated into
> text properties at all here -- it's just an instruction to the mode line
> rendering machinery.

I sorry, I guess I read the `:propertize` too literally.


        Stefan