comparison: ui/gtk/headerbar.h
ui/gtk/headerbar.h
- changeset 1012
- f2b535f6e597
- parent 1009
- 3cbb6e72aaed
equal
deleted
inserted
replaced
| 1011:18fbc36e1e70 | 1012:f2b535f6e597 |
|---|---|
| 54 #define UI_HEADERBAR_PACK_START(h, w) gtk_header_bar_pack_start(GTK_HEADER_BAR(h), w) | 54 #define UI_HEADERBAR_PACK_START(h, w) gtk_header_bar_pack_start(GTK_HEADER_BAR(h), w) |
| 55 #define UI_HEADERBAR_PACK_END(h, w) gtk_header_bar_pack_end(GTK_HEADER_BAR(h), w) | 55 #define UI_HEADERBAR_PACK_END(h, w) gtk_header_bar_pack_end(GTK_HEADER_BAR(h), w) |
| 56 #define UI_HEADERBAR_SETTINGS(h) | 56 #define UI_HEADERBAR_SETTINGS(h) |
| 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) |
| 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) | 62 #define UI_HEADERBAR_SHOW_TITLE_WIDGET(h, b) |
| 63 #endif | 63 #endif |
| 64 #endif | 64 #endif |
