| Top |
GObject ╰── GInitiallyUnowned ╰── GtkWidget ╰── GtkContainer ╰── GtkHeaderBar ╰── IdeWorkbenchHeaderBar
IdeOmniBar *
ide_workbench_header_bar_get_omni_bar (IdeWorkbenchHeaderBar *self);
void
ide_workbench_header_bar_focus_search (IdeWorkbenchHeaderBar *self);
void ide_workbench_header_bar_add_primary (IdeWorkbenchHeaderBar *self,GtkWidget *widget);
This will add widget
to the special box at the top left of the window next
to the perspective selector. This is a special location in that the spacing
is treated differently than other locations on the header bar.
Since: 3.26
void ide_workbench_header_bar_insert_left (IdeWorkbenchHeaderBar *self,GtkWidget *widget,GtkPackType pack_type,gint priority);
void ide_workbench_header_bar_insert_right (IdeWorkbenchHeaderBar *self,GtkWidget *widget,GtkPackType pack_type,gint priority);