page_changed


Description:

public signal void page_changed (uint index)