Top | ![]() |
![]() |
![]() |
![]() |
GtkWidget * | ide_workbench_header_bar_new () |
IdeOmniBar * | ide_workbench_header_bar_get_omni_bar () |
void | ide_workbench_header_bar_focus_search () |
void | ide_workbench_header_bar_add_primary () |
void | ide_workbench_header_bar_insert_left () |
void | ide_workbench_header_bar_insert_right () |
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
);