frame-right-divider-width

frame-right-divider-width is a built-in function in `C source code'.

(frame-right-divider-width &optional FRAME)

Return width (in pixels) of vertical window dividers on FRAME.