FrameHeader.pageChanged

void pageChanged(panel.widget.Widget widget = null)

Notifies the header that the visible page has changed.

Parameters

widgeta #PanelWidget or null if no page is visible