Re: several extra pixels between text and scroll bar

[Jason Rumney]

Eli Zaretskii <address@hidden> writes:

>> Cc: "Drew Adams" <address@hidden>, address@hidden
>> From: Jason Rumney <address@hidden>
>> Date: Sat, 13 May 2006 15:29:36 +0100
>> 
>> Does the scrollbar width have to be an integer multiple of the default
>> font width? Could this be the cause of the "extra pixels"?
>
> How does one tell?  What should we check?

When a frame is resized, do we add scroll-bar-width pixels after
converting from characters to pixels, or do we calculate how many
extra character columns are needed to cover scroll-bar-width and add
them to the frame width before the conversion to pixels? IIRC, we used
to do the latter, but I am not sure if we changed it - it was
certainly discussed before.