switch_page


Description:

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