comparison: ui/gtk/headerbar.h
ui/gtk/headerbar.h
- changeset 1009
- 3cbb6e72aaed
- parent 988
- bb7718f7d31d
equal
deleted
inserted
replaced
| 1007:a2070417b280 | 1009:3cbb6e72aaed |
|---|---|
| 57 #if GTK_MAJOR_VERSION >= 4 | 57 #if GTK_MAJOR_VERSION >= 4 |
| 58 #define UI_HEADERBAR_SET_TITLE_WIDGET(h, w) gtk_header_bar_set_title_widget(GTK_HEADER_BAR(h), w) | 58 #define UI_HEADERBAR_SET_TITLE_WIDGET(h, w) gtk_header_bar_set_title_widget(GTK_HEADER_BAR(h), w) |
| 59 #define UI_HEADERBAR_SHOW_TITLE_WIDGET(h, b) gtk_header_bar_set_show_title(GTK_HEADER_BAR(h), b) | 59 #define UI_HEADERBAR_SHOW_TITLE_WIDGET(h, b) gtk_header_bar_set_show_title(GTK_HEADER_BAR(h), b) |
| 60 #else | 60 #else |
| 61 #define UI_HEADERBAR_SET_TITLE_WIDGET(h, w) gtk_header_bar_set_custom_title(GTK_HEADER_BAR(h), w) | 61 #define UI_HEADERBAR_SET_TITLE_WIDGET(h, w) gtk_header_bar_set_custom_title(GTK_HEADER_BAR(h), w) |
| 62 #define UI_HEADERBAR_SHOW_TITLE_WIDGET(h, b) gtk_header_bar_set_show_title(GTK_HEADER_BAR(h), b) | 62 #define UI_HEADERBAR_SHOW_TITLE_WIDGET(h, b) |
| 63 #endif | 63 #endif |
| 64 #endif | 64 #endif |
| 65 | 65 |
| 66 void ui_fill_headerbar(UiObject *obj, GtkWidget *sidebar_headerbar, GtkWidget *main_headerbar, GtkWidget *right_headerbar); | 66 void ui_fill_headerbar(UiObject *obj, GtkWidget *sidebar_headerbar, GtkWidget *main_headerbar, GtkWidget *right_headerbar); |
| 67 | 67 |
