Inserts a pinned page at position.
It's an error to try to insert a pinned page after a non-pinned page, in that case [[email protected]] should be used instead.
| this |
a tab view |
| child |
a widget to add |
| position |
the position to add |
|
the page object representing |