page_removed


Description:

public signal void page_removed (Widget child, uint page_num)