comparison: ui/gtk/list.c
ui/gtk/list.c
- changeset 743
- 85588901880f
- parent 742
- f63d8125fcbd
- child 745
- a4ee36ff7147
equal
deleted
inserted
replaced
| 742:f63d8125fcbd | 743:85588901880f |
|---|---|
| 2051 | 2051 |
| 2052 // badge | 2052 // badge |
| 2053 if(item->badge) { | 2053 if(item->badge) { |
| 2054 GtkWidget *badge = gtk_label_new(item->badge); | 2054 GtkWidget *badge = gtk_label_new(item->badge); |
| 2055 WIDGET_ADD_CSS_CLASS(badge, "ui-badge"); | 2055 WIDGET_ADD_CSS_CLASS(badge, "ui-badge"); |
| 2056 #if GTK_CHECK_VERSION(4, 0, 0) | 2056 #if GTK_CHECK_VERSION(3, 14, 0) |
| 2057 gtk_widget_set_valign(badge, GTK_ALIGN_CENTER); | 2057 gtk_widget_set_valign(badge, GTK_ALIGN_CENTER); |
| 2058 BOX_ADD(hbox, badge); | 2058 BOX_ADD(hbox, badge); |
| 2059 #else | 2059 #else |
| 2060 GtkWidget *align = gtk_alignment_new(0.5, 0.5, 0, 0); | 2060 GtkWidget *align = gtk_alignment_new(0.5, 0.5, 0, 0); |
| 2061 gtk_container_add(GTK_CONTAINER(align), badge); | 2061 gtk_container_add(GTK_CONTAINER(align), badge); |
