Top | ![]() |
![]() |
![]() |
![]() |
GtkWidget * | ide_omni_bar_new () |
void | ide_omni_bar_add_status_icon () |
void | ide_omni_bar_add_button () |
void | ide_omni_bar_set_placeholder () |
void | ide_omni_bar_add_popover_section () |
GObject ╰── GInitiallyUnowned ╰── GtkWidget ╰── GtkContainer ╰── GtkBin ╰── GtkEventBox ╰── IdeOmniBar
void ide_omni_bar_add_status_icon (IdeOmniBar *self
,GtkWidget *widget
,gint priority
);
Adds a status-icon style widget to the end of the omnibar. Generally, you'll want this to be either a GtkButton, GtkLabel, or something simple.
Since: 3.32
void ide_omni_bar_add_button (IdeOmniBar *self
,GtkWidget *widget
,GtkPackType pack_type
,gint priority
);
void ide_omni_bar_set_placeholder (IdeOmniBar *self
,GtkWidget *placeholder
);
void ide_omni_bar_add_popover_section (IdeOmniBar *self
,GtkWidget *widget
,gint priority
);
Adds widget
to the omnibar popover, sorted by priority
Since: 3.32