Name
window-decoration-size -- Return (decor-width decor-height) for WIN.
Synopsis
(window-decoration-size win)
Description
Return (decor-width decor-height) for win.
These are the extra width/height (in pixels) of the frame
beyond that of the client window width/height.