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