FrameHeaderT.pageChanged

Notifies the header that the visible page has changed.

template FrameHeaderT()

override

void

pageChanged

(

panel.widget.Widget widget = null

)

Parameters

widget panel.widget.Widget: a #PanelWidget or null if no page is visible

panel frame_header_mixin FrameHeaderT functions

properties

frame