switch_page

Description:

public virtual signal void switch_page (Widget page, uint page_num)

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

page	the new current page
page_num	the index of the page