page_changed

Description:

public abstract void page_changed (Widget? widget)

Notifies the header that the visible page has changed.

this	a FrameHeader
widget	a Widget or null if no page is visible