Re: Variable pitch text filling

[Lars Ingebrigtsen]

Eli Zaretskii <eliz@gnu.org> writes:

> Not the widest glyph in the font, only the widest of the characters
> that can be displayed in that place on the mode line.  Which is a
> small set, so there's no problem finding the widest one, even
> statically and in advance.

I don't think that will look nice.  That is, the "%" glyph is usually so
much larger than the "-" glyph that it'll just look weird.

>> The goal is to make the "-" wide enough that you can click it, which
>> is why they should have a char-spacing property of "one normal
>> character".
>
> But it is also ugly to have those characters move when we display a
> different character in one of those places.  Someone asked to make
> sure such a shift doesn't happen, so that users could click on the
> same place more than once without moving the mouse, to toggle the
> setting back and forth.  If we don't make each of these characters a
> separate string with its separate min-width, we cannot make sure such
> shifts don't happen.

I don't agree that that should be our goal here, because it'll look
ugly.  The goal here is to ensure that the user can click on the "-"
glyphs.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no