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
);