setFrameExtents

This is the same as Window.setShadowWidth but it only works on GdkX11Window.

More...
void
setFrameExtents
(,
int left
,
int right
,
int top
,
int bottom
)

Parameters

left int

The left extent

right int

The right extent

top int

The top extent

bottom int

The bottom extent

Detailed Description

Deprecated: Use Window.setShadowWidth instead.

Meta

Since

3.10