reorder_page
Description:
Reorders page to position.
It's a programmer error to try to reorder a pinned page after a non-pinned one, or a non-pinned page before a pinned one.
Parameters:
| this |
a tab view |
| page |
a page of this |
| position |
the position to insert the page at, starting at 0 |
Returns:
|
whether |