comparison: ui/gtk/headerbar.c
ui/gtk/headerbar.c
- changeset 839
- f1b5e7dd27b9
- parent 823
- 1e1df80772ed
- child 867
- 83bb0dd7123f
equal
deleted
inserted
replaced
| 838:934534c367a4 | 839:f1b5e7dd27b9 |
|---|---|
| 177 enum UiToolbarPos pos) | 177 enum UiToolbarPos pos) |
| 178 { | 178 { |
| 179 GtkWidget *button = gtk_toggle_button_new(); | 179 GtkWidget *button = gtk_toggle_button_new(); |
| 180 ui_set_widget_groups(obj->ctx, button, item->args.groups); | 180 ui_set_widget_groups(obj->ctx, button, item->args.groups); |
| 181 WIDGET_ADD_CSS_CLASS(button, "flat"); | 181 WIDGET_ADD_CSS_CLASS(button, "flat"); |
| 182 ui_setup_togglebutton(obj, button, item->args.label, item->args.icon, NULL/*tooltip*/, item->args.varname, NULL, item->args.onchange, item->args.onchangedata, 0); | 182 ui_setup_togglebutton(obj, button, item->args.label, item->args.icon, item->args.tooltip, item->args.varname, NULL, item->args.onchange, item->args.onchangedata, 0); |
| 183 headerbar_add(headerbar, box, button, pos); | 183 headerbar_add(headerbar, box, button, pos); |
| 184 } | 184 } |
| 185 | 185 |
| 186 void ui_add_headerbar_menu( | 186 void ui_add_headerbar_menu( |
| 187 GtkWidget *headerbar, | 187 GtkWidget *headerbar, |
