comparison: src/gtkutils.c
src/gtkutils.c
- changeset 4687
- 91ad36873636
- parent 4398
- ba901bb913e5
- child 4793
- 1da93f6c80f3
equal
deleted
inserted
replaced
| 4686:73697fa39752 | 4687:91ad36873636 |
|---|---|
| 388 sensitivity = GTK_WIDGET_IS_SENSITIVE(to_toggle); | 388 sensitivity = GTK_WIDGET_IS_SENSITIVE(to_toggle); |
| 389 | 389 |
| 390 gtk_widget_set_sensitive(to_toggle, !sensitivity); | 390 gtk_widget_set_sensitive(to_toggle, !sensitivity); |
| 391 } | 391 } |
| 392 | 392 |
| 393 void gaim_separator(GtkWidget *menu) | |
| 394 { | |
| 395 GtkWidget *menuitem; | |
| 396 | |
| 397 menuitem = gtk_separator_menu_item_new(); | |
| 398 gtk_widget_show(menuitem); | |
| 399 gtk_menu_shell_append(GTK_MENU_SHELL(menu), menuitem); | |
| 400 } |
