append_pinned

Description:

public unowned TabPage append_pinned (Widget child)

Inserts child as the last pinned page.

this	a tab view
child	a widget to add

the page object representing child