switch_page

Description:

public signal void switch_page (Widget page, uint page_num)

Emitted when the user or a function changes the current page.

Parameters:

page

the new current page
page_num

the index of the page