FrameHeader.pageChanged

Notifies the header that the visible page has changed.

interface FrameHeader

void

pageChanged

(

panel.widget.Widget widget = null

)

Parameters

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

panel frame_header FrameHeader functions

properties

frame

static functions

getGType