public static interface PageswitchPanel.Updater
void
set_page(int page_numero)
void set_page(int page_numero)
page_numero