-
Matthias Clasen authored
We only want to shrink the scrollbar allocation by the actual overlap, not always by the full size of the resize grip.
b9b23f4f
We only want to shrink the scrollbar allocation by the actual overlap, not always by the full size of the resize grip.