📄 interface.c
字号:
menu_open_kernel = gtk_menu_item_new_with_mnemonic (_("Open _Kernel")); gtk_widget_show (menu_open_kernel); gtk_container_add (GTK_CONTAINER (menuitem1_menu), menu_open_kernel); separator5 = gtk_separator_menu_item_new (); gtk_widget_show (separator5); gtk_container_add (GTK_CONTAINER (menuitem1_menu), separator5); gtk_widget_set_sensitive (separator5, FALSE); menu_save = gtk_image_menu_item_new_from_stock ("gtk-save", accel_group); gtk_widget_show (menu_save); gtk_container_add (GTK_CONTAINER (menuitem1_menu), menu_save); menu_save_as = gtk_image_menu_item_new_from_stock ("gtk-save-as", accel_group); gtk_widget_show (menu_save_as); gtk_container_add (GTK_CONTAINER (menuitem1_menu), menu_save_as); separator6 = gtk_separator_menu_item_new (); gtk_widget_show (separator6); gtk_container_add (GTK_CONTAINER (menuitem1_menu), separator6); gtk_widget_set_sensitive (separator6, FALSE); menu_export_diagram = gtk_menu_item_new_with_mnemonic (_("Export Diagram...")); gtk_widget_show (menu_export_diagram); gtk_container_add (GTK_CONTAINER (menuitem1_menu), menu_export_diagram); separator1 = gtk_separator_menu_item_new (); gtk_widget_show (separator1); gtk_container_add (GTK_CONTAINER (menuitem1_menu), separator1); gtk_widget_set_sensitive (separator1, FALSE); menu_quit = gtk_image_menu_item_new_from_stock ("gtk-quit", accel_group); gtk_widget_show (menu_quit); gtk_container_add (GTK_CONTAINER (menuitem1_menu), menu_quit); view1 = gtk_menu_item_new_with_mnemonic (_("_View")); gtk_widget_show (view1); gtk_container_add (GTK_CONTAINER (menubar2), view1); view1_menu = gtk_menu_new (); gtk_menu_item_set_submenu (GTK_MENU_ITEM (view1), view1_menu); menu_view_diagram = gtk_radio_menu_item_new_with_mnemonic (menu_view_diagram_group, _("Diagram")); menu_view_diagram_group = gtk_radio_menu_item_get_group (GTK_RADIO_MENU_ITEM (menu_view_diagram)); gtk_widget_show (menu_view_diagram); gtk_container_add (GTK_CONTAINER (view1_menu), menu_view_diagram); gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM (menu_view_diagram), TRUE); menu_view_configuration = gtk_radio_menu_item_new_with_mnemonic (menu_view_diagram_group, _("Configuration")); menu_view_diagram_group = gtk_radio_menu_item_get_group (GTK_RADIO_MENU_ITEM (menu_view_configuration)); gtk_widget_show (menu_view_configuration); gtk_container_add (GTK_CONTAINER (view1_menu), menu_view_configuration); gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM (menu_view_configuration), TRUE); separator2 = gtk_separator_menu_item_new (); gtk_widget_show (separator2); gtk_container_add (GTK_CONTAINER (view1_menu), separator2); gtk_widget_set_sensitive (separator2, FALSE); menu_view_toolbar = gtk_check_menu_item_new_with_mnemonic (_("Toolbar")); gtk_widget_show (menu_view_toolbar); gtk_container_add (GTK_CONTAINER (view1_menu), menu_view_toolbar); menu_view_list = gtk_check_menu_item_new_with_mnemonic (_("List Sidebar")); gtk_widget_show (menu_view_list); gtk_container_add (GTK_CONTAINER (view1_menu), menu_view_list); menu_view_element = gtk_check_menu_item_new_with_mnemonic (_("Element Sidebar")); gtk_widget_show (menu_view_element); gtk_container_add (GTK_CONTAINER (view1_menu), menu_view_element); separator3 = gtk_separator_menu_item_new (); gtk_widget_show (separator3); gtk_container_add (GTK_CONTAINER (view1_menu), separator3); gtk_widget_set_sensitive (separator3, FALSE); menu_zoom_in = gtk_image_menu_item_new_with_mnemonic (_("Zoom _In")); gtk_widget_show (menu_zoom_in); gtk_container_add (GTK_CONTAINER (view1_menu), menu_zoom_in); gtk_widget_add_accelerator (menu_zoom_in, "activate", accel_group, GDK_equal, (GdkModifierType) GDK_CONTROL_MASK, GTK_ACCEL_VISIBLE); gtk_widget_add_accelerator (menu_zoom_in, "activate", accel_group, GDK_plus, (GdkModifierType) GDK_CONTROL_MASK, GTK_ACCEL_VISIBLE); image116 = gtk_image_new_from_stock ("gtk-zoom-in", GTK_ICON_SIZE_MENU); gtk_widget_show (image116); gtk_image_menu_item_set_image (GTK_IMAGE_MENU_ITEM (menu_zoom_in), image116); menu_zoom_out = gtk_image_menu_item_new_with_mnemonic (_("Zoom _Out")); gtk_widget_show (menu_zoom_out); gtk_container_add (GTK_CONTAINER (view1_menu), menu_zoom_out); gtk_widget_add_accelerator (menu_zoom_out, "activate", accel_group, GDK_minus, (GdkModifierType) GDK_CONTROL_MASK, GTK_ACCEL_VISIBLE); image117 = gtk_image_new_from_stock ("gtk-zoom-out", GTK_ICON_SIZE_MENU); gtk_widget_show (image117); gtk_image_menu_item_set_image (GTK_IMAGE_MENU_ITEM (menu_zoom_out), image117); menu_normal_size = gtk_image_menu_item_new_with_mnemonic (_("Normal Size")); gtk_widget_show (menu_normal_size); gtk_container_add (GTK_CONTAINER (view1_menu), menu_normal_size); image118 = gtk_image_new_from_stock ("gtk-zoom-100", GTK_ICON_SIZE_MENU); gtk_widget_show (image118); gtk_image_menu_item_set_image (GTK_IMAGE_MENU_ITEM (menu_normal_size), image118); menu_zoom_fit = gtk_image_menu_item_new_from_stock ("gtk-zoom-fit", accel_group); gtk_widget_show (menu_zoom_fit); gtk_container_add (GTK_CONTAINER (view1_menu), menu_zoom_fit); item1 = gtk_menu_item_new_with_mnemonic (_("_Configuration")); gtk_widget_show (item1); gtk_container_add (GTK_CONTAINER (menubar2), item1); item1_menu = gtk_menu_new (); gtk_menu_item_set_submenu (GTK_MENU_ITEM (item1), item1_menu); menu_check = gtk_image_menu_item_new_with_mnemonic (_("Check for Errors")); gtk_widget_show (menu_check); gtk_container_add (GTK_CONTAINER (item1_menu), menu_check); gtk_widget_add_accelerator (menu_check, "activate", accel_group, GDK_k, (GdkModifierType) GDK_CONTROL_MASK, GTK_ACCEL_VISIBLE); image119 = gtk_image_new_from_stock ("gtk-apply", GTK_ICON_SIZE_MENU); gtk_widget_show (image119); gtk_image_menu_item_set_image (GTK_IMAGE_MENU_ITEM (menu_check), image119); menu_install = gtk_image_menu_item_new_with_mnemonic (_("_Install")); gtk_widget_show (menu_install); gtk_container_add (GTK_CONTAINER (item1_menu), menu_install); image120 = gtk_image_new_from_stock ("gtk-execute", GTK_ICON_SIZE_MENU); gtk_widget_show (image120); gtk_image_menu_item_set_image (GTK_IMAGE_MENU_ITEM (menu_install), image120); separator4 = gtk_separator_menu_item_new (); gtk_widget_show (separator4); gtk_container_add (GTK_CONTAINER (item1_menu), separator4); gtk_widget_set_sensitive (separator4, FALSE); item2 = gtk_menu_item_new_with_mnemonic (_("Driver")); gtk_widget_show (item2); gtk_container_add (GTK_CONTAINER (item1_menu), item2); item2_menu = gtk_menu_new (); gtk_menu_item_set_submenu (GTK_MENU_ITEM (item2), item2_menu); menu_config_userlevel = gtk_radio_menu_item_new_with_mnemonic (menu_config_userlevel_group, _("User-Level")); menu_config_userlevel_group = gtk_radio_menu_item_get_group (GTK_RADIO_MENU_ITEM (menu_config_userlevel)); gtk_widget_show (menu_config_userlevel); gtk_container_add (GTK_CONTAINER (item2_menu), menu_config_userlevel); gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM (menu_config_userlevel), TRUE); menu_config_linuxmodule = gtk_radio_menu_item_new_with_mnemonic (menu_config_userlevel_group, _("Linux Kernel")); menu_config_userlevel_group = gtk_radio_menu_item_get_group (GTK_RADIO_MENU_ITEM (menu_config_linuxmodule)); gtk_widget_show (menu_config_linuxmodule); gtk_container_add (GTK_CONTAINER (item2_menu), menu_config_linuxmodule); gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM (menu_config_linuxmodule), TRUE); menu_config_bsdmodule = gtk_radio_menu_item_new_with_mnemonic (menu_config_userlevel_group, _("FreeBSD Kernel")); menu_config_userlevel_group = gtk_radio_menu_item_get_group (GTK_RADIO_MENU_ITEM (menu_config_bsdmodule)); gtk_widget_show (menu_config_bsdmodule); gtk_container_add (GTK_CONTAINER (item2_menu), menu_config_bsdmodule); gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM (menu_config_bsdmodule), TRUE); menu_config_ns = gtk_radio_menu_item_new_with_mnemonic (menu_config_userlevel_group, _("NS Simulator")); menu_config_userlevel_group = gtk_radio_menu_item_get_group (GTK_RADIO_MENU_ITEM (menu_config_ns)); gtk_widget_show (menu_config_ns); gtk_container_add (GTK_CONTAINER (item2_menu), menu_config_ns); gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM (menu_config_ns), TRUE); toolbar1 = gtk_toolbar_new (); gtk_widget_show (toolbar1); gtk_box_pack_start (GTK_BOX (vbox1), toolbar1, FALSE, FALSE, 0); gtk_toolbar_set_style (GTK_TOOLBAR (toolbar1), GTK_TOOLBAR_BOTH); tmp_toolbar_icon_size = gtk_toolbar_get_icon_size (GTK_TOOLBAR (toolbar1)); tmp_image = gtk_image_new_from_stock ("gtk-apply", tmp_toolbar_icon_size); gtk_widget_show (tmp_image); toolbar_check = (GtkWidget*) gtk_tool_button_new (tmp_image, _("Check")); gtk_widget_show (toolbar_check); gtk_container_add (GTK_CONTAINER (toolbar1), toolbar_check); gtk_widget_set_sensitive (toolbar_check, FALSE); tmp_image = gtk_image_new_from_stock ("gtk-execute", tmp_toolbar_icon_size); gtk_widget_show (tmp_image); toolbar_install = (GtkWidget*) gtk_tool_button_new (tmp_image, _("Install")); gtk_widget_show (toolbar_install); gtk_container_add (GTK_CONTAINER (toolbar1), toolbar_install); gtk_widget_set_sensitive (toolbar_install, FALSE); toolbar_save = (GtkWidget*) gtk_tool_button_new_from_stock ("gtk-save"); gtk_widget_show (toolbar_save); gtk_container_add (GTK_CONTAINER (toolbar1), toolbar_save); toolbar_diagram = (GtkWidget*) gtk_toggle_tool_button_new (); gtk_tool_button_set_label (GTK_TOOL_BUTTON (toolbar_diagram), _("Diagram")); tmp_image = gtk_image_new_from_stock ("gtk-properties", tmp_toolbar_icon_size); gtk_widget_show (tmp_image); gtk_tool_button_set_icon_widget (GTK_TOOL_BUTTON (toolbar_diagram), tmp_image); gtk_widget_show (toolbar_diagram); gtk_container_add (GTK_CONTAINER (toolbar1), toolbar_diagram); throbberitem = (GtkWidget*) gtk_tool_item_new (); gtk_widget_show (throbberitem); gtk_tool_item_set_expand (GTK_TOOL_ITEM (throbberitem), TRUE); gtk_container_add (GTK_CONTAINER (toolbar1), throbberitem); throbberbox = gtk_hbox_new (FALSE, 0); gtk_widget_show (throbberbox); gtk_container_add (GTK_CONTAINER (throbberitem), throbberbox); throbber = create_pixmap (mainw, NULL); gtk_widget_show (throbber); gtk_box_pack_end (GTK_BOX (throbberbox), throbber, FALSE, FALSE, 0); gtk_misc_set_alignment (GTK_MISC (throbber), 1, 0.5); gtk_misc_set_padding (GTK_MISC (throbber), 3, 0); mainhbox = gtk_hbox_new (FALSE, 0); gtk_widget_show (mainhbox); gtk_box_pack_start (GTK_BOX (vbox1), mainhbox, TRUE, TRUE, 2); eviewpane = gtk_hpaned_new (); gtk_widget_show (eviewpane); gtk_box_pack_start (GTK_BOX (mainhbox), eviewpane, TRUE, TRUE, 2); gtk_paned_set_position (GTK_PANED (eviewpane), 0); hpaned1 = gtk_hpaned_new (); gtk_widget_show (hpaned1); gtk_paned_pack1 (GTK_PANED (eviewpane), hpaned1, FALSE, TRUE); errorpane = gtk_vpaned_new (); gtk_widget_show (errorpane); gtk_paned_pack1 (GTK_PANED (hpaned1), errorpane, FALSE, TRUE); gtk_widget_set_size_request (errorpane, 220, -1); gtk_paned_set_position (GTK_PANED (errorpane), 0); errorviewbox = gtk_vbox_new (FALSE, 0); gtk_paned_pack1 (GTK_PANED (errorpane), errorviewbox, TRUE, FALSE); errorviewexpander = gtk_expander_new (NULL); gtk_widget_show (errorviewexpander); gtk_box_pack_start (GTK_BOX (errorviewbox), errorviewexpander, FALSE, FALSE, 0); gtk_expander_set_expanded (GTK_EXPANDER (errorviewexpander), TRUE); label15 = gtk_label_new (_("<b>Errors</b>")); gtk_widget_show (label15); gtk_expander_set_label_widget (GTK_EXPANDER (errorviewexpander), label15); gtk_label_set_use_markup (GTK_LABEL (label15), TRUE); errorviewwindow = gtk_scrolled_window_new (NULL, NULL); gtk_widget_show (errorviewwindow); gtk_box_pack_start (GTK_BOX (errorviewbox), errorviewwindow, TRUE, TRUE, 0); gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (errorviewwindow), GTK_POLICY_NEVER, GTK_POLICY_AUTOMATIC); gtk_scrolled_window_set_shadow_type (GTK_SCROLLED_WINDOW (errorviewwindow), GTK_SHADOW_IN); errorview = gtk_text_view_new (); gtk_widget_show (errorview); gtk_container_add (GTK_CONTAINER (errorviewwindow), errorview); gtk_text_view_set_editable (GTK_TEXT_VIEW (errorview), FALSE); gtk_text_view_set_accepts_tab (GTK_TEXT_VIEW (errorview), FALSE); gtk_text_view_set_wrap_mode (GTK_TEXT_VIEW (errorview), GTK_WRAP_WORD); gtk_text_view_set_cursor_visible (GTK_TEXT_VIEW (errorview), FALSE); elementtreebox = gtk_vbox_new (FALSE, 0); gtk_widget_show (elementtreebox); gtk_paned_pack2 (GTK_PANED (errorpane), elementtreebox, TRUE, FALSE); elementtreelabelbox = gtk_hbox_new (FALSE, 0); gtk_widget_show (elementtreelabelbox); gtk_box_pack_start (GTK_BOX (elementtreebox), elementtreelabelbox, FALSE, TRUE, 0); elementtreelabel = gtk_label_new (_("<b>List</b>")); gtk_widget_show (elementtreelabel); gtk_box_pack_start (GTK_BOX (elementtreelabelbox), elementtreelabel, FALSE, TRUE, 0); gtk_label_set_use_markup (GTK_LABEL (elementtreelabel), TRUE); gtk_misc_set_alignment (GTK_MISC (elementtreelabel), 0, 0.5); gtk_misc_set_padding (GTK_MISC (elementtreelabel), 0, 2); elementtreesort = gtk_button_new_with_mnemonic (_("Sort: None")); gtk_widget_show (elementtreesort); gtk_box_pack_end (GTK_BOX (elementtreelabelbox), elementtreesort, FALSE, FALSE, 0); gtk_button_set_relief (GTK_BUTTON (elementtreesort), GTK_RELIEF_NONE); gtk_button_set_focus_on_click (GTK_BUTTON (elementtreesort), FALSE); elementtreeexpander = gtk_expander_new (NULL); gtk_box_pack_start (GTK_BOX (elementtreelabelbox), elementtreeexpander, TRUE, TRUE, 0);
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -