FrameHeader.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.

Parameters

prioritythe priority
childa #GtkWidget