FrameHeaderT

An interface implemented by the header of a #PanelFrame.

template FrameHeaderT () {

panel.frame.Frame frame [@property getter];

panel.frame.Frame frame [@property setter];

void addPrefix(int priority, gtk.widget.Widget child);

void addSuffix(int priority, gtk.widget.Widget child);

bool canDrop(panel.widget.Widget widget);

panel.frame.Frame getFrame();

void pageChanged(panel.widget.Widget widget);

void setFrame(panel.frame.Frame frame);

}

Members

Functions

addPrefix void addPrefix(int priority, gtk.widget.Widget child): Add a widget into a the prefix area with a priority. The highest the priority the closest to the start.
addSuffix void addSuffix(int priority, gtk.widget.Widget child): Add a widget into a the suffix area with a priority. The highest the priority the closest to the start.
canDrop bool canDrop(panel.widget.Widget widget): Tells if the panel widget can be drop onto the panel frame.
getFrame panel.frame.Frame getFrame(): Gets the frame the header is attached to.
pageChanged void pageChanged(panel.widget.Widget widget): Notifies the header that the visible page has changed.
setFrame void setFrame(panel.frame.Frame frame): Sets the frame the header is attached to.

Properties

frame panel.frame.Frame frame [@property getter]: Get frame property.
frame panel.frame.Frame frame [@property setter]: Set frame property.

panel frame_header_mixin templates

FrameHeaderT