Style.paintHandle

Draws a handle as used in GtkHandleBox and GtkPaned.

class Style

void

paintHandle

(

,

GtkStateType stateType

,

GtkShadowType shadowType

,

,

,

string detail

,

int x

,

int y

,

,

,

GtkOrientation orientation

)

Parameters

window Window: a GdkWindow
stateType GtkStateType: a state
shadowType GtkShadowType: type of shadow to draw
area Rectangle: clip rectangle, or NULL if the output should not be clipped. [allow-none]
widget Widget: the widget. [allow-none]
detail string: a style detail. [allow-none]
x int: x origin of the handle
y int: y origin of the handle
width int: with of the handle
height int: height of the handle
orientation GtkOrientation: the orientation of the handle

Meta

Source

See Implementation