ToplevelSize.setShadowWidth
void setShadowWidth(int left, int right, int top, int bottom)Sets the shadows size of the toplevel.
The shadow width corresponds to the part of the computed surface size that would consist of the shadow margin surrounding the window, would there be any.
Shadow width should only be set if methodGtk.Display.supports_shadow_width is true.
Parameters
left | width of the left part of the shadow |
right | width of the right part of the shadow |
top | height of the top part of the shadow |
bottom | height of the bottom part of the shadow |