| 542 |
542 |
| 543 static void |
543 static void |
| 544 aop_menu_cb(GtkWidget *optmenu, GCallback cb) |
544 aop_menu_cb(GtkWidget *optmenu, GCallback cb) |
| 545 { |
545 { |
| 546 if (cb != NULL) { |
546 if (cb != NULL) { |
| 547 ((void (*)(GtkWidget *, gpointer, gpointer))cb)(NULL, |
547 ((void (*)(GtkWidget *, gpointer, gpointer))cb)(optmenu, |
| 548 aop_option_menu_get_selected(optmenu), |
548 aop_option_menu_get_selected(optmenu), |
| 549 g_object_get_data(G_OBJECT(optmenu), "user_data")); |
549 g_object_get_data(G_OBJECT(optmenu), "user_data")); |
| 550 } |
550 } |
| 551 } |
551 } |
| 552 |
552 |