home *** CD-ROM | disk | FTP | other *** search
/ Freelog 65 / Freelog065.iso / BAS / Bureautique / Gnumeric / gnumeric-1.3.92-rc1.exe / solver.glade < prev    next >
Extensible Markup Language  |  2004-11-01  |  41KB  |  1,080 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="GtkDialog" id="Solver">
  7.   <property name="title" translatable="yes">Solver</property>
  8.   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  9.   <property name="window_position">GTK_WIN_POS_MOUSE</property>
  10.   <property name="modal">False</property>
  11.   <property name="resizable">True</property>
  12.   <property name="destroy_with_parent">False</property>
  13.   <property name="decorated">True</property>
  14.   <property name="skip_taskbar_hint">False</property>
  15.   <property name="skip_pager_hint">False</property>
  16.   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  17.   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  18.   <property name="has_separator">True</property>
  19.  
  20.   <child internal-child="vbox">
  21.     <widget class="GtkVBox" id="dialog-vbox4">
  22.       <property name="visible">True</property>
  23.       <property name="homogeneous">False</property>
  24.       <property name="spacing">0</property>
  25.  
  26.       <child internal-child="action_area">
  27.     <widget class="GtkHButtonBox" id="dialog-action_area4">
  28.       <property name="visible">True</property>
  29.       <property name="layout_style">GTK_BUTTONBOX_END</property>
  30.  
  31.       <child>
  32.         <widget class="GtkButton" id="helpbutton">
  33.           <property name="visible">True</property>
  34.           <property name="can_default">True</property>
  35.           <property name="can_focus">True</property>
  36.           <property name="label">gtk-help</property>
  37.           <property name="use_stock">True</property>
  38.           <property name="relief">GTK_RELIEF_NORMAL</property>
  39.           <property name="focus_on_click">True</property>
  40.           <property name="response_id">0</property>
  41.         </widget>
  42.       </child>
  43.  
  44.       <child>
  45.         <widget class="GtkButton" id="cancelbutton">
  46.           <property name="visible">True</property>
  47.           <property name="can_default">True</property>
  48.           <property name="can_focus">True</property>
  49.           <property name="label">gtk-cancel</property>
  50.           <property name="use_stock">True</property>
  51.           <property name="relief">GTK_RELIEF_NORMAL</property>
  52.           <property name="focus_on_click">True</property>
  53.           <property name="response_id">0</property>
  54.         </widget>
  55.       </child>
  56.  
  57.       <child>
  58.         <widget class="GtkButton" id="closebutton">
  59.           <property name="visible">True</property>
  60.           <property name="can_default">True</property>
  61.           <property name="can_focus">True</property>
  62.           <property name="label">gtk-close</property>
  63.           <property name="use_stock">True</property>
  64.           <property name="relief">GTK_RELIEF_NORMAL</property>
  65.           <property name="focus_on_click">True</property>
  66.           <property name="response_id">0</property>
  67.         </widget>
  68.       </child>
  69.  
  70.       <child>
  71.         <widget class="GtkButton" id="solvebutton">
  72.           <property name="visible">True</property>
  73.           <property name="can_default">True</property>
  74.           <property name="has_default">True</property>
  75.           <property name="can_focus">True</property>
  76.           <property name="label" translatable="yes">Solve</property>
  77.           <property name="use_underline">True</property>
  78.           <property name="relief">GTK_RELIEF_NORMAL</property>
  79.           <property name="focus_on_click">True</property>
  80.           <property name="response_id">0</property>
  81.         </widget>
  82.       </child>
  83.     </widget>
  84.     <packing>
  85.       <property name="padding">0</property>
  86.       <property name="expand">False</property>
  87.       <property name="fill">True</property>
  88.       <property name="pack_type">GTK_PACK_END</property>
  89.     </packing>
  90.       </child>
  91.  
  92.       <child>
  93.     <widget class="GtkNotebook" id="notebook1">
  94.       <property name="border_width">10</property>
  95.       <property name="visible">True</property>
  96.       <property name="can_focus">True</property>
  97.       <property name="show_tabs">True</property>
  98.       <property name="show_border">True</property>
  99.       <property name="tab_pos">GTK_POS_TOP</property>
  100.       <property name="scrollable">False</property>
  101.       <property name="enable_popup">False</property>
  102.  
  103.       <child>
  104.         <widget class="GtkTable" id="parameter_table">
  105.           <property name="visible">True</property>
  106.           <property name="n_rows">4</property>
  107.           <property name="n_columns">2</property>
  108.           <property name="homogeneous">False</property>
  109.           <property name="row_spacing">5</property>
  110.           <property name="column_spacing">5</property>
  111.  
  112.           <child>
  113.         <widget class="GtkLabel" id="label14">
  114.           <property name="visible">True</property>
  115.           <property name="label" translatable="yes">_Set Target Cell:       </property>
  116.           <property name="use_underline">True</property>
  117.           <property name="use_markup">False</property>
  118.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  119.           <property name="wrap">False</property>
  120.           <property name="selectable">False</property>
  121.           <property name="xalign">0</property>
  122.           <property name="yalign">0.5</property>
  123.           <property name="xpad">5</property>
  124.           <property name="ypad">5</property>
  125.         </widget>
  126.         <packing>
  127.           <property name="left_attach">0</property>
  128.           <property name="right_attach">1</property>
  129.           <property name="top_attach">0</property>
  130.           <property name="bottom_attach">1</property>
  131.           <property name="y_options"></property>
  132.         </packing>
  133.           </child>
  134.  
  135.           <child>
  136.         <widget class="GtkHBox" id="hbox10">
  137.           <property name="visible">True</property>
  138.           <property name="homogeneous">True</property>
  139.           <property name="spacing">0</property>
  140.  
  141.           <child>
  142.             <widget class="GtkRadioButton" id="max_button">
  143.               <property name="visible">True</property>
  144.               <property name="can_focus">True</property>
  145.               <property name="label" translatable="yes">_Max</property>
  146.               <property name="use_underline">True</property>
  147.               <property name="relief">GTK_RELIEF_NORMAL</property>
  148.               <property name="focus_on_click">True</property>
  149.               <property name="active">False</property>
  150.               <property name="inconsistent">False</property>
  151.               <property name="draw_indicator">True</property>
  152.             </widget>
  153.             <packing>
  154.               <property name="padding">5</property>
  155.               <property name="expand">True</property>
  156.               <property name="fill">True</property>
  157.             </packing>
  158.           </child>
  159.  
  160.           <child>
  161.             <widget class="GtkRadioButton" id="min_button">
  162.               <property name="visible">True</property>
  163.               <property name="can_focus">True</property>
  164.               <property name="label" translatable="yes">M_in</property>
  165.               <property name="use_underline">True</property>
  166.               <property name="relief">GTK_RELIEF_NORMAL</property>
  167.               <property name="focus_on_click">True</property>
  168.               <property name="active">False</property>
  169.               <property name="inconsistent">False</property>
  170.               <property name="draw_indicator">True</property>
  171.               <property name="group">max_button</property>
  172.             </widget>
  173.             <packing>
  174.               <property name="padding">5</property>
  175.               <property name="expand">True</property>
  176.               <property name="fill">True</property>
  177.             </packing>
  178.           </child>
  179.         </widget>
  180.         <packing>
  181.           <property name="left_attach">1</property>
  182.           <property name="right_attach">2</property>
  183.           <property name="top_attach">1</property>
  184.           <property name="bottom_attach">2</property>
  185.           <property name="x_options">fill</property>
  186.           <property name="y_options">fill</property>
  187.         </packing>
  188.           </child>
  189.  
  190.           <child>
  191.         <widget class="GtkLabel" id="label15">
  192.           <property name="visible">True</property>
  193.           <property name="label" translatable="yes">B_y Changing Cells: </property>
  194.           <property name="use_underline">True</property>
  195.           <property name="use_markup">False</property>
  196.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  197.           <property name="wrap">False</property>
  198.           <property name="selectable">False</property>
  199.           <property name="xalign">0</property>
  200.           <property name="yalign">0.5</property>
  201.           <property name="xpad">0</property>
  202.           <property name="ypad">0</property>
  203.         </widget>
  204.         <packing>
  205.           <property name="left_attach">0</property>
  206.           <property name="right_attach">1</property>
  207.           <property name="top_attach">2</property>
  208.           <property name="bottom_attach">3</property>
  209.           <property name="x_padding">5</property>
  210.           <property name="y_padding">5</property>
  211.           <property name="y_options"></property>
  212.         </packing>
  213.           </child>
  214.  
  215.           <child>
  216.         <widget class="GtkLabel" id="label1">
  217.           <property name="visible">True</property>
  218.           <property name="label" translatable="yes">_Equal To:</property>
  219.           <property name="use_underline">True</property>
  220.           <property name="use_markup">False</property>
  221.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  222.           <property name="wrap">False</property>
  223.           <property name="selectable">False</property>
  224.           <property name="xalign">0</property>
  225.           <property name="yalign">0.5</property>
  226.           <property name="xpad">0</property>
  227.           <property name="ypad">0</property>
  228.         </widget>
  229.         <packing>
  230.           <property name="left_attach">0</property>
  231.           <property name="right_attach">1</property>
  232.           <property name="top_attach">1</property>
  233.           <property name="bottom_attach">2</property>
  234.           <property name="x_padding">5</property>
  235.           <property name="y_padding">5</property>
  236.           <property name="y_options"></property>
  237.         </packing>
  238.           </child>
  239.         </widget>
  240.         <packing>
  241.           <property name="tab_expand">False</property>
  242.           <property name="tab_fill">True</property>
  243.         </packing>
  244.       </child>
  245.  
  246.       <child>
  247.         <widget class="GtkLabel" id="label9">
  248.           <property name="visible">True</property>
  249.           <property name="label" translatable="yes">Parameters</property>
  250.           <property name="use_underline">False</property>
  251.           <property name="use_markup">False</property>
  252.           <property name="justify">GTK_JUSTIFY_CENTER</property>
  253.           <property name="wrap">False</property>
  254.           <property name="selectable">False</property>
  255.           <property name="xalign">0.5</property>
  256.           <property name="yalign">0.5</property>
  257.           <property name="xpad">0</property>
  258.           <property name="ypad">0</property>
  259.         </widget>
  260.         <packing>
  261.           <property name="type">tab</property>
  262.         </packing>
  263.       </child>
  264.  
  265.       <child>
  266.         <widget class="GtkTable" id="options_table">
  267.           <property name="border_width">8</property>
  268.           <property name="visible">True</property>
  269.           <property name="n_rows">3</property>
  270.           <property name="n_columns">2</property>
  271.           <property name="homogeneous">False</property>
  272.           <property name="row_spacing">12</property>
  273.           <property name="column_spacing">12</property>
  274.  
  275.           <child>
  276.         <widget class="GtkRadioButton" id="lp_model_button">
  277.           <property name="visible">True</property>
  278.           <property name="can_focus">True</property>
  279.           <property name="label" translatable="yes">_Linear Model (LP/MILP)</property>
  280.           <property name="use_underline">True</property>
  281.           <property name="relief">GTK_RELIEF_NORMAL</property>
  282.           <property name="focus_on_click">True</property>
  283.           <property name="active">True</property>
  284.           <property name="inconsistent">False</property>
  285.           <property name="draw_indicator">True</property>
  286.         </widget>
  287.         <packing>
  288.           <property name="left_attach">0</property>
  289.           <property name="right_attach">1</property>
  290.           <property name="top_attach">0</property>
  291.           <property name="bottom_attach">1</property>
  292.           <property name="x_options">fill</property>
  293.           <property name="y_options"></property>
  294.         </packing>
  295.           </child>
  296.  
  297.           <child>
  298.         <widget class="GtkRadioButton" id="qp_model_button">
  299.           <property name="visible">True</property>
  300.           <property name="can_focus">True</property>
  301.           <property name="label" translatable="yes">_Quadratic Model (QP/MIQP)</property>
  302.           <property name="use_underline">True</property>
  303.           <property name="relief">GTK_RELIEF_NORMAL</property>
  304.           <property name="focus_on_click">True</property>
  305.           <property name="active">False</property>
  306.           <property name="inconsistent">False</property>
  307.           <property name="draw_indicator">True</property>
  308.           <property name="group">lp_model_button</property>
  309.         </widget>
  310.         <packing>
  311.           <property name="left_attach">1</property>
  312.           <property name="right_attach">2</property>
  313.           <property name="top_attach">0</property>
  314.           <property name="bottom_attach">1</property>
  315.           <property name="x_options">fill</property>
  316.           <property name="y_options"></property>
  317.         </packing>
  318.           </child>
  319.  
  320.           <child>
  321.         <widget class="GtkCheckButton" id="non_neg_button">
  322.           <property name="visible">True</property>
  323.           <property name="can_focus">True</property>
  324.           <property name="label" translatable="yes">Assume _Non-Negative</property>
  325.           <property name="use_underline">True</property>
  326.           <property name="relief">GTK_RELIEF_NORMAL</property>
  327.           <property name="focus_on_click">True</property>
  328.           <property name="active">True</property>
  329.           <property name="inconsistent">False</property>
  330.           <property name="draw_indicator">True</property>
  331.         </widget>
  332.         <packing>
  333.           <property name="left_attach">0</property>
  334.           <property name="right_attach">1</property>
  335.           <property name="top_attach">1</property>
  336.           <property name="bottom_attach">2</property>
  337.           <property name="x_options">fill</property>
  338.           <property name="y_options"></property>
  339.         </packing>
  340.           </child>
  341.  
  342.           <child>
  343.         <widget class="GtkCheckButton" id="all_int_button">
  344.           <property name="visible">True</property>
  345.           <property name="can_focus">True</property>
  346.           <property name="label" translatable="yes">Assume _Integer (Discrete)</property>
  347.           <property name="use_underline">True</property>
  348.           <property name="relief">GTK_RELIEF_NORMAL</property>
  349.           <property name="focus_on_click">True</property>
  350.           <property name="active">False</property>
  351.           <property name="inconsistent">False</property>
  352.           <property name="draw_indicator">True</property>
  353.         </widget>
  354.         <packing>
  355.           <property name="left_attach">1</property>
  356.           <property name="right_attach">2</property>
  357.           <property name="top_attach">1</property>
  358.           <property name="bottom_attach">2</property>
  359.           <property name="x_options">fill</property>
  360.           <property name="y_options"></property>
  361.         </packing>
  362.           </child>
  363.  
  364.           <child>
  365.         <widget class="GtkComboBox" id="algorithm_combo">
  366.           <property name="visible">True</property>
  367.         </widget>
  368.         <packing>
  369.           <property name="left_attach">1</property>
  370.           <property name="right_attach">2</property>
  371.           <property name="top_attach">2</property>
  372.           <property name="bottom_attach">3</property>
  373.           <property name="y_options"></property>
  374.         </packing>
  375.           </child>
  376.  
  377.           <child>
  378.         <widget class="GtkLabel" id="label21">
  379.           <property name="visible">True</property>
  380.           <property name="label" translatable="yes">_Algorithm:</property>
  381.           <property name="use_underline">True</property>
  382.           <property name="use_markup">False</property>
  383.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  384.           <property name="wrap">False</property>
  385.           <property name="selectable">False</property>
  386.           <property name="xalign">0.89</property>
  387.           <property name="yalign">0.5</property>
  388.           <property name="xpad">0</property>
  389.           <property name="ypad">0</property>
  390.         </widget>
  391.         <packing>
  392.           <property name="left_attach">0</property>
  393.           <property name="right_attach">1</property>
  394.           <property name="top_attach">2</property>
  395.           <property name="bottom_attach">3</property>
  396.           <property name="x_options">fill</property>
  397.           <property name="y_options"></property>
  398.         </packing>
  399.           </child>
  400.         </widget>
  401.         <packing>
  402.           <property name="tab_expand">False</property>
  403.           <property name="tab_fill">True</property>
  404.         </packing>
  405.       </child>
  406.  
  407.       <child>
  408.         <widget class="GtkLabel" id="label25">
  409.           <property name="visible">True</property>
  410.           <property name="label" translatable="yes">Model</property>
  411.           <property name="use_underline">False</property>
  412.           <property name="use_markup">False</property>
  413.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  414.           <property name="wrap">False</property>
  415.           <property name="selectable">False</property>
  416.           <property name="xalign">0.5</property>
  417.           <property name="yalign">0.5</property>
  418.           <property name="xpad">0</property>
  419.           <property name="ypad">0</property>
  420.         </widget>
  421.         <packing>
  422.           <property name="type">tab</property>
  423.         </packing>
  424.       </child>
  425.  
  426.       <child>
  427.         <widget class="GtkVBox" id="vbox7">
  428.           <property name="visible">True</property>
  429.           <property name="homogeneous">False</property>
  430.           <property name="spacing">0</property>
  431.  
  432.           <child>
  433.         <widget class="GtkHBox" id="hbox7">
  434.           <property name="visible">True</property>
  435.           <property name="homogeneous">False</property>
  436.           <property name="spacing">0</property>
  437.  
  438.           <child>
  439.             <widget class="GtkScrolledWindow" id="scrolledwindow1">
  440.               <property name="border_width">10</property>
  441.               <property name="visible">True</property>
  442.               <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
  443.               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
  444.               <property name="shadow_type">GTK_SHADOW_NONE</property>
  445.               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  446.  
  447.               <child>
  448.             <widget class="GtkTreeView" id="constraint_list">
  449.               <property name="visible">True</property>
  450.               <property name="can_focus">True</property>
  451.               <property name="headers_visible">True</property>
  452.               <property name="rules_hint">False</property>
  453.               <property name="reorderable">False</property>
  454.               <property name="enable_search">True</property>
  455.             </widget>
  456.               </child>
  457.             </widget>
  458.             <packing>
  459.               <property name="padding">0</property>
  460.               <property name="expand">True</property>
  461.               <property name="fill">True</property>
  462.             </packing>
  463.           </child>
  464.  
  465.           <child>
  466.             <widget class="GtkVButtonBox" id="vbuttonbox1">
  467.               <property name="border_width">10</property>
  468.               <property name="visible">True</property>
  469.               <property name="layout_style">GTK_BUTTONBOX_START</property>
  470.               <property name="spacing">4</property>
  471.  
  472.               <child>
  473.             <widget class="GtkButton" id="addbutton">
  474.               <property name="visible">True</property>
  475.               <property name="can_focus">True</property>
  476.               <property name="label" translatable="yes">_Add</property>
  477.               <property name="use_underline">True</property>
  478.               <property name="relief">GTK_RELIEF_HALF</property>
  479.               <property name="focus_on_click">True</property>
  480.             </widget>
  481.               </child>
  482.  
  483.               <child>
  484.             <widget class="GtkButton" id="changebutton">
  485.               <property name="visible">True</property>
  486.               <property name="can_focus">True</property>
  487.               <property name="label" translatable="yes">_Change</property>
  488.               <property name="use_underline">True</property>
  489.               <property name="relief">GTK_RELIEF_NORMAL</property>
  490.               <property name="focus_on_click">True</property>
  491.             </widget>
  492.               </child>
  493.  
  494.               <child>
  495.             <widget class="GtkButton" id="deletebutton">
  496.               <property name="visible">True</property>
  497.               <property name="can_focus">True</property>
  498.               <property name="label" translatable="yes">_Delete</property>
  499.               <property name="use_underline">True</property>
  500.               <property name="relief">GTK_RELIEF_NORMAL</property>
  501.               <property name="focus_on_click">True</property>
  502.             </widget>
  503.               </child>
  504.             </widget>
  505.             <packing>
  506.               <property name="padding">0</property>
  507.               <property name="expand">False</property>
  508.               <property name="fill">True</property>
  509.             </packing>
  510.           </child>
  511.         </widget>
  512.         <packing>
  513.           <property name="padding">0</property>
  514.           <property name="expand">True</property>
  515.           <property name="fill">True</property>
  516.         </packing>
  517.           </child>
  518.  
  519.           <child>
  520.         <widget class="GtkTable" id="edit-table">
  521.           <property name="border_width">10</property>
  522.           <property name="visible">True</property>
  523.           <property name="n_rows">2</property>
  524.           <property name="n_columns">3</property>
  525.           <property name="homogeneous">False</property>
  526.           <property name="row_spacing">0</property>
  527.           <property name="column_spacing">0</property>
  528.  
  529.           <child>
  530.             <widget class="GtkLabel" id="label11">
  531.               <property name="visible">True</property>
  532.               <property name="label" translatable="yes">_Left Hand Side:</property>
  533.               <property name="use_underline">True</property>
  534.               <property name="use_markup">False</property>
  535.               <property name="justify">GTK_JUSTIFY_CENTER</property>
  536.               <property name="wrap">False</property>
  537.               <property name="selectable">False</property>
  538.               <property name="xalign">0.5</property>
  539.               <property name="yalign">0.5</property>
  540.               <property name="xpad">0</property>
  541.               <property name="ypad">0</property>
  542.             </widget>
  543.             <packing>
  544.               <property name="left_attach">0</property>
  545.               <property name="right_attach">1</property>
  546.               <property name="top_attach">0</property>
  547.               <property name="bottom_attach">1</property>
  548.               <property name="y_options"></property>
  549.             </packing>
  550.           </child>
  551.  
  552.           <child>
  553.             <widget class="GtkLabel" id="label12">
  554.               <property name="visible">True</property>
  555.               <property name="label" translatable="yes">_Type:</property>
  556.               <property name="use_underline">True</property>
  557.               <property name="use_markup">False</property>
  558.               <property name="justify">GTK_JUSTIFY_CENTER</property>
  559.               <property name="wrap">False</property>
  560.               <property name="selectable">False</property>
  561.               <property name="xalign">0.5</property>
  562.               <property name="yalign">0.5</property>
  563.               <property name="xpad">0</property>
  564.               <property name="ypad">0</property>
  565.             </widget>
  566.             <packing>
  567.               <property name="left_attach">1</property>
  568.               <property name="right_attach">2</property>
  569.               <property name="top_attach">0</property>
  570.               <property name="bottom_attach">1</property>
  571.               <property name="y_options"></property>
  572.             </packing>
  573.           </child>
  574.  
  575.           <child>
  576.             <widget class="GtkLabel" id="label13">
  577.               <property name="visible">True</property>
  578.               <property name="label" translatable="yes">_Right Hand Side:</property>
  579.               <property name="use_underline">True</property>
  580.               <property name="use_markup">False</property>
  581.               <property name="justify">GTK_JUSTIFY_CENTER</property>
  582.               <property name="wrap">False</property>
  583.               <property name="selectable">False</property>
  584.               <property name="xalign">0.5</property>
  585.               <property name="yalign">0.5</property>
  586.               <property name="xpad">0</property>
  587.               <property name="ypad">0</property>
  588.             </widget>
  589.             <packing>
  590.               <property name="left_attach">2</property>
  591.               <property name="right_attach">3</property>
  592.               <property name="top_attach">0</property>
  593.               <property name="bottom_attach">1</property>
  594.               <property name="y_options"></property>
  595.             </packing>
  596.           </child>
  597.  
  598.           <child>
  599.             <widget class="GtkComboBox" id="type_menu">
  600.               <property name="visible">True</property>
  601.               <property name="items" translatable="yes">Γëñ
  602. ≥
  603. =
  604. Int
  605. Bool
  606. </property>
  607.             </widget>
  608.             <packing>
  609.               <property name="left_attach">1</property>
  610.               <property name="right_attach">2</property>
  611.               <property name="top_attach">1</property>
  612.               <property name="bottom_attach">2</property>
  613.               <property name="x_options">fill</property>
  614.               <property name="y_options"></property>
  615.             </packing>
  616.           </child>
  617.         </widget>
  618.         <packing>
  619.           <property name="padding">0</property>
  620.           <property name="expand">False</property>
  621.           <property name="fill">True</property>
  622.         </packing>
  623.           </child>
  624.         </widget>
  625.         <packing>
  626.           <property name="tab_expand">False</property>
  627.           <property name="tab_fill">True</property>
  628.         </packing>
  629.       </child>
  630.  
  631.       <child>
  632.         <widget class="GtkLabel" id="label10">
  633.           <property name="visible">True</property>
  634.           <property name="label" translatable="yes">Constraints</property>
  635.           <property name="use_underline">False</property>
  636.           <property name="use_markup">False</property>
  637.           <property name="justify">GTK_JUSTIFY_CENTER</property>
  638.           <property name="wrap">False</property>
  639.           <property name="selectable">False</property>
  640.           <property name="xalign">0.5</property>
  641.           <property name="yalign">0.5</property>
  642.           <property name="xpad">0</property>
  643.           <property name="ypad">0</property>
  644.         </widget>
  645.         <packing>
  646.           <property name="type">tab</property>
  647.         </packing>
  648.       </child>
  649.  
  650.       <child>
  651.         <widget class="GtkTable" id="options_table">
  652.           <property name="border_width">8</property>
  653.           <property name="visible">True</property>
  654.           <property name="n_rows">4</property>
  655.           <property name="n_columns">2</property>
  656.           <property name="homogeneous">False</property>
  657.           <property name="row_spacing">5</property>
  658.           <property name="column_spacing">5</property>
  659.  
  660.           <child>
  661.         <widget class="GtkSpinButton" id="max_iter_entry">
  662.           <property name="visible">True</property>
  663.           <property name="can_focus">True</property>
  664.           <property name="climb_rate">1</property>
  665.           <property name="digits">0</property>
  666.           <property name="numeric">False</property>
  667.           <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  668.           <property name="snap_to_ticks">False</property>
  669.           <property name="wrap">False</property>
  670.           <property name="adjustment">100 1 1e+10 10 10 10</property>
  671.         </widget>
  672.         <packing>
  673.           <property name="left_attach">1</property>
  674.           <property name="right_attach">2</property>
  675.           <property name="top_attach">0</property>
  676.           <property name="bottom_attach">1</property>
  677.           <property name="y_options"></property>
  678.         </packing>
  679.           </child>
  680.  
  681.           <child>
  682.         <widget class="GtkSpinButton" id="max_time_entry">
  683.           <property name="visible">True</property>
  684.           <property name="can_focus">True</property>
  685.           <property name="climb_rate">1</property>
  686.           <property name="digits">0</property>
  687.           <property name="numeric">False</property>
  688.           <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  689.           <property name="snap_to_ticks">False</property>
  690.           <property name="wrap">False</property>
  691.           <property name="adjustment">30 1 36000 10 10 10</property>
  692.         </widget>
  693.         <packing>
  694.           <property name="left_attach">1</property>
  695.           <property name="right_attach">2</property>
  696.           <property name="top_attach">1</property>
  697.           <property name="bottom_attach">2</property>
  698.           <property name="y_options"></property>
  699.         </packing>
  700.           </child>
  701.  
  702.           <child>
  703.         <widget class="GtkCheckButton" id="autoscale_button">
  704.           <property name="visible">True</property>
  705.           <property name="can_focus">True</property>
  706.           <property name="label" translatable="yes">Automatic _Scaling</property>
  707.           <property name="use_underline">True</property>
  708.           <property name="relief">GTK_RELIEF_NORMAL</property>
  709.           <property name="focus_on_click">True</property>
  710.           <property name="active">False</property>
  711.           <property name="inconsistent">False</property>
  712.           <property name="draw_indicator">True</property>
  713.         </widget>
  714.         <packing>
  715.           <property name="left_attach">0</property>
  716.           <property name="right_attach">1</property>
  717.           <property name="top_attach">2</property>
  718.           <property name="bottom_attach">3</property>
  719.           <property name="x_options">fill</property>
  720.           <property name="y_options"></property>
  721.         </packing>
  722.           </child>
  723.  
  724.           <child>
  725.         <widget class="GtkLabel" id="label20">
  726.           <property name="visible">True</property>
  727.           <property name="label" translatable="yes">Max _Time (sec.):</property>
  728.           <property name="use_underline">True</property>
  729.           <property name="use_markup">False</property>
  730.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  731.           <property name="wrap">False</property>
  732.           <property name="selectable">False</property>
  733.           <property name="xalign">0</property>
  734.           <property name="yalign">0.5</property>
  735.           <property name="xpad">0</property>
  736.           <property name="ypad">0</property>
  737.           <property name="mnemonic_widget">max_time_entry</property>
  738.         </widget>
  739.         <packing>
  740.           <property name="left_attach">0</property>
  741.           <property name="right_attach">1</property>
  742.           <property name="top_attach">1</property>
  743.           <property name="bottom_attach">2</property>
  744.           <property name="x_options">fill</property>
  745.           <property name="y_options"></property>
  746.         </packing>
  747.           </child>
  748.  
  749.           <child>
  750.         <widget class="GtkLabel" id="label19">
  751.           <property name="width_request">154</property>
  752.           <property name="visible">True</property>
  753.           <property name="label" translatable="yes">Max _Iterations:</property>
  754.           <property name="use_underline">True</property>
  755.           <property name="use_markup">False</property>
  756.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  757.           <property name="wrap">False</property>
  758.           <property name="selectable">False</property>
  759.           <property name="xalign">0</property>
  760.           <property name="yalign">0.5</property>
  761.           <property name="xpad">0</property>
  762.           <property name="ypad">0</property>
  763.           <property name="mnemonic_widget">max_iter_entry</property>
  764.         </widget>
  765.         <packing>
  766.           <property name="left_attach">0</property>
  767.           <property name="right_attach">1</property>
  768.           <property name="top_attach">0</property>
  769.           <property name="bottom_attach">1</property>
  770.           <property name="y_options"></property>
  771.         </packing>
  772.           </child>
  773.         </widget>
  774.         <packing>
  775.           <property name="tab_expand">False</property>
  776.           <property name="tab_fill">True</property>
  777.         </packing>
  778.       </child>
  779.  
  780.       <child>
  781.         <widget class="GtkLabel" id="label26">
  782.           <property name="visible">True</property>
  783.           <property name="label" translatable="yes">Options</property>
  784.           <property name="use_underline">False</property>
  785.           <property name="use_markup">False</property>
  786.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  787.           <property name="wrap">False</property>
  788.           <property name="selectable">False</property>
  789.           <property name="xalign">0.5</property>
  790.           <property name="yalign">0.5</property>
  791.           <property name="xpad">0</property>
  792.           <property name="ypad">0</property>
  793.         </widget>
  794.         <packing>
  795.           <property name="type">tab</property>
  796.         </packing>
  797.       </child>
  798.  
  799.       <child>
  800.         <widget class="GtkVBox" id="vbox8">
  801.           <property name="border_width">10</property>
  802.           <property name="visible">True</property>
  803.           <property name="homogeneous">False</property>
  804.           <property name="spacing">0</property>
  805.  
  806.           <child>
  807.         <widget class="GtkVBox" id="vbox9">
  808.           <property name="border_width">8</property>
  809.           <property name="visible">True</property>
  810.           <property name="homogeneous">False</property>
  811.           <property name="spacing">5</property>
  812.  
  813.           <child>
  814.             <widget class="GtkCheckButton" id="answer">
  815.               <property name="visible">True</property>
  816.               <property name="can_focus">True</property>
  817.               <property name="label" translatable="yes">_Answer</property>
  818.               <property name="use_underline">True</property>
  819.               <property name="relief">GTK_RELIEF_NORMAL</property>
  820.               <property name="focus_on_click">True</property>
  821.               <property name="active">False</property>
  822.               <property name="inconsistent">False</property>
  823.               <property name="draw_indicator">True</property>
  824.             </widget>
  825.             <packing>
  826.               <property name="padding">0</property>
  827.               <property name="expand">False</property>
  828.               <property name="fill">False</property>
  829.             </packing>
  830.           </child>
  831.  
  832.           <child>
  833.             <widget class="GtkCheckButton" id="sensitivity">
  834.               <property name="visible">True</property>
  835.               <property name="can_focus">True</property>
  836.               <property name="label" translatable="yes">_Sensitivity</property>
  837.               <property name="use_underline">True</property>
  838.               <property name="relief">GTK_RELIEF_NORMAL</property>
  839.               <property name="focus_on_click">True</property>
  840.               <property name="active">False</property>
  841.               <property name="inconsistent">False</property>
  842.               <property name="draw_indicator">True</property>
  843.             </widget>
  844.             <packing>
  845.               <property name="padding">0</property>
  846.               <property name="expand">False</property>
  847.               <property name="fill">False</property>
  848.             </packing>
  849.           </child>
  850.  
  851.           <child>
  852.             <widget class="GtkCheckButton" id="limits">
  853.               <property name="visible">True</property>
  854.               <property name="can_focus">True</property>
  855.               <property name="label" translatable="yes">_Limits</property>
  856.               <property name="use_underline">True</property>
  857.               <property name="relief">GTK_RELIEF_NORMAL</property>
  858.               <property name="focus_on_click">True</property>
  859.               <property name="active">False</property>
  860.               <property name="inconsistent">False</property>
  861.               <property name="draw_indicator">True</property>
  862.             </widget>
  863.             <packing>
  864.               <property name="padding">0</property>
  865.               <property name="expand">False</property>
  866.               <property name="fill">False</property>
  867.             </packing>
  868.           </child>
  869.  
  870.           <child>
  871.             <widget class="GtkCheckButton" id="performance">
  872.               <property name="visible">True</property>
  873.               <property name="can_focus">True</property>
  874.               <property name="label" translatable="yes">_Performance</property>
  875.               <property name="use_underline">True</property>
  876.               <property name="relief">GTK_RELIEF_NORMAL</property>
  877.               <property name="focus_on_click">True</property>
  878.               <property name="active">False</property>
  879.               <property name="inconsistent">False</property>
  880.               <property name="draw_indicator">True</property>
  881.             </widget>
  882.             <packing>
  883.               <property name="padding">0</property>
  884.               <property name="expand">False</property>
  885.               <property name="fill">False</property>
  886.             </packing>
  887.           </child>
  888.  
  889.           <child>
  890.             <widget class="GtkCheckButton" id="program">
  891.               <property name="visible">True</property>
  892.               <property name="can_focus">True</property>
  893.               <property name="label" translatable="yes">P_rogram</property>
  894.               <property name="use_underline">True</property>
  895.               <property name="relief">GTK_RELIEF_NORMAL</property>
  896.               <property name="focus_on_click">True</property>
  897.               <property name="active">False</property>
  898.               <property name="inconsistent">False</property>
  899.               <property name="draw_indicator">True</property>
  900.             </widget>
  901.             <packing>
  902.               <property name="padding">0</property>
  903.               <property name="expand">False</property>
  904.               <property name="fill">False</property>
  905.             </packing>
  906.           </child>
  907.         </widget>
  908.         <packing>
  909.           <property name="padding">0</property>
  910.           <property name="expand">True</property>
  911.           <property name="fill">True</property>
  912.         </packing>
  913.           </child>
  914.         </widget>
  915.         <packing>
  916.           <property name="tab_expand">False</property>
  917.           <property name="tab_fill">True</property>
  918.         </packing>
  919.       </child>
  920.  
  921.       <child>
  922.         <widget class="GtkLabel" id="label16">
  923.           <property name="visible">True</property>
  924.           <property name="label" translatable="yes">Reports</property>
  925.           <property name="use_underline">False</property>
  926.           <property name="use_markup">False</property>
  927.           <property name="justify">GTK_JUSTIFY_CENTER</property>
  928.           <property name="wrap">False</property>
  929.           <property name="selectable">False</property>
  930.           <property name="xalign">0.5</property>
  931.           <property name="yalign">0.5</property>
  932.           <property name="xpad">0</property>
  933.           <property name="ypad">0</property>
  934.         </widget>
  935.         <packing>
  936.           <property name="type">tab</property>
  937.         </packing>
  938.       </child>
  939.  
  940.       <child>
  941.         <widget class="GtkVBox" id="vbox10">
  942.           <property name="border_width">8</property>
  943.           <property name="visible">True</property>
  944.           <property name="homogeneous">False</property>
  945.           <property name="spacing">5</property>
  946.  
  947.           <child>
  948.         <widget class="GtkRadioButton" id="no_scenario">
  949.           <property name="visible">True</property>
  950.           <property name="can_focus">True</property>
  951.           <property name="label" translatable="yes">_Do not create scenarios</property>
  952.           <property name="use_underline">True</property>
  953.           <property name="relief">GTK_RELIEF_NORMAL</property>
  954.           <property name="focus_on_click">True</property>
  955.           <property name="active">False</property>
  956.           <property name="inconsistent">False</property>
  957.           <property name="draw_indicator">True</property>
  958.         </widget>
  959.         <packing>
  960.           <property name="padding">0</property>
  961.           <property name="expand">False</property>
  962.           <property name="fill">False</property>
  963.         </packing>
  964.           </child>
  965.  
  966.           <child>
  967.         <widget class="GtkRadioButton" id="optimal_scenario">
  968.           <property name="visible">True</property>
  969.           <property name="can_focus">True</property>
  970.           <property name="label" translatable="yes">_Create a scenario if the optimal solution is found</property>
  971.           <property name="use_underline">True</property>
  972.           <property name="relief">GTK_RELIEF_NORMAL</property>
  973.           <property name="focus_on_click">True</property>
  974.           <property name="active">False</property>
  975.           <property name="inconsistent">False</property>
  976.           <property name="draw_indicator">True</property>
  977.           <property name="group">no_scenario</property>
  978.         </widget>
  979.         <packing>
  980.           <property name="padding">0</property>
  981.           <property name="expand">False</property>
  982.           <property name="fill">False</property>
  983.         </packing>
  984.           </child>
  985.  
  986.           <child>
  987.         <widget class="GtkHBox" id="hbox9">
  988.           <property name="visible">True</property>
  989.           <property name="homogeneous">False</property>
  990.           <property name="spacing">0</property>
  991.  
  992.           <child>
  993.             <widget class="GtkLabel" id="label24">
  994.               <property name="visible">True</property>
  995.               <property name="label" translatable="yes">_Name: </property>
  996.               <property name="use_underline">True</property>
  997.               <property name="use_markup">False</property>
  998.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  999.               <property name="wrap">False</property>
  1000.               <property name="selectable">False</property>
  1001.               <property name="xalign">0.5</property>
  1002.               <property name="yalign">0.5</property>
  1003.               <property name="xpad">0</property>
  1004.               <property name="ypad">0</property>
  1005.               <property name="mnemonic_widget">scenario_name_entry</property>
  1006.             </widget>
  1007.             <packing>
  1008.               <property name="padding">0</property>
  1009.               <property name="expand">False</property>
  1010.               <property name="fill">False</property>
  1011.             </packing>
  1012.           </child>
  1013.  
  1014.           <child>
  1015.             <widget class="GtkEntry" id="scenario_name_entry">
  1016.               <property name="visible">True</property>
  1017.               <property name="can_focus">True</property>
  1018.               <property name="editable">True</property>
  1019.               <property name="visibility">True</property>
  1020.               <property name="max_length">0</property>
  1021.               <property name="text" translatable="yes"></property>
  1022.               <property name="has_frame">True</property>
  1023.               <property name="invisible_char" translatable="yes">*</property>
  1024.               <property name="activates_default">False</property>
  1025.             </widget>
  1026.             <packing>
  1027.               <property name="padding">0</property>
  1028.               <property name="expand">True</property>
  1029.               <property name="fill">True</property>
  1030.             </packing>
  1031.           </child>
  1032.         </widget>
  1033.         <packing>
  1034.           <property name="padding">0</property>
  1035.           <property name="expand">False</property>
  1036.           <property name="fill">True</property>
  1037.         </packing>
  1038.           </child>
  1039.  
  1040.           <child>
  1041.         <placeholder/>
  1042.           </child>
  1043.         </widget>
  1044.         <packing>
  1045.           <property name="tab_expand">False</property>
  1046.           <property name="tab_fill">True</property>
  1047.         </packing>
  1048.       </child>
  1049.  
  1050.       <child>
  1051.         <widget class="GtkLabel" id="label27">
  1052.           <property name="visible">True</property>
  1053.           <property name="label" translatable="yes">Scenarios</property>
  1054.           <property name="use_underline">False</property>
  1055.           <property name="use_markup">False</property>
  1056.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  1057.           <property name="wrap">False</property>
  1058.           <property name="selectable">False</property>
  1059.           <property name="xalign">0.5</property>
  1060.           <property name="yalign">0.5</property>
  1061.           <property name="xpad">0</property>
  1062.           <property name="ypad">0</property>
  1063.         </widget>
  1064.         <packing>
  1065.           <property name="type">tab</property>
  1066.         </packing>
  1067.       </child>
  1068.     </widget>
  1069.     <packing>
  1070.       <property name="padding">0</property>
  1071.       <property name="expand">True</property>
  1072.       <property name="fill">True</property>
  1073.     </packing>
  1074.       </child>
  1075.     </widget>
  1076.   </child>
  1077. </widget>
  1078.  
  1079. </glade-interface>
  1080.