paint_extension

Description:

public void paint_extension (Style style, Window window, StateType state_type, ShadowType shadow_type, Rectangle? area, Widget? widget, string? detail, int x, int y, int width, int height, PositionType gap_side)

Draws an extension, i.

Note:

Use gtk_render_extension instead

e. a notebook tab.

style	a Style
state_type	a state
shadow_type	type of shadow to draw
widget	the widget
detail	a style detail
x	x origin of the extension
y	y origin of the extension
width	width of the extension
height	width of the extension
gap_side	the side on to which the extension is attached
cr	a Context

Namespace: Gtk

Package: gtk+-2.0