Now that I have a clean workspace with all my stuff committed,
I'll see if
I can get this merged in and committed this week.
Ah, that would be most lovely! : )
Personally, I've found that moving the scrollbars outwards till
they touch the borders (provided by the window manager), leaving
no padding between those borders and the scrollbars.
This is necessary if the window is resized in multiples of
characters rather than pixels, and the scrollbar's with is
not a multiple of a char's width (same for height).
Generally, some modulo would help making it generic, but the
initial values of the props don't seem to help -- or was I too
tired when I tried it?
(if (eq (frame-type (selected-frame)) 'gtk)
(progn
(set-frame-property (selected-frame) 'scrollbar-width 7)
(set-frame-property (selected-frame) 'scrollbar-height 16)
(if (featurep 'tinting)
(gtk-put-transparency (selected-frame)
'((trans . (tab text bg))
(shade . (240))
(red . (216))
(green . (0))
(blue . (256))))
(if (featurep 'shading)
(gtk-put-transparency (selected-frame)
'((trans . (tab text bg))
(shade . (192))))
(if (featurep 'transparency)
(gtk-put-transparency (selected-frame)
'((trans . (tab text bg)))))))))