page_changed

Description:

public signal void page_changed (uint index)

This signal is emitted after a page has been changed.

It can be used to implement "infinite scrolling" by amending the pages after every scroll.

Parameters:

index

the current page