append_pinned

Description:

public unowned TabPage append_pinned (Widget child)

Inserts child as the last pinned page.

Parameters:

this

a tab view
child

a widget to add

Returns:

the page object representing child