paint_extension

Description:

[ Version ( deprecated = true , deprecated_since = "3.0" , replacement = "render_extension" ) ]
public void paint_extension (Style style, Context cr, StateType state_type, ShadowType shadow_type, Widget? widget, string? detail, int x, int y, int width, int height, PositionType gap_side)

Warning: paint_extension is deprecated since 3.0. Use render_extension.

Draws an extension, i.

Note:

Use render_extension instead

e. a notebook tab.

Parameters:

style	a Style
cr	a Context
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

Namespace: Gtk

Package: gtk+-3.0