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