comparison: ui/gtk/headerbar.h
ui/gtk/headerbar.h
- changeset 789
- d70799b3333e
- parent 336
- 56c12f44c2d3
- child 988
- bb7718f7d31d
equal
deleted
inserted
replaced
| 788:27f126f6e361 | 789:d70799b3333e |
|---|---|
| 56 #else | 56 #else |
| 57 #define UI_HEADERBAR_SET_TITLE_WIDGET(h, w) gtk_header_bar_set_custom_title(GTK_HEADER_BAR(h), w) | 57 #define UI_HEADERBAR_SET_TITLE_WIDGET(h, w) gtk_header_bar_set_custom_title(GTK_HEADER_BAR(h), w) |
| 58 #endif | 58 #endif |
| 59 #endif | 59 #endif |
| 60 | 60 |
| 61 void ui_fill_headerbar(UiObject *obj, GtkWidget *headerbar); | 61 void ui_fill_headerbar(UiObject *obj, GtkWidget *sidebar_headerbar, GtkWidget *main_headerbar, GtkWidget *right_headerbar); |
| 62 | 62 |
| 63 void ui_headerbar_add_items(UiObject *obj, GtkWidget *headerbar, CxList *items, enum UiToolbarPos pos); | 63 void ui_headerbar_add_items(UiObject *obj, GtkWidget *headerbar, CxList *items, enum UiToolbarPos pos); |
| 64 | 64 |
| 65 void ui_add_headerbar_item( | 65 void ui_add_headerbar_item( |
| 66 GtkWidget *headerbar, | 66 GtkWidget *headerbar, |
