Re: Fringes again

[Simon Josefsson <jas@extundo.com>]

storm@cua.dk (Kim F. Storm) writes:

>> >> Right, but how do you programmatically calculate that?
>> >
>> > Something like
>> >
>> > (/ (* (/ (+ (* 2 8) (frame-char-width) -1)
>> >          (frame-char-width))
>> >       (frame-char-width))
>> >    2)
>> 
>> Hm.  Will this work for e.g. `default-frame-alist'?  It need to have
>> integers, not expressions that can vary depending on the font or
>> display (consider multi-head X where the screens has different
>> resolutions, `frame-char-width' would probably return different values
>> depending on which screen it is on).  It doesn't look very reliable to
>> calculate "half fringe width" (if there isn't something better than
>> the above), so perhaps the "half width" option should be removed.
>> Opinions?
>
> IMO, reducing the fringe width below 8 pixels really doesn't make sense.
> But if you want the minimum fringe width (i.e. half the width of the
> default face width), simply set both widths to 1.

Setting it to 1 makes good sense, I tried it and I like it (even
better than none at all).  It only wastes one pixel, but I notice when
the gdb arrow and other bitmaps is there.  I added it as a new fringe
style: "minimal".  I'll keep the "half" style as someone asked for it.