window-scroll-bar-width
window-scroll-bar-width is a built-in function in `C source code
'.
(window-scroll-bar-width &optional WINDOW)
Return the width in pixels of WINDOW's vertical scrollbar.
WINDOW must be a live window and defaults to the selected one.