home *** CD-ROM | disk | FTP | other *** search
/ PC Welt 2006 November (DVD) / PCWELT_11_2006.ISO / casper / filesystem.squashfs / usr / lib / gedit-2 / plugins / externaltools / tools.glade < prev   
Encoding:
Extensible Markup Language  |  2006-08-27  |  28.7 KB  |  732 lines
  1. <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
  2. <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
  3.  
  4. <glade-interface>
  5.  
  6. <widget class="GtkWindow" id="output-panel-window">
  7.   <property name="title" translatable="yes"></property>
  8.   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  9.   <property name="window_position">GTK_WIN_POS_NONE</property>
  10.   <property name="modal">False</property>
  11.   <property name="default_width">440</property>
  12.   <property name="default_height">100</property>
  13.   <property name="resizable">True</property>
  14.   <property name="destroy_with_parent">False</property>
  15.   <property name="decorated">True</property>
  16.   <property name="skip_taskbar_hint">False</property>
  17.   <property name="skip_pager_hint">False</property>
  18.   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  19.   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  20.   <property name="focus_on_map">True</property>
  21.   <property name="urgency_hint">False</property>
  22.  
  23.   <child>
  24.     <widget class="GtkHBox" id="output-panel">
  25.       <property name="visible">True</property>
  26.       <property name="homogeneous">False</property>
  27.       <property name="spacing">0</property>
  28.  
  29.       <child>
  30.     <widget class="GtkScrolledWindow" id="scrolledwindow1">
  31.       <property name="visible">True</property>
  32.       <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  33.       <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  34.       <property name="shadow_type">GTK_SHADOW_IN</property>
  35.       <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  36.  
  37.       <child>
  38.         <widget class="GtkTextView" id="view">
  39.           <property name="visible">True</property>
  40.           <property name="editable">False</property>
  41.           <property name="overwrite">False</property>
  42.           <property name="accepts_tab">False</property>
  43.           <property name="justification">GTK_JUSTIFY_LEFT</property>
  44.           <property name="wrap_mode">GTK_WRAP_WORD</property>
  45.           <property name="cursor_visible">False</property>
  46.           <property name="pixels_above_lines">0</property>
  47.           <property name="pixels_below_lines">0</property>
  48.           <property name="pixels_inside_wrap">0</property>
  49.           <property name="left_margin">0</property>
  50.           <property name="right_margin">0</property>
  51.           <property name="indent">0</property>
  52.           <property name="text" translatable="yes"></property>
  53.         </widget>
  54.       </child>
  55.     </widget>
  56.     <packing>
  57.       <property name="padding">0</property>
  58.       <property name="expand">True</property>
  59.       <property name="fill">True</property>
  60.     </packing>
  61.       </child>
  62.  
  63.       <child>
  64.     <widget class="GtkVButtonBox" id="vbuttonbox1">
  65.       <property name="border_width">6</property>
  66.       <property name="visible">True</property>
  67.       <property name="layout_style">GTK_BUTTONBOX_END</property>
  68.       <property name="spacing">6</property>
  69.  
  70.       <child>
  71.         <widget class="GtkButton" id="stop">
  72.           <property name="visible">True</property>
  73.           <property name="sensitive">False</property>
  74.           <property name="label">gtk-stop</property>
  75.           <property name="use_stock">True</property>
  76.           <property name="relief">GTK_RELIEF_NORMAL</property>
  77.           <property name="focus_on_click">True</property>
  78.           <signal name="clicked" handler="on_stop_clicked"/>
  79.         </widget>
  80.       </child>
  81.     </widget>
  82.     <packing>
  83.       <property name="padding">0</property>
  84.       <property name="expand">False</property>
  85.       <property name="fill">True</property>
  86.     </packing>
  87.       </child>
  88.     </widget>
  89.   </child>
  90. </widget>
  91.  
  92. <widget class="GtkDialog" id="tool-manager-dialog">
  93.   <property name="title" translatable="yes" context="yes">External Tools Manager</property>
  94.   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  95.   <property name="window_position">GTK_WIN_POS_NONE</property>
  96.   <property name="modal">False</property>
  97.   <property name="default_width">400</property>
  98.   <property name="default_height">300</property>
  99.   <property name="resizable">True</property>
  100.   <property name="destroy_with_parent">False</property>
  101.   <property name="role"></property>
  102.   <property name="decorated">True</property>
  103.   <property name="skip_taskbar_hint">True</property>
  104.   <property name="skip_pager_hint">False</property>
  105.   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  106.   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  107.   <property name="focus_on_map">True</property>
  108.   <property name="urgency_hint">False</property>
  109.   <property name="has_separator">False</property>
  110.   <signal name="response" handler="on_tool_manager_dialog_response" last_modification_time="Thu, 12 Jan 2006 22:55:59 GMT"/>
  111.   <signal name="focus_out_event" handler="on_tool_manager_dialog_focus_out" last_modification_time="Sat, 18 Mar 2006 13:08:13 GMT"/>
  112.  
  113.   <child internal-child="vbox">
  114.     <widget class="GtkVBox" id="tool-manager-dialog-vbox">
  115.       <property name="visible">True</property>
  116.       <property name="homogeneous">False</property>
  117.       <property name="spacing">0</property>
  118.  
  119.       <child internal-child="action_area">
  120.     <widget class="GtkHButtonBox" id="hbuttonbox1">
  121.       <property name="visible">True</property>
  122.       <property name="layout_style">GTK_BUTTONBOX_END</property>
  123.  
  124.       <child>
  125.         <widget class="GtkButton" id="button1">
  126.           <property name="visible">True</property>
  127.           <property name="can_default">True</property>
  128.           <property name="can_focus">True</property>
  129.           <property name="label">gtk-help</property>
  130.           <property name="use_stock">True</property>
  131.           <property name="relief">GTK_RELIEF_NORMAL</property>
  132.           <property name="focus_on_click">True</property>
  133.           <property name="response_id">-11</property>
  134.         </widget>
  135.       </child>
  136.  
  137.       <child>
  138.         <widget class="GtkButton" id="button2">
  139.           <property name="visible">True</property>
  140.           <property name="can_default">True</property>
  141.           <property name="can_focus">True</property>
  142.           <property name="label">gtk-close</property>
  143.           <property name="use_stock">True</property>
  144.           <property name="relief">GTK_RELIEF_NORMAL</property>
  145.           <property name="focus_on_click">True</property>
  146.           <property name="response_id">-7</property>
  147.         </widget>
  148.       </child>
  149.     </widget>
  150.     <packing>
  151.       <property name="padding">0</property>
  152.       <property name="expand">False</property>
  153.       <property name="fill">True</property>
  154.       <property name="pack_type">GTK_PACK_END</property>
  155.     </packing>
  156.       </child>
  157.  
  158.       <child>
  159.     <widget class="GtkHPaned" id="paned">
  160.       <property name="border_width">6</property>
  161.       <property name="visible">True</property>
  162.       <property name="can_focus">True</property>
  163.       <property name="position">1</property>
  164.  
  165.       <child>
  166.         <widget class="GtkVBox" id="vbox2">
  167.           <property name="visible">True</property>
  168.           <property name="homogeneous">False</property>
  169.           <property name="spacing">6</property>
  170.  
  171.           <child>
  172.         <widget class="GtkLabel" id="label20">
  173.           <property name="visible">True</property>
  174.           <property name="label" translatable="yes">_Tools:</property>
  175.           <property name="use_underline">True</property>
  176.           <property name="use_markup">False</property>
  177.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  178.           <property name="wrap">False</property>
  179.           <property name="selectable">False</property>
  180.           <property name="xalign">0</property>
  181.           <property name="yalign">0.5</property>
  182.           <property name="xpad">0</property>
  183.           <property name="ypad">0</property>
  184.           <property name="mnemonic_widget">view</property>
  185.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  186.           <property name="width_chars">-1</property>
  187.           <property name="single_line_mode">False</property>
  188.           <property name="angle">0</property>
  189.         </widget>
  190.         <packing>
  191.           <property name="padding">0</property>
  192.           <property name="expand">False</property>
  193.           <property name="fill">False</property>
  194.         </packing>
  195.           </child>
  196.  
  197.           <child>
  198.         <widget class="GtkScrolledWindow" id="scrolled_window1">
  199.           <property name="visible">True</property>
  200.           <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
  201.           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  202.           <property name="shadow_type">GTK_SHADOW_IN</property>
  203.           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  204.  
  205.           <child>
  206.             <widget class="GtkTreeView" id="view">
  207.               <property name="visible">True</property>
  208.               <property name="can_focus">True</property>
  209.               <property name="headers_visible">False</property>
  210.               <property name="rules_hint">False</property>
  211.               <property name="reorderable">True</property>
  212.               <property name="enable_search">True</property>
  213.               <property name="fixed_height_mode">False</property>
  214.               <property name="hover_selection">False</property>
  215.               <property name="hover_expand">False</property>
  216.             </widget>
  217.           </child>
  218.         </widget>
  219.         <packing>
  220.           <property name="padding">0</property>
  221.           <property name="expand">True</property>
  222.           <property name="fill">True</property>
  223.         </packing>
  224.           </child>
  225.  
  226.           <child>
  227.         <widget class="GtkHBox" id="hbox2">
  228.           <property name="visible">True</property>
  229.           <property name="homogeneous">True</property>
  230.           <property name="spacing">8</property>
  231.  
  232.           <child>
  233.             <widget class="GtkButton" id="new-tool-button">
  234.               <property name="visible">True</property>
  235.               <property name="can_default">True</property>
  236.               <property name="label">gtk-new</property>
  237.               <property name="use_stock">True</property>
  238.               <property name="relief">GTK_RELIEF_NORMAL</property>
  239.               <property name="focus_on_click">True</property>
  240.               <signal name="clicked" handler="on_new_tool_button_clicked" last_modification_time="Thu, 29 Dec 2005 22:04:33 GMT"/>
  241.             </widget>
  242.             <packing>
  243.               <property name="padding">0</property>
  244.               <property name="expand">True</property>
  245.               <property name="fill">True</property>
  246.             </packing>
  247.           </child>
  248.  
  249.           <child>
  250.             <widget class="GtkButton" id="remove-tool-button">
  251.               <property name="visible">True</property>
  252.               <property name="can_default">True</property>
  253.               <property name="label">gtk-remove</property>
  254.               <property name="use_stock">True</property>
  255.               <property name="relief">GTK_RELIEF_NORMAL</property>
  256.               <property name="focus_on_click">True</property>
  257.               <signal name="clicked" handler="on_remove_tool_button_clicked" last_modification_time="Thu, 29 Dec 2005 22:09:42 GMT"/>
  258.             </widget>
  259.             <packing>
  260.               <property name="padding">0</property>
  261.               <property name="expand">True</property>
  262.               <property name="fill">True</property>
  263.             </packing>
  264.           </child>
  265.         </widget>
  266.         <packing>
  267.           <property name="padding">0</property>
  268.           <property name="expand">False</property>
  269.           <property name="fill">False</property>
  270.         </packing>
  271.           </child>
  272.         </widget>
  273.         <packing>
  274.           <property name="shrink">False</property>
  275.           <property name="resize">True</property>
  276.         </packing>
  277.       </child>
  278.  
  279.       <child>
  280.         <widget class="GtkVBox" id="vbox5">
  281.           <property name="visible">True</property>
  282.           <property name="homogeneous">False</property>
  283.           <property name="spacing">6</property>
  284.  
  285.           <child>
  286.         <widget class="GtkLabel" id="title">
  287.           <property name="visible">True</property>
  288.           <property name="label" translatable="yes">Edit tool <i>make</i>:</property>
  289.           <property name="use_underline">False</property>
  290.           <property name="use_markup">True</property>
  291.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  292.           <property name="wrap">False</property>
  293.           <property name="selectable">False</property>
  294.           <property name="xalign">0</property>
  295.           <property name="yalign">0.5</property>
  296.           <property name="xpad">0</property>
  297.           <property name="ypad">0</property>
  298.           <property name="mnemonic_widget">view</property>
  299.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  300.           <property name="width_chars">-1</property>
  301.           <property name="single_line_mode">False</property>
  302.           <property name="angle">0</property>
  303.         </widget>
  304.         <packing>
  305.           <property name="padding">0</property>
  306.           <property name="expand">False</property>
  307.           <property name="fill">False</property>
  308.         </packing>
  309.           </child>
  310.  
  311.           <child>
  312.         <widget class="GtkHBox" id="hbox7">
  313.           <property name="visible">True</property>
  314.           <property name="homogeneous">False</property>
  315.           <property name="spacing">0</property>
  316.  
  317.           <child>
  318.             <widget class="GtkLabel" id="label22">
  319.               <property name="visible">True</property>
  320.               <property name="label" translatable="yes">    </property>
  321.               <property name="use_underline">False</property>
  322.               <property name="use_markup">False</property>
  323.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  324.               <property name="wrap">False</property>
  325.               <property name="selectable">False</property>
  326.               <property name="xalign">0.5</property>
  327.               <property name="yalign">0.5</property>
  328.               <property name="xpad">0</property>
  329.               <property name="ypad">0</property>
  330.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  331.               <property name="width_chars">-1</property>
  332.               <property name="single_line_mode">False</property>
  333.               <property name="angle">0</property>
  334.             </widget>
  335.             <packing>
  336.               <property name="padding">0</property>
  337.               <property name="expand">False</property>
  338.               <property name="fill">False</property>
  339.             </packing>
  340.           </child>
  341.  
  342.           <child>
  343.             <widget class="GtkTable" id="tool-table">
  344.               <property name="visible">True</property>
  345.               <property name="n_rows">7</property>
  346.               <property name="n_columns">2</property>
  347.               <property name="homogeneous">False</property>
  348.               <property name="row_spacing">6</property>
  349.               <property name="column_spacing">6</property>
  350.  
  351.               <child>
  352.             <widget class="GtkLabel" id="label5">
  353.               <property name="visible">True</property>
  354.               <property name="label" translatable="yes" context="yes">_Description:</property>
  355.               <property name="use_underline">True</property>
  356.               <property name="use_markup">False</property>
  357.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  358.               <property name="wrap">False</property>
  359.               <property name="selectable">False</property>
  360.               <property name="xalign">0</property>
  361.               <property name="yalign">0.5</property>
  362.               <property name="xpad">0</property>
  363.               <property name="ypad">0</property>
  364.               <property name="mnemonic_widget">description</property>
  365.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  366.               <property name="width_chars">-1</property>
  367.               <property name="single_line_mode">False</property>
  368.               <property name="angle">0</property>
  369.             </widget>
  370.             <packing>
  371.               <property name="left_attach">0</property>
  372.               <property name="right_attach">1</property>
  373.               <property name="top_attach">0</property>
  374.               <property name="bottom_attach">1</property>
  375.               <property name="x_options">fill</property>
  376.               <property name="y_options"></property>
  377.             </packing>
  378.               </child>
  379.  
  380.               <child>
  381.             <widget class="GtkLabel" id="label3">
  382.               <property name="visible">True</property>
  383.               <property name="label" translatable="yes" context="yes">_Accelerator:</property>
  384.               <property name="use_underline">True</property>
  385.               <property name="use_markup">False</property>
  386.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  387.               <property name="wrap">False</property>
  388.               <property name="selectable">False</property>
  389.               <property name="xalign">0</property>
  390.               <property name="yalign">0.5</property>
  391.               <property name="xpad">0</property>
  392.               <property name="ypad">0</property>
  393.               <property name="mnemonic_widget">accelerator</property>
  394.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  395.               <property name="width_chars">-1</property>
  396.               <property name="single_line_mode">False</property>
  397.               <property name="angle">0</property>
  398.             </widget>
  399.             <packing>
  400.               <property name="left_attach">0</property>
  401.               <property name="right_attach">1</property>
  402.               <property name="top_attach">1</property>
  403.               <property name="bottom_attach">2</property>
  404.               <property name="x_options">fill</property>
  405.               <property name="y_options"></property>
  406.             </packing>
  407.               </child>
  408.  
  409.               <child>
  410.             <widget class="GtkLabel" id="label6">
  411.               <property name="label" translatable="yes" context="yes">_Save:</property>
  412.               <property name="use_underline">True</property>
  413.               <property name="use_markup">False</property>
  414.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  415.               <property name="wrap">False</property>
  416.               <property name="selectable">False</property>
  417.               <property name="xalign">0</property>
  418.               <property name="yalign">0.5</property>
  419.               <property name="xpad">0</property>
  420.               <property name="ypad">0</property>
  421.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  422.               <property name="width_chars">-1</property>
  423.               <property name="single_line_mode">False</property>
  424.               <property name="angle">0</property>
  425.             </widget>
  426.             <packing>
  427.               <property name="left_attach">0</property>
  428.               <property name="right_attach">1</property>
  429.               <property name="top_attach">3</property>
  430.               <property name="bottom_attach">4</property>
  431.               <property name="x_options">fill</property>
  432.               <property name="y_options"></property>
  433.             </packing>
  434.               </child>
  435.  
  436.               <child>
  437.             <widget class="GtkLabel" id="label7">
  438.               <property name="visible">True</property>
  439.               <property name="label" translatable="yes" context="yes">_Input:</property>
  440.               <property name="use_underline">True</property>
  441.               <property name="use_markup">False</property>
  442.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  443.               <property name="wrap">False</property>
  444.               <property name="selectable">False</property>
  445.               <property name="xalign">0</property>
  446.               <property name="yalign">0.5</property>
  447.               <property name="xpad">0</property>
  448.               <property name="ypad">0</property>
  449.               <property name="mnemonic_widget">input</property>
  450.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  451.               <property name="width_chars">-1</property>
  452.               <property name="single_line_mode">False</property>
  453.               <property name="angle">0</property>
  454.             </widget>
  455.             <packing>
  456.               <property name="left_attach">0</property>
  457.               <property name="right_attach">1</property>
  458.               <property name="top_attach">4</property>
  459.               <property name="bottom_attach">5</property>
  460.               <property name="x_options">fill</property>
  461.               <property name="y_options"></property>
  462.             </packing>
  463.               </child>
  464.  
  465.               <child>
  466.             <widget class="GtkLabel" id="label8">
  467.               <property name="visible">True</property>
  468.               <property name="label" translatable="yes" context="yes">_Output:</property>
  469.               <property name="use_underline">True</property>
  470.               <property name="use_markup">False</property>
  471.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  472.               <property name="wrap">False</property>
  473.               <property name="selectable">False</property>
  474.               <property name="xalign">0</property>
  475.               <property name="yalign">0.5</property>
  476.               <property name="xpad">0</property>
  477.               <property name="ypad">0</property>
  478.               <property name="mnemonic_widget">output</property>
  479.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  480.               <property name="width_chars">-1</property>
  481.               <property name="single_line_mode">False</property>
  482.               <property name="angle">0</property>
  483.             </widget>
  484.             <packing>
  485.               <property name="left_attach">0</property>
  486.               <property name="right_attach">1</property>
  487.               <property name="top_attach">5</property>
  488.               <property name="bottom_attach">6</property>
  489.               <property name="x_options">fill</property>
  490.               <property name="y_options"></property>
  491.             </packing>
  492.               </child>
  493.  
  494.               <child>
  495.             <widget class="GtkLabel" id="label4">
  496.               <property name="visible">True</property>
  497.               <property name="label" translatable="yes" context="yes">Co_mmand(s):</property>
  498.               <property name="use_underline">True</property>
  499.               <property name="use_markup">False</property>
  500.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  501.               <property name="wrap">False</property>
  502.               <property name="selectable">False</property>
  503.               <property name="xalign">0</property>
  504.               <property name="yalign">0</property>
  505.               <property name="xpad">0</property>
  506.               <property name="ypad">0</property>
  507.               <property name="mnemonic_widget">scrolledwindow3</property>
  508.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  509.               <property name="width_chars">-1</property>
  510.               <property name="single_line_mode">False</property>
  511.               <property name="angle">0</property>
  512.             </widget>
  513.             <packing>
  514.               <property name="left_attach">0</property>
  515.               <property name="right_attach">1</property>
  516.               <property name="top_attach">2</property>
  517.               <property name="bottom_attach">3</property>
  518.               <property name="x_options">fill</property>
  519.               <property name="y_options">fill</property>
  520.             </packing>
  521.               </child>
  522.  
  523.               <child>
  524.             <widget class="GtkLabel" id="label23">
  525.               <property name="visible">True</property>
  526.               <property name="label" translatable="yes">_Applicability:</property>
  527.               <property name="use_underline">True</property>
  528.               <property name="use_markup">False</property>
  529.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  530.               <property name="wrap">False</property>
  531.               <property name="selectable">False</property>
  532.               <property name="xalign">0</property>
  533.               <property name="yalign">0.5</property>
  534.               <property name="xpad">0</property>
  535.               <property name="ypad">0</property>
  536.               <property name="mnemonic_widget">applicability</property>
  537.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  538.               <property name="width_chars">-1</property>
  539.               <property name="single_line_mode">False</property>
  540.               <property name="angle">0</property>
  541.             </widget>
  542.             <packing>
  543.               <property name="left_attach">0</property>
  544.               <property name="right_attach">1</property>
  545.               <property name="top_attach">6</property>
  546.               <property name="bottom_attach">7</property>
  547.               <property name="x_options">fill</property>
  548.               <property name="y_options"></property>
  549.             </packing>
  550.               </child>
  551.  
  552.               <child>
  553.             <widget class="GtkComboBox" id="save-files">
  554.               <property name="items" translatable="yes">Nothing
  555. Current document
  556. All documents</property>
  557.               <property name="add_tearoffs">False</property>
  558.               <property name="focus_on_click">True</property>
  559.               <signal name="focus_out_event" handler="on_save_files_focus_out" last_modification_time="Sun, 15 Jan 2006 12:51:24 GMT"/>
  560.             </widget>
  561.             <packing>
  562.               <property name="left_attach">1</property>
  563.               <property name="right_attach">2</property>
  564.               <property name="top_attach">3</property>
  565.               <property name="bottom_attach">4</property>
  566.               <property name="x_options">expand|shrink|fill</property>
  567.               <property name="y_options">fill</property>
  568.             </packing>
  569.               </child>
  570.  
  571.               <child>
  572.             <widget class="GtkComboBox" id="input">
  573.               <property name="visible">True</property>
  574.               <property name="items" translatable="yes"></property>
  575.               <property name="add_tearoffs">False</property>
  576.               <property name="focus_on_click">True</property>
  577.               <signal name="focus_out_event" handler="on_input_focus_out" last_modification_time="Sun, 15 Jan 2006 12:51:56 GMT"/>
  578.             </widget>
  579.             <packing>
  580.               <property name="left_attach">1</property>
  581.               <property name="right_attach">2</property>
  582.               <property name="top_attach">4</property>
  583.               <property name="bottom_attach">5</property>
  584.               <property name="x_options">expand|shrink|fill</property>
  585.               <property name="y_options">fill</property>
  586.             </packing>
  587.               </child>
  588.  
  589.               <child>
  590.             <widget class="GtkComboBox" id="output">
  591.               <property name="visible">True</property>
  592.               <property name="items" translatable="yes"></property>
  593.               <property name="add_tearoffs">False</property>
  594.               <property name="focus_on_click">True</property>
  595.               <signal name="focus_out_event" handler="on_output_focus_out" last_modification_time="Sun, 15 Jan 2006 12:52:08 GMT"/>
  596.             </widget>
  597.             <packing>
  598.               <property name="left_attach">1</property>
  599.               <property name="right_attach">2</property>
  600.               <property name="top_attach">5</property>
  601.               <property name="bottom_attach">6</property>
  602.               <property name="x_options">expand|shrink|fill</property>
  603.               <property name="y_options">fill</property>
  604.             </packing>
  605.               </child>
  606.  
  607.               <child>
  608.             <widget class="GtkComboBox" id="applicability">
  609.               <property name="visible">True</property>
  610.               <property name="items" translatable="yes"></property>
  611.               <property name="add_tearoffs">False</property>
  612.               <property name="focus_on_click">True</property>
  613.               <signal name="focus_out_event" handler="on_applicability_focus_out" last_modification_time="Sun, 15 Jan 2006 12:58:46 GMT"/>
  614.             </widget>
  615.             <packing>
  616.               <property name="left_attach">1</property>
  617.               <property name="right_attach">2</property>
  618.               <property name="top_attach">6</property>
  619.               <property name="bottom_attach">7</property>
  620.               <property name="x_options">expand|shrink|fill</property>
  621.               <property name="y_options">fill</property>
  622.             </packing>
  623.               </child>
  624.  
  625.               <child>
  626.             <widget class="GtkEntry" id="accelerator">
  627.               <property name="visible">True</property>
  628.               <property name="can_focus">True</property>
  629.               <property name="editable">True</property>
  630.               <property name="visibility">True</property>
  631.               <property name="max_length">0</property>
  632.               <property name="text" translatable="yes" context="yes">F7</property>
  633.               <property name="has_frame">True</property>
  634.               <property name="invisible_char">*</property>
  635.               <property name="activates_default">False</property>
  636.               <signal name="focus_out_event" handler="on_accelerator_focus_out" last_modification_time="Mon, 16 Jan 2006 00:02:25 GMT"/>
  637.               <signal name="focus_in_event" handler="on_accelerator_focus_in" last_modification_time="Mon, 16 Jan 2006 00:02:39 GMT"/>
  638.               <signal name="key_press_event" handler="on_accelerator_key_press" last_modification_time="Mon, 16 Jan 2006 00:02:58 GMT"/>
  639.             </widget>
  640.             <packing>
  641.               <property name="left_attach">1</property>
  642.               <property name="right_attach">2</property>
  643.               <property name="top_attach">1</property>
  644.               <property name="bottom_attach">2</property>
  645.               <property name="x_options">expand|shrink|fill</property>
  646.               <property name="y_options">fill</property>
  647.             </packing>
  648.               </child>
  649.  
  650.               <child>
  651.             <widget class="GtkEntry" id="description">
  652.               <property name="visible">True</property>
  653.               <property name="can_focus">True</property>
  654.               <property name="editable">True</property>
  655.               <property name="visibility">True</property>
  656.               <property name="max_length">0</property>
  657.               <property name="text" translatable="yes" context="yes">Run ΓÇ£makeΓÇ¥ in the document dir</property>
  658.               <property name="has_frame">True</property>
  659.               <property name="invisible_char">*</property>
  660.               <property name="activates_default">False</property>
  661.               <signal name="focus_out_event" handler="on_description_focus_out" last_modification_time="Fri, 13 Jan 2006 17:37:56 GMT"/>
  662.             </widget>
  663.             <packing>
  664.               <property name="left_attach">1</property>
  665.               <property name="right_attach">2</property>
  666.               <property name="top_attach">0</property>
  667.               <property name="bottom_attach">1</property>
  668.               <property name="x_options">expand|shrink|fill</property>
  669.               <property name="y_options">fill</property>
  670.             </packing>
  671.               </child>
  672.  
  673.               <child>
  674.             <widget class="GtkScrolledWindow" id="scrolledwindow3">
  675.               <property name="visible">True</property>
  676.               <property name="can_focus">True</property>
  677.               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  678.               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  679.               <property name="shadow_type">GTK_SHADOW_IN</property>
  680.               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  681.  
  682.               <child>
  683.                 <widget class="Custom" id="commands">
  684.                   <property name="visible">True</property>
  685.                   <property name="can_focus">True</property>
  686.                   <property name="creation_function">create_commands</property>
  687.                   <property name="int1">0</property>
  688.                   <property name="int2">0</property>
  689.                   <property name="last_modification_time">Thu, 23 Feb 2006 00:29:56 GMT</property>
  690.                 </widget>
  691.               </child>
  692.             </widget>
  693.             <packing>
  694.               <property name="left_attach">1</property>
  695.               <property name="right_attach">2</property>
  696.               <property name="top_attach">2</property>
  697.               <property name="bottom_attach">3</property>
  698.             </packing>
  699.               </child>
  700.             </widget>
  701.             <packing>
  702.               <property name="padding">0</property>
  703.               <property name="expand">True</property>
  704.               <property name="fill">True</property>
  705.             </packing>
  706.           </child>
  707.         </widget>
  708.         <packing>
  709.           <property name="padding">0</property>
  710.           <property name="expand">True</property>
  711.           <property name="fill">True</property>
  712.         </packing>
  713.           </child>
  714.         </widget>
  715.         <packing>
  716.           <property name="shrink">False</property>
  717.           <property name="resize">True</property>
  718.         </packing>
  719.       </child>
  720.     </widget>
  721.     <packing>
  722.       <property name="padding">0</property>
  723.       <property name="expand">True</property>
  724.       <property name="fill">True</property>
  725.     </packing>
  726.       </child>
  727.     </widget>
  728.   </child>
  729. </widget>
  730.  
  731. </glade-interface>
  732.