622 |
gtk_widget_show (filemenu); |
gtk_widget_show (filemenu); |
623 |
gtk_box_pack_start (GTK_BOX (hbox), filemenu, FALSE, FALSE, 0); |
gtk_box_pack_start (GTK_BOX (hbox), filemenu, FALSE, FALSE, 0); |
624 |
menu = gtk_menu_new (); |
menu = gtk_menu_new (); |
625 |
|
/* Keep entries in same order as enum log_file_type in logfile/logfile.h */ |
626 |
item = gtk_menu_item_new_with_label ("xlog"); |
item = gtk_menu_item_new_with_label ("xlog"); |
627 |
gtk_widget_show (item); |
gtk_widget_show (item); |
628 |
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
638 |
item = gtk_menu_item_new_with_label ("editest"); |
item = gtk_menu_item_new_with_label ("editest"); |
639 |
gtk_widget_show (item); |
gtk_widget_show (item); |
640 |
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
641 |
|
item = gtk_menu_item_new_with_label ("trlog"); |
642 |
|
gtk_widget_show (item); |
643 |
|
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
644 |
|
item = gtk_menu_item_new_with_label ("EDI"); |
645 |
|
gtk_widget_show (item); |
646 |
|
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
647 |
gtk_option_menu_set_menu (GTK_OPTION_MENU (filemenu), menu); |
gtk_option_menu_set_menu (GTK_OPTION_MENU (filemenu), menu); |
648 |
gtk_option_menu_set_history (GTK_OPTION_MENU (filemenu), 0); |
gtk_option_menu_set_history (GTK_OPTION_MENU (filemenu), 0); |
649 |
|
|
687 |
item = gtk_menu_item_new_with_label ("cabrillo"); |
item = gtk_menu_item_new_with_label ("cabrillo"); |
688 |
gtk_widget_show (item); |
gtk_widget_show (item); |
689 |
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
690 |
|
item = gtk_menu_item_new_with_label ("trlog"); |
691 |
|
gtk_widget_show (item); |
692 |
|
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
693 |
|
item = gtk_menu_item_new_with_label ("EDI"); |
694 |
|
gtk_widget_show (item); |
695 |
|
gtk_menu_shell_append (GTK_MENU_SHELL (menu), item); |
696 |
gtk_option_menu_set_menu (GTK_OPTION_MENU (filemenu), menu); |
gtk_option_menu_set_menu (GTK_OPTION_MENU (filemenu), menu); |
697 |
gtk_option_menu_set_history (GTK_OPTION_MENU (filemenu), 0); |
gtk_option_menu_set_history (GTK_OPTION_MENU (filemenu), 0); |
698 |
|
|