843 |
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
844 |
item = gtk_menu_item_new_with_label ("EDI"); |
item = gtk_menu_item_new_with_label ("EDI"); |
845 |
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
846 |
|
item = gtk_menu_item_new_with_label ("labels"); |
847 |
|
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
848 |
gtk_option_menu_set_menu (GTK_OPTION_MENU (filemenu), menu); |
gtk_option_menu_set_menu (GTK_OPTION_MENU (filemenu), menu); |
849 |
gtk_option_menu_set_history (GTK_OPTION_MENU (filemenu), 0); |
gtk_option_menu_set_history (GTK_OPTION_MENU (filemenu), 0); |
850 |
|
|