home *** CD-ROM | disk | FTP | other *** search
/ Clickx 115 / Clickx 115.iso / software / tools / windows / tails-i386-0.16.iso / live / filesystem.squashfs / usr / share / gnome-terminal / profile-preferences.ui < prev    next >
Encoding:
Extensible Markup Language  |  2010-06-22  |  158.1 KB  |  2,744 lines
  1. <?xml version="1.0"?>
  2. <!--*- mode: xml -*-->
  3. <interface>
  4.   <object class="GtkAdjustment" id="adjustment1">
  5.     <property name="upper">1024</property>
  6.     <property name="lower">1</property>
  7.     <property name="page_increment">10</property>
  8.     <property name="step_increment">1</property>
  9.     <property name="page_size">0</property>
  10.     <property name="value">80</property>
  11.   </object>
  12.   <object class="GtkAdjustment" id="adjustment2">
  13.     <property name="upper">1024</property>
  14.     <property name="lower">1</property>
  15.     <property name="page_increment">10</property>
  16.     <property name="step_increment">1</property>
  17.     <property name="page_size">0</property>
  18.     <property name="value">24</property>
  19.   </object>
  20.   <object class="GtkAdjustment" id="adjustment3">
  21.     <property name="upper">1</property>
  22.     <property name="lower">0</property>
  23.     <property name="page_increment">0.10000000149</property>
  24.     <property name="step_increment">0.00999999977648</property>
  25.     <property name="page_size">0</property>
  26.     <property name="value">0.10000000149</property>
  27.   </object>
  28.   <object class="GtkAdjustment" id="adjustment4">
  29.     <property name="upper">2147483647</property>
  30.     <property name="lower">1</property>
  31.     <property name="page_increment">100</property>
  32.     <property name="step_increment">1</property>
  33.     <property name="page_size">0</property>
  34.     <property name="value">1</property>
  35.   </object>
  36.   <object class="GtkListStore" id="model1">
  37.     <columns>
  38.       <column type="gchararray"/>
  39.     </columns>
  40.     <data>
  41.       <row>
  42.         <col id="0" translatable="yes">Block</col>
  43.       </row>
  44.       <row>
  45.         <col id="0" translatable="yes">I-Beam</col>
  46.       </row>
  47.       <row>
  48.         <col id="0" translatable="yes">Underline</col>
  49.       </row>
  50.     </data>
  51.   </object>
  52.   <object class="GtkListStore" id="model2">
  53.     <columns>
  54.       <column type="gchararray"/>
  55.     </columns>
  56.     <data>
  57.       <row>
  58.         <col id="0" translatable="yes">Replace initial title</col>
  59.       </row>
  60.       <row>
  61.         <col id="0" translatable="yes">Append initial title</col>
  62.       </row>
  63.       <row>
  64.         <col id="0" translatable="yes">Prepend initial title</col>
  65.       </row>
  66.       <row>
  67.         <col id="0" translatable="yes">Keep initial title</col>
  68.       </row>
  69.     </data>
  70.   </object>
  71.   <object class="GtkListStore" id="model3">
  72.     <columns>
  73.       <column type="gchararray"/>
  74.     </columns>
  75.     <data>
  76.       <row>
  77.         <col id="0" translatable="yes">Exit the terminal</col>
  78.       </row>
  79.       <row>
  80.         <col id="0" translatable="yes">Restart the command</col>
  81.       </row>
  82.       <row>
  83.         <col id="0" translatable="yes">Hold the terminal open</col>
  84.       </row>
  85.     </data>
  86.   </object>
  87.   <object class="GtkListStore" id="model4">
  88.     <columns>
  89.       <column type="gchararray"/>
  90.     </columns>
  91.     <data>
  92.       <row>
  93.         <col id="0" translatable="yes">Custom</col>
  94.       </row>
  95.     </data>
  96.   </object>
  97.   <object class="GtkListStore" id="model5">
  98.     <columns>
  99.       <column type="gchararray"/>
  100.     </columns>
  101.     <data>
  102.       <row>
  103.         <col id="0" translatable="yes">Tango</col>
  104.       </row>
  105.       <row>
  106.         <col id="0" translatable="yes">Linux console</col>
  107.       </row>
  108.       <row>
  109.         <col id="0" translatable="yes">XTerm</col>
  110.       </row>
  111.       <row>
  112.         <col id="0" translatable="yes">Rxvt</col>
  113.       </row>
  114.       <row>
  115.         <col id="0" translatable="yes">Custom</col>
  116.       </row>
  117.     </data>
  118.   </object>
  119.   <object class="GtkListStore" id="model6">
  120.     <columns>
  121.       <column type="gchararray"/>
  122.     </columns>
  123.     <data>
  124.       <row>
  125.         <col id="0" translatable="yes">On the left side</col>
  126.       </row>
  127.       <row>
  128.         <col id="0" translatable="yes">On the right side</col>
  129.       </row>
  130.       <row>
  131.         <col id="0" translatable="yes">Disabled</col>
  132.       </row>
  133.     </data>
  134.   </object>
  135.   <object class="GtkListStore" id="model7">
  136.     <columns>
  137.       <column type="gchararray"/>
  138.     </columns>
  139.     <data>
  140.       <row>
  141.         <col id="0" translatable="yes">Automatic</col>
  142.       </row>
  143.       <row>
  144.         <col id="0" translatable="yes">Control-H</col>
  145.       </row>
  146.       <row>
  147.         <col id="0" translatable="yes">ASCII DEL</col>
  148.       </row>
  149.       <row>
  150.         <col id="0" translatable="yes">Escape sequence</col>
  151.       </row>
  152.     </data>
  153.   </object>
  154.   <object class="GtkListStore" id="model8">
  155.     <columns>
  156.       <column type="gchararray"/>
  157.     </columns>
  158.     <data>
  159.       <row>
  160.         <col id="0" translatable="yes">Automatic</col>
  161.       </row>
  162.       <row>
  163.         <col id="0" translatable="yes">Control-H</col>
  164.       </row>
  165.       <row>
  166.         <col id="0" translatable="yes">ASCII DEL</col>
  167.       </row>
  168.       <row>
  169.         <col id="0" translatable="yes">Escape sequence</col>
  170.       </row>
  171.     </data>
  172.   </object>
  173.   <object class="GtkDialog" id="profile-editor-dialog">
  174.     <property name="border_width">5</property>
  175.     <property name="visible">True</property>
  176.     <property name="title" translatable="yes">Profile Editor</property>
  177.     <property name="type">GTK_WINDOW_TOPLEVEL</property>
  178.     <property name="window_position">GTK_WIN_POS_NONE</property>
  179.     <property name="modal">False</property>
  180.     <property name="resizable">False</property>
  181.     <property name="destroy_with_parent">True</property>
  182.     <property name="role">gnome-terminal-profile-editor</property>
  183.     <property name="decorated">True</property>
  184.     <property name="skip_taskbar_hint">False</property>
  185.     <property name="skip_pager_hint">False</property>
  186.     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  187.     <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  188.     <property name="focus_on_map">True</property>
  189.     <property name="urgency_hint">False</property>
  190.     <property name="has_separator">False</property>
  191.     <child internal-child="vbox">
  192.       <object class="GtkVBox" id="dialog-vbox1">
  193.         <property name="visible">True</property>
  194.         <property name="homogeneous">False</property>
  195.         <property name="spacing">2</property>
  196.         <child internal-child="action_area">
  197.           <object class="GtkHButtonBox" id="dialog-action_area1">
  198.             <property name="visible">True</property>
  199.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  200.             <child>
  201.               <object class="GtkButton" id="helpbutton2">
  202.                 <property name="visible">True</property>
  203.                 <property name="can_default">True</property>
  204.                 <property name="can_focus">True</property>
  205.                 <property name="label">gtk-help</property>
  206.                 <property name="use_stock">True</property>
  207.                 <property name="relief">GTK_RELIEF_NORMAL</property>
  208.                 <property name="focus_on_click">True</property>
  209.               </object>
  210.             </child>
  211.             <child>
  212.               <object class="GtkButton" id="closebutton2">
  213.                 <property name="visible">True</property>
  214.                 <property name="can_default">True</property>
  215.                 <property name="can_focus">True</property>
  216.                 <property name="label">gtk-close</property>
  217.                 <property name="use_stock">True</property>
  218.                 <property name="relief">GTK_RELIEF_NORMAL</property>
  219.                 <property name="focus_on_click">True</property>
  220.               </object>
  221.             </child>
  222.           </object>
  223.           <packing>
  224.             <property name="padding">0</property>
  225.             <property name="expand">False</property>
  226.             <property name="fill">True</property>
  227.             <property name="pack_type">GTK_PACK_END</property>
  228.           </packing>
  229.         </child>
  230.         <child>
  231.           <object class="GtkNotebook" id="profile-editor-notebook">
  232.             <property name="border_width">5</property>
  233.             <property name="visible">True</property>
  234.             <property name="can_focus">True</property>
  235.             <property name="show_tabs">True</property>
  236.             <property name="show_border">True</property>
  237.             <property name="tab_pos">GTK_POS_TOP</property>
  238.             <property name="scrollable">False</property>
  239.             <property name="enable_popup">False</property>
  240.             <child>
  241.               <object class="GtkVBox" id="vbox3">
  242.                 <property name="border_width">12</property>
  243.                 <property name="visible">True</property>
  244.                 <property name="homogeneous">False</property>
  245.                 <property name="spacing">6</property>
  246.                 <child>
  247.                   <object class="GtkHBox" id="hbox135">
  248.                     <property name="visible">True</property>
  249.                     <property name="homogeneous">False</property>
  250.                     <property name="spacing">12</property>
  251.                     <child>
  252.                       <object class="GtkLabel" id="profile-name-label">
  253.                         <property name="visible">True</property>
  254.                         <property name="label" translatable="yes">_Profile name:</property>
  255.                         <property name="use_underline">True</property>
  256.                         <property name="use_markup">False</property>
  257.                         <property name="justify">GTK_JUSTIFY_CENTER</property>
  258.                         <property name="wrap">False</property>
  259.                         <property name="selectable">False</property>
  260.                         <property name="xalign">0</property>
  261.                         <property name="yalign">0.5</property>
  262.                         <property name="xpad">4</property>
  263.                         <property name="ypad">0</property>
  264.                         <property name="mnemonic_widget">profile-name-entry</property>
  265.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  266.                         <property name="width_chars">-1</property>
  267.                         <property name="single_line_mode">False</property>
  268.                         <property name="angle">0</property>
  269.                       </object>
  270.                       <packing>
  271.                         <property name="padding">0</property>
  272.                         <property name="expand">False</property>
  273.                         <property name="fill">False</property>
  274.                       </packing>
  275.                     </child>
  276.                     <child>
  277.                       <object class="GtkEntry" id="profile-name-entry">
  278.                         <property name="visible">True</property>
  279.                         <property name="can_focus">True</property>
  280.                         <property name="editable">True</property>
  281.                         <property name="visibility">True</property>
  282.                         <property name="max_length">0</property>
  283.                         <property name="text" translatable="yes"/>
  284.                         <property name="has_frame">True</property>
  285.                         <property name="activates_default">False</property>
  286.                       </object>
  287.                       <packing>
  288.                         <property name="padding">0</property>
  289.                         <property name="expand">True</property>
  290.                         <property name="fill">True</property>
  291.                       </packing>
  292.                     </child>
  293.                   </object>
  294.                   <packing>
  295.                     <property name="padding">0</property>
  296.                     <property name="expand">False</property>
  297.                     <property name="fill">False</property>
  298.                   </packing>
  299.                 </child>
  300.                 <child>
  301.                   <object class="GtkCheckButton" id="system-font-checkbutton">
  302.                     <property name="visible">True</property>
  303.                     <property name="can_focus">True</property>
  304.                     <property name="label" translatable="yes">_Use the system fixed width font</property>
  305.                     <property name="use_underline">True</property>
  306.                     <property name="relief">GTK_RELIEF_NORMAL</property>
  307.                     <property name="focus_on_click">True</property>
  308.                     <property name="active">False</property>
  309.                     <property name="inconsistent">False</property>
  310.                     <property name="draw_indicator">True</property>
  311.                   </object>
  312.                   <packing>
  313.                     <property name="padding">0</property>
  314.                     <property name="expand">False</property>
  315.                     <property name="fill">False</property>
  316.                   </packing>
  317.                 </child>
  318.                 <child>
  319.                   <object class="GtkAlignment" id="alignment10109">
  320.                     <property name="visible">True</property>
  321.                     <property name="xalign">0.5</property>
  322.                     <property name="yalign">0.5</property>
  323.                     <property name="xscale">1</property>
  324.                     <property name="yscale">1</property>
  325.                     <property name="top_padding">0</property>
  326.                     <property name="bottom_padding">0</property>
  327.                     <property name="left_padding">12</property>
  328.                     <property name="right_padding">0</property>
  329.                     <child>
  330.                       <object class="GtkHBox" id="font-hbox">
  331.                         <property name="visible">True</property>
  332.                         <property name="homogeneous">False</property>
  333.                         <property name="spacing">12</property>
  334.                         <child>
  335.                           <object class="GtkLabel" id="font-selector-label">
  336.                             <property name="visible">True</property>
  337.                             <property name="label" translatable="yes">_Font:</property>
  338.                             <property name="use_underline">True</property>
  339.                             <property name="use_markup">False</property>
  340.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  341.                             <property name="wrap">False</property>
  342.                             <property name="selectable">False</property>
  343.                             <property name="xalign">0</property>
  344.                             <property name="yalign">0.5</property>
  345.                             <property name="xpad">0</property>
  346.                             <property name="ypad">0</property>
  347.                             <property name="mnemonic_widget">font-selector</property>
  348.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  349.                             <property name="width_chars">-1</property>
  350.                             <property name="single_line_mode">False</property>
  351.                             <property name="angle">0</property>
  352.                           </object>
  353.                           <packing>
  354.                             <property name="padding">0</property>
  355.                             <property name="expand">False</property>
  356.                             <property name="fill">False</property>
  357.                           </packing>
  358.                         </child>
  359.                         <child>
  360.                           <object class="GtkFontButton" id="font-selector">
  361.                             <property name="visible">True</property>
  362.                             <property name="can_focus">True</property>
  363.                             <property name="title" translatable="yes">Choose A Terminal Font</property>
  364.                             <property name="show_style">True</property>
  365.                             <property name="show_size">True</property>
  366.                             <property name="use_font">True</property>
  367.                             <property name="use_size">True</property>
  368.                             <property name="focus_on_click">False</property>
  369.                           </object>
  370.                           <packing>
  371.                             <property name="padding">0</property>
  372.                             <property name="expand">False</property>
  373.                             <property name="fill">False</property>
  374.                           </packing>
  375.                         </child>
  376.                       </object>
  377.                     </child>
  378.                   </object>
  379.                   <packing>
  380.                     <property name="padding">0</property>
  381.                     <property name="expand">False</property>
  382.                     <property name="fill">False</property>
  383.                   </packing>
  384.                 </child>
  385.                 <child>
  386.                   <object class="GtkCheckButton" id="allow-bold-checkbutton">
  387.                     <property name="visible">True</property>
  388.                     <property name="can_focus">True</property>
  389.                     <property name="label" translatable="yes">_Allow bold text</property>
  390.                     <property name="use_underline">True</property>
  391.                     <property name="relief">GTK_RELIEF_NORMAL</property>
  392.                     <property name="focus_on_click">True</property>
  393.                     <property name="active">False</property>
  394.                     <property name="inconsistent">False</property>
  395.                     <property name="draw_indicator">True</property>
  396.                   </object>
  397.                   <packing>
  398.                     <property name="padding">0</property>
  399.                     <property name="expand">False</property>
  400.                     <property name="fill">False</property>
  401.                   </packing>
  402.                 </child>
  403.                 <child>
  404.                   <object class="GtkCheckButton" id="show-menubar-checkbutton">
  405.                     <property name="visible">True</property>
  406.                     <property name="can_focus">True</property>
  407.                     <property name="label" translatable="yes">Show _menubar by default in new terminals</property>
  408.                     <property name="use_underline">True</property>
  409.                     <property name="relief">GTK_RELIEF_NORMAL</property>
  410.                     <property name="focus_on_click">True</property>
  411.                     <property name="active">False</property>
  412.                     <property name="inconsistent">False</property>
  413.                     <property name="draw_indicator">True</property>
  414.                   </object>
  415.                   <packing>
  416.                     <property name="padding">0</property>
  417.                     <property name="expand">False</property>
  418.                     <property name="fill">False</property>
  419.                   </packing>
  420.                 </child>
  421.                 <child>
  422.                   <object class="GtkCheckButton" id="bell-checkbutton">
  423.                     <property name="visible">True</property>
  424.                     <property name="can_focus">True</property>
  425.                     <property name="label" translatable="yes">Terminal _bell</property>
  426.                     <property name="use_underline">True</property>
  427.                     <property name="relief">GTK_RELIEF_NORMAL</property>
  428.                     <property name="focus_on_click">True</property>
  429.                     <property name="active">False</property>
  430.                     <property name="inconsistent">False</property>
  431.                     <property name="draw_indicator">True</property>
  432.                   </object>
  433.                   <packing>
  434.                     <property name="padding">0</property>
  435.                     <property name="expand">False</property>
  436.                     <property name="fill">False</property>
  437.                   </packing>
  438.                 </child>
  439.                 <child>
  440.                   <object class="GtkHBox" id="hbox140">
  441.                     <property name="visible">True</property>
  442.                     <property name="homogeneous">False</property>
  443.                     <property name="spacing">12</property>
  444.                     <child>
  445.                       <object class="GtkLabel" id="label480">
  446.                         <property name="visible">True</property>
  447.                         <property name="label" translatable="yes">Cursor _shape:</property>
  448.                         <property name="use_underline">True</property>
  449.                         <property name="use_markup">False</property>
  450.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  451.                         <property name="wrap">False</property>
  452.                         <property name="selectable">False</property>
  453.                         <property name="xalign">0.5</property>
  454.                         <property name="yalign">0.5</property>
  455.                         <property name="xpad">0</property>
  456.                         <property name="ypad">0</property>
  457.                         <property name="mnemonic_widget">cursor-shape-combobox</property>
  458.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  459.                         <property name="width_chars">-1</property>
  460.                         <property name="single_line_mode">False</property>
  461.                         <property name="angle">0</property>
  462.                       </object>
  463.                       <packing>
  464.                         <property name="padding">0</property>
  465.                         <property name="expand">False</property>
  466.                         <property name="fill">False</property>
  467.                       </packing>
  468.                     </child>
  469.                     <child>
  470.                       <object class="GtkComboBox" id="cursor-shape-combobox">
  471.                         <property name="visible">True</property>
  472.                         <property name="add_tearoffs">False</property>
  473.                         <property name="focus_on_click">True</property>
  474.                         <property name="model">model1</property>
  475.                         <child>
  476.                           <object class="GtkCellRendererText" id="renderer1"/>
  477.                           <attributes>
  478.                             <attribute name="text">0</attribute>
  479.                           </attributes>
  480.                         </child>
  481.                       </object>
  482.                       <packing>
  483.                         <property name="padding">0</property>
  484.                         <property name="expand">False</property>
  485.                         <property name="fill">True</property>
  486.                       </packing>
  487.                     </child>
  488.                   </object>
  489.                   <packing>
  490.                     <property name="padding">0</property>
  491.                     <property name="expand">False</property>
  492.                     <property name="fill">True</property>
  493.                   </packing>
  494.                 </child>
  495.                 <child>
  496.                   <object class="GtkHBox" id="hbox136">
  497.                     <property name="visible">True</property>
  498.                     <property name="homogeneous">False</property>
  499.                     <property name="spacing">12</property>
  500.                     <child>
  501.                       <object class="GtkLabel" id="word-chars-entry-label">
  502.                         <property name="visible">True</property>
  503.                         <property name="label" translatable="yes">Select-by-_word characters:</property>
  504.                         <property name="use_underline">True</property>
  505.                         <property name="use_markup">False</property>
  506.                         <property name="justify">GTK_JUSTIFY_CENTER</property>
  507.                         <property name="wrap">False</property>
  508.                         <property name="selectable">False</property>
  509.                         <property name="xalign">0</property>
  510.                         <property name="yalign">0.5</property>
  511.                         <property name="xpad">0</property>
  512.                         <property name="ypad">0</property>
  513.                         <property name="mnemonic_widget">word-chars-entry</property>
  514.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  515.                         <property name="width_chars">-1</property>
  516.                         <property name="single_line_mode">False</property>
  517.                         <property name="angle">0</property>
  518.                       </object>
  519.                       <packing>
  520.                         <property name="padding">0</property>
  521.                         <property name="expand">False</property>
  522.                         <property name="fill">False</property>
  523.                       </packing>
  524.                     </child>
  525.                     <child>
  526.                       <object class="GtkEntry" id="word-chars-entry">
  527.                         <property name="visible">True</property>
  528.                         <property name="can_focus">True</property>
  529.                         <property name="editable">True</property>
  530.                         <property name="visibility">True</property>
  531.                         <property name="max_length">0</property>
  532.                         <property name="text" translatable="yes"/>
  533.                         <property name="has_frame">True</property>
  534.                         <property name="activates_default">False</property>
  535.                       </object>
  536.                       <packing>
  537.                         <property name="padding">0</property>
  538.                         <property name="expand">True</property>
  539.                         <property name="fill">True</property>
  540.                       </packing>
  541.                     </child>
  542.                   </object>
  543.                   <packing>
  544.                     <property name="padding">0</property>
  545.                     <property name="expand">False</property>
  546.                     <property name="fill">True</property>
  547.                   </packing>
  548.                 </child>
  549.                 <child>
  550.                   <object class="GtkHBox" id="hbox141">
  551.                     <property name="visible">False</property>
  552.                     <property name="homogeneous">False</property>
  553.                     <property name="spacing">12</property>
  554.                     <child>
  555.                       <object class="GtkLabel" id="default-size-label">
  556.                         <property name="visible">True</property>
  557.                         <property name="label" translatable="yes">Default si_ze:</property>
  558.                         <property name="use_underline">True</property>
  559.                         <property name="use_markup">False</property>
  560.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  561.                         <property name="wrap">False</property>
  562.                         <property name="selectable">False</property>
  563.                         <property name="xalign">0.5</property>
  564.                         <property name="yalign">0.5</property>
  565.                         <property name="xpad">0</property>
  566.                         <property name="ypad">0</property>
  567.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  568.                         <property name="width_chars">-1</property>
  569.                         <property name="single_line_mode">False</property>
  570.                         <property name="angle">0</property>
  571.                       </object>
  572.                       <packing>
  573.                         <property name="padding">0</property>
  574.                         <property name="expand">False</property>
  575.                         <property name="fill">False</property>
  576.                       </packing>
  577.                     </child>
  578.                     <child>
  579.                       <object class="GtkHBox" id="hbox143">
  580.                         <property name="visible">True</property>
  581.                         <property name="homogeneous">False</property>
  582.                         <property name="spacing">6</property>
  583.                         <child>
  584.                           <object class="GtkSpinButton" id="default-size-columns-spinbutton">
  585.                             <property name="visible">True</property>
  586.                             <property name="can_focus">True</property>
  587.                             <property name="climb_rate">1</property>
  588.                             <property name="digits">0</property>
  589.                             <property name="numeric">False</property>
  590.                             <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  591.                             <property name="snap_to_ticks">False</property>
  592.                             <property name="wrap">False</property>
  593.                             <property name="adjustment">adjustment1</property>
  594.                           </object>
  595.                           <packing>
  596.                             <property name="padding">0</property>
  597.                             <property name="expand">True</property>
  598.                             <property name="fill">True</property>
  599.                           </packing>
  600.                         </child>
  601.                         <child>
  602.                           <object class="GtkLabel" id="default-size-columns-label">
  603.                             <property name="visible">True</property>
  604.                             <property name="label" translatable="yes">columns</property>
  605.                             <property name="use_underline">False</property>
  606.                             <property name="use_markup">False</property>
  607.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  608.                             <property name="wrap">False</property>
  609.                             <property name="selectable">False</property>
  610.                             <property name="xalign">0.5</property>
  611.                             <property name="yalign">0.5</property>
  612.                             <property name="xpad">0</property>
  613.                             <property name="ypad">0</property>
  614.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  615.                             <property name="width_chars">-1</property>
  616.                             <property name="single_line_mode">False</property>
  617.                             <property name="angle">0</property>
  618.                           </object>
  619.                           <packing>
  620.                             <property name="padding">0</property>
  621.                             <property name="expand">False</property>
  622.                             <property name="fill">False</property>
  623.                           </packing>
  624.                         </child>
  625.                       </object>
  626.                       <packing>
  627.                         <property name="padding">0</property>
  628.                         <property name="expand">False</property>
  629.                         <property name="fill">True</property>
  630.                       </packing>
  631.                     </child>
  632.                     <child>
  633.                       <object class="GtkHBox" id="hbox142">
  634.                         <property name="visible">True</property>
  635.                         <property name="homogeneous">False</property>
  636.                         <property name="spacing">6</property>
  637.                         <child>
  638.                           <object class="GtkSpinButton" id="default-size-rows-spinbutton">
  639.                             <property name="visible">True</property>
  640.                             <property name="can_focus">True</property>
  641.                             <property name="climb_rate">1</property>
  642.                             <property name="digits">0</property>
  643.                             <property name="numeric">False</property>
  644.                             <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  645.                             <property name="snap_to_ticks">False</property>
  646.                             <property name="wrap">False</property>
  647.                             <property name="adjustment">adjustment2</property>
  648.                           </object>
  649.                           <packing>
  650.                             <property name="padding">0</property>
  651.                             <property name="expand">True</property>
  652.                             <property name="fill">True</property>
  653.                           </packing>
  654.                         </child>
  655.                         <child>
  656.                           <object class="GtkLabel" id="default-size-rows-label">
  657.                             <property name="visible">True</property>
  658.                             <property name="label" translatable="yes">rows</property>
  659.                             <property name="use_underline">False</property>
  660.                             <property name="use_markup">False</property>
  661.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  662.                             <property name="wrap">False</property>
  663.                             <property name="selectable">False</property>
  664.                             <property name="xalign">0.5</property>
  665.                             <property name="yalign">0.5</property>
  666.                             <property name="xpad">0</property>
  667.                             <property name="ypad">0</property>
  668.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  669.                             <property name="width_chars">-1</property>
  670.                             <property name="single_line_mode">False</property>
  671.                             <property name="angle">0</property>
  672.                           </object>
  673.                           <packing>
  674.                             <property name="padding">0</property>
  675.                             <property name="expand">False</property>
  676.                             <property name="fill">False</property>
  677.                           </packing>
  678.                         </child>
  679.                       </object>
  680.                       <packing>
  681.                         <property name="padding">0</property>
  682.                         <property name="expand">False</property>
  683.                         <property name="fill">True</property>
  684.                       </packing>
  685.                     </child>
  686.                   </object>
  687.                   <packing>
  688.                     <property name="padding">0</property>
  689.                     <property name="expand">False</property>
  690.                     <property name="fill">True</property>
  691.                   </packing>
  692.                 </child>
  693.               </object>
  694.               <packing>
  695.                 <property name="tab_expand">False</property>
  696.                 <property name="tab_fill">True</property>
  697.               </packing>
  698.             </child>
  699.             <child type="tab">
  700.               <object class="GtkLabel" id="label32">
  701.                 <property name="visible">True</property>
  702.                 <property name="label" translatable="yes">General</property>
  703.                 <property name="use_underline">True</property>
  704.                 <property name="use_markup">False</property>
  705.                 <property name="justify">GTK_JUSTIFY_CENTER</property>
  706.                 <property name="wrap">False</property>
  707.                 <property name="selectable">False</property>
  708.                 <property name="xalign">0.5</property>
  709.                 <property name="yalign">0.5</property>
  710.                 <property name="xpad">0</property>
  711.                 <property name="ypad">0</property>
  712.                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  713.                 <property name="width_chars">-1</property>
  714.                 <property name="single_line_mode">False</property>
  715.                 <property name="angle">0</property>
  716.               </object>
  717.             </child>
  718.             <child>
  719.               <object class="GtkVBox" id="vbox91">
  720.                 <property name="border_width">12</property>
  721.                 <property name="visible">True</property>
  722.                 <property name="homogeneous">False</property>
  723.                 <property name="spacing">18</property>
  724.                 <child>
  725.                   <object class="GtkVBox" id="vbox79">
  726.                     <property name="visible">True</property>
  727.                     <property name="homogeneous">False</property>
  728.                     <property name="spacing">6</property>
  729.                     <child>
  730.                       <object class="GtkLabel" id="label33">
  731.                         <property name="visible">True</property>
  732.                         <property name="label" translatable="yes"><b>Title</b></property>
  733.                         <property name="use_underline">False</property>
  734.                         <property name="use_markup">True</property>
  735.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  736.                         <property name="wrap">False</property>
  737.                         <property name="selectable">False</property>
  738.                         <property name="xalign">0</property>
  739.                         <property name="yalign">0.5</property>
  740.                         <property name="xpad">0</property>
  741.                         <property name="ypad">0</property>
  742.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  743.                         <property name="width_chars">-1</property>
  744.                         <property name="single_line_mode">False</property>
  745.                         <property name="angle">0</property>
  746.                       </object>
  747.                       <packing>
  748.                         <property name="padding">0</property>
  749.                         <property name="expand">False</property>
  750.                         <property name="fill">False</property>
  751.                       </packing>
  752.                     </child>
  753.                     <child>
  754.                       <object class="GtkAlignment" id="alignment10108">
  755.                         <property name="visible">True</property>
  756.                         <property name="xalign">0.5</property>
  757.                         <property name="yalign">0.5</property>
  758.                         <property name="xscale">1</property>
  759.                         <property name="yscale">1</property>
  760.                         <property name="top_padding">0</property>
  761.                         <property name="bottom_padding">0</property>
  762.                         <property name="left_padding">12</property>
  763.                         <property name="right_padding">0</property>
  764.                         <child>
  765.                           <object class="GtkVBox" id="vbox93">
  766.                             <property name="visible">True</property>
  767.                             <property name="homogeneous">False</property>
  768.                             <property name="spacing">6</property>
  769.                             <child>
  770.                               <object class="GtkHBox" id="hbox137">
  771.                                 <property name="visible">True</property>
  772.                                 <property name="homogeneous">False</property>
  773.                                 <property name="spacing">12</property>
  774.                                 <child>
  775.                                   <object class="GtkLabel" id="title-entry-label">
  776.                                     <property name="visible">True</property>
  777.                                     <property name="label" translatable="yes">Initial _title:</property>
  778.                                     <property name="use_underline">True</property>
  779.                                     <property name="use_markup">False</property>
  780.                                     <property name="justify">GTK_JUSTIFY_CENTER</property>
  781.                                     <property name="wrap">False</property>
  782.                                     <property name="selectable">False</property>
  783.                                     <property name="xalign">0</property>
  784.                                     <property name="yalign">0.5</property>
  785.                                     <property name="xpad">0</property>
  786.                                     <property name="ypad">0</property>
  787.                                     <property name="mnemonic_widget">title-entry</property>
  788.                                     <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  789.                                     <property name="width_chars">-1</property>
  790.                                     <property name="single_line_mode">False</property>
  791.                                     <property name="angle">0</property>
  792.                                   </object>
  793.                                   <packing>
  794.                                     <property name="padding">0</property>
  795.                                     <property name="expand">False</property>
  796.                                     <property name="fill">False</property>
  797.                                   </packing>
  798.                                 </child>
  799.                                 <child>
  800.                                   <object class="GtkEntry" id="title-entry">
  801.                                     <property name="visible">True</property>
  802.                                     <property name="can_focus">True</property>
  803.                                     <property name="editable">True</property>
  804.                                     <property name="visibility">True</property>
  805.                                     <property name="max_length">0</property>
  806.                                     <property name="text" translatable="yes"/>
  807.                                     <property name="has_frame">True</property>
  808.                                     <property name="activates_default">False</property>
  809.                                   </object>
  810.                                   <packing>
  811.                                     <property name="padding">0</property>
  812.                                     <property name="expand">True</property>
  813.                                     <property name="fill">True</property>
  814.                                   </packing>
  815.                                 </child>
  816.                               </object>
  817.                               <packing>
  818.                                 <property name="padding">0</property>
  819.                                 <property name="expand">True</property>
  820.                                 <property name="fill">True</property>
  821.                               </packing>
  822.                             </child>
  823.                             <child>
  824.                               <object class="GtkHBox" id="hbox138">
  825.                                 <property name="visible">True</property>
  826.                                 <property name="homogeneous">False</property>
  827.                                 <property name="spacing">12</property>
  828.                                 <child>
  829.                                   <object class="GtkLabel" id="title-mode-combobox-label">
  830.                                     <property name="visible">True</property>
  831.                                     <property name="label" translatable="yes">When terminal commands set their o_wn titles:</property>
  832.                                     <property name="use_underline">True</property>
  833.                                     <property name="use_markup">False</property>
  834.                                     <property name="justify">GTK_JUSTIFY_CENTER</property>
  835.                                     <property name="wrap">False</property>
  836.                                     <property name="selectable">False</property>
  837.                                     <property name="xalign">0</property>
  838.                                     <property name="yalign">0.5</property>
  839.                                     <property name="xpad">0</property>
  840.                                     <property name="ypad">0</property>
  841.                                     <property name="mnemonic_widget">title-mode-combobox</property>
  842.                                     <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  843.                                     <property name="width_chars">-1</property>
  844.                                     <property name="single_line_mode">False</property>
  845.                                     <property name="angle">0</property>
  846.                                   </object>
  847.                                   <packing>
  848.                                     <property name="padding">0</property>
  849.                                     <property name="expand">False</property>
  850.                                     <property name="fill">False</property>
  851.                                   </packing>
  852.                                 </child>
  853.                                 <child>
  854.                                   <object class="GtkComboBox" id="title-mode-combobox">
  855.                                     <property name="visible">True</property>
  856.                                     <property name="add_tearoffs">False</property>
  857.                                     <property name="focus_on_click">True</property>
  858.                                     <property name="model">model2</property>
  859.                                     <child>
  860.                                       <object class="GtkCellRendererText" id="renderer2"/>
  861.                                       <attributes>
  862.                                         <attribute name="text">0</attribute>
  863.                                       </attributes>
  864.                                     </child>
  865.                                   </object>
  866.                                   <packing>
  867.                                     <property name="padding">0</property>
  868.                                     <property name="expand">True</property>
  869.                                     <property name="fill">True</property>
  870.                                   </packing>
  871.                                 </child>
  872.                               </object>
  873.                               <packing>
  874.                                 <property name="padding">0</property>
  875.                                 <property name="expand">True</property>
  876.                                 <property name="fill">True</property>
  877.                               </packing>
  878.                             </child>
  879.                           </object>
  880.                         </child>
  881.                       </object>
  882.                       <packing>
  883.                         <property name="padding">0</property>
  884.                         <property name="expand">False</property>
  885.                         <property name="fill">True</property>
  886.                       </packing>
  887.                     </child>
  888.                   </object>
  889.                   <packing>
  890.                     <property name="padding">0</property>
  891.                     <property name="expand">False</property>
  892.                     <property name="fill">True</property>
  893.                   </packing>
  894.                 </child>
  895.                 <child>
  896.                   <object class="GtkVBox" id="vbox80">
  897.                     <property name="visible">True</property>
  898.                     <property name="homogeneous">False</property>
  899.                     <property name="spacing">6</property>
  900.                     <child>
  901.                       <object class="GtkLabel" id="label36">
  902.                         <property name="visible">True</property>
  903.                         <property name="label" translatable="yes"><b>Command</b></property>
  904.                         <property name="use_underline">False</property>
  905.                         <property name="use_markup">True</property>
  906.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  907.                         <property name="wrap">False</property>
  908.                         <property name="selectable">False</property>
  909.                         <property name="xalign">0</property>
  910.                         <property name="yalign">0.5</property>
  911.                         <property name="xpad">0</property>
  912.                         <property name="ypad">0</property>
  913.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  914.                         <property name="width_chars">-1</property>
  915.                         <property name="single_line_mode">False</property>
  916.                         <property name="angle">0</property>
  917.                       </object>
  918.                       <packing>
  919.                         <property name="padding">0</property>
  920.                         <property name="expand">False</property>
  921.                         <property name="fill">False</property>
  922.                       </packing>
  923.                     </child>
  924.                     <child>
  925.                       <object class="GtkAlignment" id="alignment10107">
  926.                         <property name="visible">True</property>
  927.                         <property name="xalign">0.5</property>
  928.                         <property name="yalign">0.5</property>
  929.                         <property name="xscale">1</property>
  930.                         <property name="yscale">1</property>
  931.                         <property name="top_padding">0</property>
  932.                         <property name="bottom_padding">0</property>
  933.                         <property name="left_padding">12</property>
  934.                         <property name="right_padding">0</property>
  935.                         <child>
  936.                           <object class="GtkVBox" id="vbox81">
  937.                             <property name="visible">True</property>
  938.                             <property name="homogeneous">False</property>
  939.                             <property name="spacing">0</property>
  940.                             <child>
  941.                               <object class="GtkVBox" id="vbox92">
  942.                                 <property name="visible">True</property>
  943.                                 <property name="homogeneous">False</property>
  944.                                 <property name="spacing">6</property>
  945.                                 <child>
  946.                                   <object class="GtkCheckButton" id="login-shell-checkbutton">
  947.                                     <property name="visible">True</property>
  948.                                     <property name="can_focus">True</property>
  949.                                     <property name="label" translatable="yes">_Run command as a login shell</property>
  950.                                     <property name="use_underline">True</property>
  951.                                     <property name="relief">GTK_RELIEF_NORMAL</property>
  952.                                     <property name="focus_on_click">True</property>
  953.                                     <property name="active">False</property>
  954.                                     <property name="inconsistent">False</property>
  955.                                     <property name="draw_indicator">True</property>
  956.                                   </object>
  957.                                   <packing>
  958.                                     <property name="padding">0</property>
  959.                                     <property name="expand">False</property>
  960.                                     <property name="fill">False</property>
  961.                                   </packing>
  962.                                 </child>
  963.                                 <child>
  964.                                   <object class="GtkCheckButton" id="update-records-checkbutton">
  965.                                     <property name="visible">True</property>
  966.                                     <property name="can_focus">True</property>
  967.                                     <property name="label" translatable="yes">_Update login records when command is launched</property>
  968.                                     <property name="use_underline">True</property>
  969.                                     <property name="relief">GTK_RELIEF_NORMAL</property>
  970.                                     <property name="focus_on_click">True</property>
  971.                                     <property name="active">False</property>
  972.                                     <property name="inconsistent">False</property>
  973.                                     <property name="draw_indicator">True</property>
  974.                                   </object>
  975.                                   <packing>
  976.                                     <property name="padding">0</property>
  977.                                     <property name="expand">False</property>
  978.                                     <property name="fill">False</property>
  979.                                   </packing>
  980.                                 </child>
  981.                                 <child>
  982.                                   <object class="GtkCheckButton" id="use-custom-command-checkbutton">
  983.                                     <property name="visible">True</property>
  984.                                     <property name="can_focus">True</property>
  985.                                     <property name="label" translatable="yes">Ru_n a custom command instead of my shell</property>
  986.                                     <property name="use_underline">True</property>
  987.                                     <property name="relief">GTK_RELIEF_NORMAL</property>
  988.                                     <property name="focus_on_click">True</property>
  989.                                     <property name="active">False</property>
  990.                                     <property name="inconsistent">False</property>
  991.                                     <property name="draw_indicator">True</property>
  992.                                   </object>
  993.                                   <packing>
  994.                                     <property name="padding">0</property>
  995.                                     <property name="expand">False</property>
  996.                                     <property name="fill">False</property>
  997.                                   </packing>
  998.                                 </child>
  999.                                 <child>
  1000.                                   <object class="GtkAlignment" id="custom-command-box">
  1001.                                     <property name="visible">True</property>
  1002.                                     <property name="xalign">0.5</property>
  1003.                                     <property name="yalign">0.5</property>
  1004.                                     <property name="xscale">1</property>
  1005.                                     <property name="yscale">1</property>
  1006.                                     <property name="top_padding">0</property>
  1007.                                     <property name="bottom_padding">0</property>
  1008.                                     <property name="left_padding">12</property>
  1009.                                     <property name="right_padding">0</property>
  1010.                                     <child>
  1011.                                       <object class="GtkHBox" id="hbox134">
  1012.                                         <property name="visible">True</property>
  1013.                                         <property name="homogeneous">False</property>
  1014.                                         <property name="spacing">12</property>
  1015.                                         <child>
  1016.                                           <object class="GtkLabel" id="custom-command-entry-label">
  1017.                                             <property name="visible">True</property>
  1018.                                             <property name="label" translatable="yes">Custom co_mmand:</property>
  1019.                                             <property name="use_underline">True</property>
  1020.                                             <property name="use_markup">False</property>
  1021.                                             <property name="justify">GTK_JUSTIFY_CENTER</property>
  1022.                                             <property name="wrap">False</property>
  1023.                                             <property name="selectable">False</property>
  1024.                                             <property name="xalign">0</property>
  1025.                                             <property name="yalign">0.5</property>
  1026.                                             <property name="xpad">0</property>
  1027.                                             <property name="ypad">0</property>
  1028.                                             <property name="mnemonic_widget">custom-command-entry</property>
  1029.                                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1030.                                             <property name="width_chars">-1</property>
  1031.                                             <property name="single_line_mode">False</property>
  1032.                                             <property name="angle">0</property>
  1033.                                           </object>
  1034.                                           <packing>
  1035.                                             <property name="padding">0</property>
  1036.                                             <property name="expand">False</property>
  1037.                                             <property name="fill">False</property>
  1038.                                           </packing>
  1039.                                         </child>
  1040.                                         <child>
  1041.                                           <object class="GtkEntry" id="custom-command-entry">
  1042.                                             <property name="visible">True</property>
  1043.                                             <property name="can_focus">True</property>
  1044.                                             <property name="editable">True</property>
  1045.                                             <property name="visibility">True</property>
  1046.                                             <property name="max_length">0</property>
  1047.                                             <property name="text" translatable="yes"/>
  1048.                                             <property name="has_frame">True</property>
  1049.                                             <property name="activates_default">False</property>
  1050.                                           </object>
  1051.                                           <packing>
  1052.                                             <property name="padding">0</property>
  1053.                                             <property name="expand">True</property>
  1054.                                             <property name="fill">True</property>
  1055.                                           </packing>
  1056.                                         </child>
  1057.                                       </object>
  1058.                                     </child>
  1059.                                   </object>
  1060.                                   <packing>
  1061.                                     <property name="padding">0</property>
  1062.                                     <property name="expand">False</property>
  1063.                                     <property name="fill">True</property>
  1064.                                   </packing>
  1065.                                 </child>
  1066.                                 <child>
  1067.                                   <object class="GtkHBox" id="hbox27">
  1068.                                     <property name="visible">True</property>
  1069.                                     <property name="homogeneous">False</property>
  1070.                                     <property name="spacing">12</property>
  1071.                                     <child>
  1072.                                       <object class="GtkLabel" id="exit-action-combobox-label">
  1073.                                         <property name="visible">True</property>
  1074.                                         <property name="label" translatable="yes">When command _exits:</property>
  1075.                                         <property name="use_underline">True</property>
  1076.                                         <property name="use_markup">False</property>
  1077.                                         <property name="justify">GTK_JUSTIFY_CENTER</property>
  1078.                                         <property name="wrap">False</property>
  1079.                                         <property name="selectable">False</property>
  1080.                                         <property name="xalign">0</property>
  1081.                                         <property name="yalign">0.5</property>
  1082.                                         <property name="xpad">0</property>
  1083.                                         <property name="ypad">0</property>
  1084.                                         <property name="mnemonic_widget">exit-action-combobox</property>
  1085.                                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1086.                                         <property name="width_chars">-1</property>
  1087.                                         <property name="single_line_mode">False</property>
  1088.                                         <property name="angle">0</property>
  1089.                                       </object>
  1090.                                       <packing>
  1091.                                         <property name="padding">0</property>
  1092.                                         <property name="expand">False</property>
  1093.                                         <property name="fill">False</property>
  1094.                                       </packing>
  1095.                                     </child>
  1096.                                     <child>
  1097.                                       <object class="GtkComboBox" id="exit-action-combobox">
  1098.                                         <property name="visible">True</property>
  1099.                                         <property name="add_tearoffs">False</property>
  1100.                                         <property name="focus_on_click">True</property>
  1101.                                         <property name="model">model3</property>
  1102.                                         <child>
  1103.                                           <object class="GtkCellRendererText" id="renderer3"/>
  1104.                                           <attributes>
  1105.                                             <attribute name="text">0</attribute>
  1106.                                           </attributes>
  1107.                                         </child>
  1108.                                       </object>
  1109.                                       <packing>
  1110.                                         <property name="padding">0</property>
  1111.                                         <property name="expand">True</property>
  1112.                                         <property name="fill">True</property>
  1113.                                       </packing>
  1114.                                     </child>
  1115.                                   </object>
  1116.                                   <packing>
  1117.                                     <property name="padding">0</property>
  1118.                                     <property name="expand">True</property>
  1119.                                     <property name="fill">True</property>
  1120.                                   </packing>
  1121.                                 </child>
  1122.                               </object>
  1123.                               <packing>
  1124.                                 <property name="padding">0</property>
  1125.                                 <property name="expand">False</property>
  1126.                                 <property name="fill">True</property>
  1127.                               </packing>
  1128.                             </child>
  1129.                           </object>
  1130.                         </child>
  1131.                       </object>
  1132.                       <packing>
  1133.                         <property name="padding">0</property>
  1134.                         <property name="expand">False</property>
  1135.                         <property name="fill">True</property>
  1136.                       </packing>
  1137.                     </child>
  1138.                   </object>
  1139.                   <packing>
  1140.                     <property name="padding">0</property>
  1141.                     <property name="expand">False</property>
  1142.                     <property name="fill">True</property>
  1143.                   </packing>
  1144.                 </child>
  1145.               </object>
  1146.               <packing>
  1147.                 <property name="tab_expand">False</property>
  1148.                 <property name="tab_fill">True</property>
  1149.               </packing>
  1150.             </child>
  1151.             <child type="tab">
  1152.               <object class="GtkLabel" id="label38">
  1153.                 <property name="visible">True</property>
  1154.                 <property name="label" translatable="yes">Title and Command</property>
  1155.                 <property name="use_underline">True</property>
  1156.                 <property name="use_markup">False</property>
  1157.                 <property name="justify">GTK_JUSTIFY_CENTER</property>
  1158.                 <property name="wrap">False</property>
  1159.                 <property name="selectable">False</property>
  1160.                 <property name="xalign">0.5</property>
  1161.                 <property name="yalign">0.5</property>
  1162.                 <property name="xpad">0</property>
  1163.                 <property name="ypad">0</property>
  1164.                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1165.                 <property name="width_chars">-1</property>
  1166.                 <property name="single_line_mode">False</property>
  1167.                 <property name="angle">0</property>
  1168.               </object>
  1169.             </child>
  1170.             <child>
  1171.               <object class="GtkVBox" id="vbox90">
  1172.                 <property name="border_width">12</property>
  1173.                 <property name="visible">True</property>
  1174.                 <property name="homogeneous">False</property>
  1175.                 <property name="spacing">18</property>
  1176.                 <child>
  1177.                   <object class="GtkVBox" id="vbox82">
  1178.                     <property name="visible">True</property>
  1179.                     <property name="homogeneous">False</property>
  1180.                     <property name="spacing">6</property>
  1181.                     <child>
  1182.                       <object class="GtkLabel" id="label39">
  1183.                         <property name="visible">True</property>
  1184.                         <property name="label" translatable="yes"><b>Foreground, Background, and Bold</b></property>
  1185.                         <property name="use_underline">False</property>
  1186.                         <property name="use_markup">True</property>
  1187.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  1188.                         <property name="wrap">False</property>
  1189.                         <property name="selectable">False</property>
  1190.                         <property name="xalign">0</property>
  1191.                         <property name="yalign">0.5</property>
  1192.                         <property name="xpad">0</property>
  1193.                         <property name="ypad">0</property>
  1194.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1195.                         <property name="width_chars">-1</property>
  1196.                         <property name="single_line_mode">False</property>
  1197.                         <property name="angle">0</property>
  1198.                       </object>
  1199.                       <packing>
  1200.                         <property name="padding">0</property>
  1201.                         <property name="expand">False</property>
  1202.                         <property name="fill">False</property>
  1203.                       </packing>
  1204.                     </child>
  1205.                     <child>
  1206.                       <object class="GtkAlignment" id="alignment10105">
  1207.                         <property name="visible">True</property>
  1208.                         <property name="xalign">0.5</property>
  1209.                         <property name="yalign">0.5</property>
  1210.                         <property name="xscale">1</property>
  1211.                         <property name="yscale">1</property>
  1212.                         <property name="top_padding">0</property>
  1213.                         <property name="bottom_padding">0</property>
  1214.                         <property name="left_padding">12</property>
  1215.                         <property name="right_padding">0</property>
  1216.                         <child>
  1217.                           <object class="GtkTable" id="table24">
  1218.                             <property name="visible">True</property>
  1219.                             <property name="n_rows">5</property>
  1220.                             <property name="n_columns">2</property>
  1221.                             <property name="homogeneous">False</property>
  1222.                             <property name="row_spacing">6</property>
  1223.                             <property name="column_spacing">12</property>
  1224.                             <child>
  1225.                               <object class="GtkLabel" id="foreground-colorpicker-label">
  1226.                                 <property name="visible">True</property>
  1227.                                 <property name="label" translatable="yes">_Text color:</property>
  1228.                                 <property name="use_underline">True</property>
  1229.                                 <property name="use_markup">False</property>
  1230.                                 <property name="justify">GTK_JUSTIFY_CENTER</property>
  1231.                                 <property name="wrap">False</property>
  1232.                                 <property name="selectable">False</property>
  1233.                                 <property name="xalign">0</property>
  1234.                                 <property name="yalign">0.5</property>
  1235.                                 <property name="xpad">0</property>
  1236.                                 <property name="ypad">0</property>
  1237.                                 <property name="mnemonic_widget">foreground-colorpicker</property>
  1238.                                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1239.                                 <property name="width_chars">-1</property>
  1240.                                 <property name="single_line_mode">False</property>
  1241.                                 <property name="angle">0</property>
  1242.                               </object>
  1243.                               <packing>
  1244.                                 <property name="left_attach">0</property>
  1245.                                 <property name="right_attach">1</property>
  1246.                                 <property name="top_attach">2</property>
  1247.                                 <property name="bottom_attach">3</property>
  1248.                                 <property name="x_options">fill</property>
  1249.                                 <property name="y_options"/>
  1250.                               </packing>
  1251.                             </child>
  1252.                             <child>
  1253.                               <object class="GtkCheckButton" id="use-theme-colors-checkbutton">
  1254.                                 <property name="visible">True</property>
  1255.                                 <property name="can_focus">True</property>
  1256.                                 <property name="label" translatable="yes">_Use colors from system theme</property>
  1257.                                 <property name="use_underline">True</property>
  1258.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  1259.                                 <property name="focus_on_click">True</property>
  1260.                                 <property name="active">False</property>
  1261.                                 <property name="inconsistent">False</property>
  1262.                                 <property name="draw_indicator">True</property>
  1263.                               </object>
  1264.                               <packing>
  1265.                                 <property name="left_attach">0</property>
  1266.                                 <property name="right_attach">2</property>
  1267.                                 <property name="top_attach">0</property>
  1268.                                 <property name="bottom_attach">1</property>
  1269.                                 <property name="x_options">fill</property>
  1270.                                 <property name="y_options"/>
  1271.                               </packing>
  1272.                             </child>
  1273.                             <child>
  1274.                               <object class="GtkLabel" id="background-colorpicker-label">
  1275.                                 <property name="visible">True</property>
  1276.                                 <property name="label" translatable="yes">_Background color:</property>
  1277.                                 <property name="use_underline">True</property>
  1278.                                 <property name="use_markup">False</property>
  1279.                                 <property name="justify">GTK_JUSTIFY_CENTER</property>
  1280.                                 <property name="wrap">False</property>
  1281.                                 <property name="selectable">False</property>
  1282.                                 <property name="xalign">0</property>
  1283.                                 <property name="yalign">0.5</property>
  1284.                                 <property name="xpad">0</property>
  1285.                                 <property name="ypad">0</property>
  1286.                                 <property name="mnemonic_widget">background-colorpicker</property>
  1287.                                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1288.                                 <property name="width_chars">-1</property>
  1289.                                 <property name="single_line_mode">False</property>
  1290.                                 <property name="angle">0</property>
  1291.                               </object>
  1292.                               <packing>
  1293.                                 <property name="left_attach">0</property>
  1294.                                 <property name="right_attach">1</property>
  1295.                                 <property name="top_attach">3</property>
  1296.                                 <property name="bottom_attach">4</property>
  1297.                                 <property name="x_options">fill</property>
  1298.                                 <property name="y_options"/>
  1299.                               </packing>
  1300.                             </child>
  1301.                             <child>
  1302.                               <object class="GtkLabel" id="color-scheme-combobox-label">
  1303.                                 <property name="visible">True</property>
  1304.                                 <property name="label" translatable="yes">Built-in sche_mes:</property>
  1305.                                 <property name="use_underline">True</property>
  1306.                                 <property name="use_markup">False</property>
  1307.                                 <property name="justify">GTK_JUSTIFY_CENTER</property>
  1308.                                 <property name="wrap">False</property>
  1309.                                 <property name="selectable">False</property>
  1310.                                 <property name="xalign">0</property>
  1311.                                 <property name="yalign">0.5</property>
  1312.                                 <property name="xpad">0</property>
  1313.                                 <property name="ypad">0</property>
  1314.                                 <property name="mnemonic_widget">color-scheme-combobox</property>
  1315.                                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1316.                                 <property name="width_chars">-1</property>
  1317.                                 <property name="single_line_mode">False</property>
  1318.                                 <property name="angle">0</property>
  1319.                               </object>
  1320.                               <packing>
  1321.                                 <property name="left_attach">0</property>
  1322.                                 <property name="right_attach">1</property>
  1323.                                 <property name="top_attach">1</property>
  1324.                                 <property name="bottom_attach">2</property>
  1325.                                 <property name="x_options">fill</property>
  1326.                                 <property name="y_options"/>
  1327.                               </packing>
  1328.                             </child>
  1329.                             <child>
  1330.                               <object class="GtkHBox" id="hbox18">
  1331.                                 <property name="visible">True</property>
  1332.                                 <property name="homogeneous">False</property>
  1333.                                 <property name="spacing">0</property>
  1334.                                 <child>
  1335.                                   <object class="GtkColorButton" id="foreground-colorpicker">
  1336.                                     <property name="visible">True</property>
  1337.                                     <property name="can_focus">True</property>
  1338.                                     <property name="use_alpha">False</property>
  1339.                                     <property name="title" translatable="yes">Choose Terminal Text Color</property>
  1340.                                     <property name="focus_on_click">True</property>
  1341.                                   </object>
  1342.                                   <packing>
  1343.                                     <property name="padding">0</property>
  1344.                                     <property name="expand">False</property>
  1345.                                     <property name="fill">False</property>
  1346.                                   </packing>
  1347.                                 </child>
  1348.                                 <child>
  1349.                                   <placeholder/>
  1350.                                 </child>
  1351.                               </object>
  1352.                               <packing>
  1353.                                 <property name="left_attach">1</property>
  1354.                                 <property name="right_attach">2</property>
  1355.                                 <property name="top_attach">2</property>
  1356.                                 <property name="bottom_attach">3</property>
  1357.                                 <property name="x_options">fill</property>
  1358.                                 <property name="y_options">fill</property>
  1359.                               </packing>
  1360.                             </child>
  1361.                             <child>
  1362.                               <object class="GtkHBox" id="hbox19">
  1363.                                 <property name="visible">True</property>
  1364.                                 <property name="homogeneous">False</property>
  1365.                                 <property name="spacing">0</property>
  1366.                                 <child>
  1367.                                   <object class="GtkColorButton" id="background-colorpicker">
  1368.                                     <property name="visible">True</property>
  1369.                                     <property name="can_focus">True</property>
  1370.                                     <property name="use_alpha">False</property>
  1371.                                     <property name="title" translatable="yes">Choose Terminal Background Color</property>
  1372.                                     <property name="focus_on_click">True</property>
  1373.                                   </object>
  1374.                                   <packing>
  1375.                                     <property name="padding">0</property>
  1376.                                     <property name="expand">False</property>
  1377.                                     <property name="fill">False</property>
  1378.                                   </packing>
  1379.                                 </child>
  1380.                                 <child>
  1381.                                   <placeholder/>
  1382.                                 </child>
  1383.                               </object>
  1384.                               <packing>
  1385.                                 <property name="left_attach">1</property>
  1386.                                 <property name="right_attach">2</property>
  1387.                                 <property name="top_attach">3</property>
  1388.                                 <property name="bottom_attach">4</property>
  1389.                                 <property name="x_options">fill</property>
  1390.                                 <property name="y_options">fill</property>
  1391.                               </packing>
  1392.                             </child>
  1393.                             <child>
  1394.                               <object class="GtkComboBox" id="color-scheme-combobox">
  1395.                                 <property name="visible">True</property>
  1396.                                 <property name="add_tearoffs">False</property>
  1397.                                 <property name="focus_on_click">True</property>
  1398.                                 <property name="model">model4</property>
  1399.                                 <child>
  1400.                                   <object class="GtkCellRendererText" id="renderer4"/>
  1401.                                   <attributes>
  1402.                                     <attribute name="text">0</attribute>
  1403.                                   </attributes>
  1404.                                 </child>
  1405.                               </object>
  1406.                               <packing>
  1407.                                 <property name="left_attach">1</property>
  1408.                                 <property name="right_attach">2</property>
  1409.                                 <property name="top_attach">1</property>
  1410.                                 <property name="bottom_attach">2</property>
  1411.                                 <property name="y_options">fill</property>
  1412.                               </packing>
  1413.                             </child>
  1414.                             <child>
  1415.                               <object class="GtkLabel" id="bold-colorpicker-label">
  1416.                                 <property name="visible">True</property>
  1417.                                 <property name="label" translatable="yes">Bol_d color:</property>
  1418.                                 <property name="use_underline">True</property>
  1419.                                 <property name="use_markup">False</property>
  1420.                                 <property name="justify">GTK_JUSTIFY_LEFT</property>
  1421.                                 <property name="wrap">False</property>
  1422.                                 <property name="selectable">False</property>
  1423.                                 <property name="xalign">0</property>
  1424.                                 <property name="yalign">0.5</property>
  1425.                                 <property name="xpad">0</property>
  1426.                                 <property name="ypad">0</property>
  1427.                                 <property name="mnemonic_widget">bold-colorpicker</property>
  1428.                                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1429.                                 <property name="width_chars">-1</property>
  1430.                                 <property name="single_line_mode">False</property>
  1431.                                 <property name="angle">0</property>
  1432.                               </object>
  1433.                               <packing>
  1434.                                 <property name="left_attach">0</property>
  1435.                                 <property name="right_attach">1</property>
  1436.                                 <property name="top_attach">4</property>
  1437.                                 <property name="bottom_attach">5</property>
  1438.                                 <property name="x_options">fill</property>
  1439.                                 <property name="y_options"/>
  1440.                               </packing>
  1441.                             </child>
  1442.                             <child>
  1443.                               <object class="GtkHBox" id="hbox144">
  1444.                                 <property name="visible">True</property>
  1445.                                 <property name="homogeneous">False</property>
  1446.                                 <property name="spacing">0</property>
  1447.                                 <child>
  1448.                                   <object class="GtkColorButton" id="bold-colorpicker">
  1449.                                     <property name="visible">True</property>
  1450.                                     <property name="can_focus">True</property>
  1451.                                     <property name="use_alpha">False</property>
  1452.                                     <property name="focus_on_click">True</property>
  1453.                                   </object>
  1454.                                   <packing>
  1455.                                     <property name="padding">0</property>
  1456.                                     <property name="expand">False</property>
  1457.                                     <property name="fill">False</property>
  1458.                                   </packing>
  1459.                                 </child>
  1460.                                 <child>
  1461.                                   <object class="GtkCheckButton" id="bold-color-same-as-fg-checkbox">
  1462.                                     <property name="visible">True</property>
  1463.                                     <property name="can_focus">True</property>
  1464.                                     <property name="label" translatable="yes">_Same as text color</property>
  1465.                                     <property name="use_underline">True</property>
  1466.                                     <property name="relief">GTK_RELIEF_NORMAL</property>
  1467.                                     <property name="focus_on_click">True</property>
  1468.                                     <property name="active">True</property>
  1469.                                     <property name="inconsistent">False</property>
  1470.                                     <property name="draw_indicator">True</property>
  1471.                                   </object>
  1472.                                   <packing>
  1473.                                     <property name="padding">8</property>
  1474.                                     <property name="expand">False</property>
  1475.                                     <property name="fill">False</property>
  1476.                                   </packing>
  1477.                                 </child>
  1478.                               </object>
  1479.                               <packing>
  1480.                                 <property name="left_attach">1</property>
  1481.                                 <property name="right_attach">2</property>
  1482.                                 <property name="top_attach">4</property>
  1483.                                 <property name="bottom_attach">5</property>
  1484.                                 <property name="x_options">fill</property>
  1485.                                 <property name="y_options">fill</property>
  1486.                               </packing>
  1487.                             </child>
  1488.                           </object>
  1489.                         </child>
  1490.                       </object>
  1491.                       <packing>
  1492.                         <property name="padding">0</property>
  1493.                         <property name="expand">False</property>
  1494.                         <property name="fill">True</property>
  1495.                       </packing>
  1496.                     </child>
  1497.                   </object>
  1498.                   <packing>
  1499.                     <property name="padding">0</property>
  1500.                     <property name="expand">False</property>
  1501.                     <property name="fill">True</property>
  1502.                   </packing>
  1503.                 </child>
  1504.                 <child>
  1505.                   <object class="GtkVBox" id="vbox83">
  1506.                     <property name="visible">True</property>
  1507.                     <property name="homogeneous">False</property>
  1508.                     <property name="spacing">6</property>
  1509.                     <child>
  1510.                       <object class="GtkLabel" id="label42">
  1511.                         <property name="visible">True</property>
  1512.                         <property name="label" translatable="yes"><b>Palette</b></property>
  1513.                         <property name="use_underline">False</property>
  1514.                         <property name="use_markup">True</property>
  1515.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  1516.                         <property name="wrap">False</property>
  1517.                         <property name="selectable">False</property>
  1518.                         <property name="xalign">0</property>
  1519.                         <property name="yalign">0.5</property>
  1520.                         <property name="xpad">0</property>
  1521.                         <property name="ypad">0</property>
  1522.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1523.                         <property name="width_chars">-1</property>
  1524.                         <property name="single_line_mode">False</property>
  1525.                         <property name="angle">0</property>
  1526.                       </object>
  1527.                       <packing>
  1528.                         <property name="padding">0</property>
  1529.                         <property name="expand">False</property>
  1530.                         <property name="fill">False</property>
  1531.                       </packing>
  1532.                     </child>
  1533.                     <child>
  1534.                       <object class="GtkAlignment" id="alignment10106">
  1535.                         <property name="visible">True</property>
  1536.                         <property name="xalign">0.5</property>
  1537.                         <property name="yalign">0.5</property>
  1538.                         <property name="xscale">1</property>
  1539.                         <property name="yscale">1</property>
  1540.                         <property name="top_padding">0</property>
  1541.                         <property name="bottom_padding">0</property>
  1542.                         <property name="left_padding">12</property>
  1543.                         <property name="right_padding">0</property>
  1544.                         <child>
  1545.                           <object class="GtkTable" id="table25">
  1546.                             <property name="visible">True</property>
  1547.                             <property name="n_rows">3</property>
  1548.                             <property name="n_columns">2</property>
  1549.                             <property name="homogeneous">False</property>
  1550.                             <property name="row_spacing">6</property>
  1551.                             <property name="column_spacing">12</property>
  1552.                             <child>
  1553.                               <object class="GtkLabel" id="palette-optionmenu-label">
  1554.                                 <property name="visible">True</property>
  1555.                                 <property name="label" translatable="yes">Built-in _schemes:</property>
  1556.                                 <property name="use_underline">True</property>
  1557.                                 <property name="use_markup">False</property>
  1558.                                 <property name="justify">GTK_JUSTIFY_CENTER</property>
  1559.                                 <property name="wrap">False</property>
  1560.                                 <property name="selectable">False</property>
  1561.                                 <property name="xalign">0</property>
  1562.                                 <property name="yalign">0.5</property>
  1563.                                 <property name="xpad">0</property>
  1564.                                 <property name="ypad">0</property>
  1565.                                 <property name="mnemonic_widget">palette-combobox</property>
  1566.                                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1567.                                 <property name="width_chars">-1</property>
  1568.                                 <property name="single_line_mode">False</property>
  1569.                                 <property name="angle">0</property>
  1570.                               </object>
  1571.                               <packing>
  1572.                                 <property name="left_attach">0</property>
  1573.                                 <property name="right_attach">1</property>
  1574.                                 <property name="top_attach">1</property>
  1575.                                 <property name="bottom_attach">2</property>
  1576.                                 <property name="x_options">fill</property>
  1577.                                 <property name="y_options"/>
  1578.                               </packing>
  1579.                             </child>
  1580.                             <child>
  1581.                               <object class="GtkTable" id="palette-table">
  1582.                                 <property name="visible">True</property>
  1583.                                 <property name="n_rows">2</property>
  1584.                                 <property name="n_columns">8</property>
  1585.                                 <property name="homogeneous">False</property>
  1586.                                 <property name="row_spacing">6</property>
  1587.                                 <property name="column_spacing">6</property>
  1588.                                 <child>
  1589.                                   <object class="GtkColorButton" id="palette-colorpicker-1">
  1590.                                     <property name="visible">True</property>
  1591.                                     <property name="tooltip-text">dummy</property>
  1592.                                     <property name="can_focus">True</property>
  1593.                                     <property name="use_alpha">False</property>
  1594.                                     <property name="focus_on_click">True</property>
  1595.                                   </object>
  1596.                                   <packing>
  1597.                                     <property name="left_attach">0</property>
  1598.                                     <property name="right_attach">1</property>
  1599.                                     <property name="top_attach">0</property>
  1600.                                     <property name="bottom_attach">1</property>
  1601.                                     <property name="x_options"/>
  1602.                                     <property name="y_options"/>
  1603.                                   </packing>
  1604.                                 </child>
  1605.                                 <child>
  1606.                                   <object class="GtkColorButton" id="palette-colorpicker-2">
  1607.                                     <property name="visible">True</property>
  1608.                                     <property name="tooltip-text">dummy</property>
  1609.                                     <property name="can_focus">True</property>
  1610.                                     <property name="use_alpha">False</property>
  1611.                                     <property name="focus_on_click">True</property>
  1612.                                   </object>
  1613.                                   <packing>
  1614.                                     <property name="left_attach">1</property>
  1615.                                     <property name="right_attach">2</property>
  1616.                                     <property name="top_attach">0</property>
  1617.                                     <property name="bottom_attach">1</property>
  1618.                                     <property name="x_options"/>
  1619.                                     <property name="y_options"/>
  1620.                                   </packing>
  1621.                                 </child>
  1622.                                 <child>
  1623.                                   <object class="GtkColorButton" id="palette-colorpicker-3">
  1624.                                     <property name="visible">True</property>
  1625.                                     <property name="tooltip-text">dummy</property>
  1626.                                     <property name="can_focus">True</property>
  1627.                                     <property name="use_alpha">False</property>
  1628.                                     <property name="focus_on_click">True</property>
  1629.                                   </object>
  1630.                                   <packing>
  1631.                                     <property name="left_attach">2</property>
  1632.                                     <property name="right_attach">3</property>
  1633.                                     <property name="top_attach">0</property>
  1634.                                     <property name="bottom_attach">1</property>
  1635.                                     <property name="x_options"/>
  1636.                                     <property name="y_options"/>
  1637.                                   </packing>
  1638.                                 </child>
  1639.                                 <child>
  1640.                                   <object class="GtkColorButton" id="palette-colorpicker-4">
  1641.                                     <property name="visible">True</property>
  1642.                                     <property name="tooltip-text">dummy</property>
  1643.                                     <property name="can_focus">True</property>
  1644.                                     <property name="use_alpha">False</property>
  1645.                                     <property name="focus_on_click">True</property>
  1646.                                   </object>
  1647.                                   <packing>
  1648.                                     <property name="left_attach">3</property>
  1649.                                     <property name="right_attach">4</property>
  1650.                                     <property name="top_attach">0</property>
  1651.                                     <property name="bottom_attach">1</property>
  1652.                                     <property name="x_options"/>
  1653.                                     <property name="y_options"/>
  1654.                                   </packing>
  1655.                                 </child>
  1656.                                 <child>
  1657.                                   <object class="GtkColorButton" id="palette-colorpicker-5">
  1658.                                     <property name="visible">True</property>
  1659.                                     <property name="tooltip-text">dummy</property>
  1660.                                     <property name="can_focus">True</property>
  1661.                                     <property name="use_alpha">False</property>
  1662.                                     <property name="focus_on_click">True</property>
  1663.                                   </object>
  1664.                                   <packing>
  1665.                                     <property name="left_attach">4</property>
  1666.                                     <property name="right_attach">5</property>
  1667.                                     <property name="top_attach">0</property>
  1668.                                     <property name="bottom_attach">1</property>
  1669.                                     <property name="x_options"/>
  1670.                                     <property name="y_options"/>
  1671.                                   </packing>
  1672.                                 </child>
  1673.                                 <child>
  1674.                                   <object class="GtkColorButton" id="palette-colorpicker-6">
  1675.                                     <property name="visible">True</property>
  1676.                                     <property name="tooltip-text">dummy</property>
  1677.                                     <property name="can_focus">True</property>
  1678.                                     <property name="use_alpha">False</property>
  1679.                                     <property name="focus_on_click">True</property>
  1680.                                   </object>
  1681.                                   <packing>
  1682.                                     <property name="left_attach">5</property>
  1683.                                     <property name="right_attach">6</property>
  1684.                                     <property name="top_attach">0</property>
  1685.                                     <property name="bottom_attach">1</property>
  1686.                                     <property name="x_options"/>
  1687.                                     <property name="y_options"/>
  1688.                                   </packing>
  1689.                                 </child>
  1690.                                 <child>
  1691.                                   <object class="GtkColorButton" id="palette-colorpicker-8">
  1692.                                     <property name="visible">True</property>
  1693.                                     <property name="tooltip-text">dummy</property>
  1694.                                     <property name="can_focus">True</property>
  1695.                                     <property name="use_alpha">False</property>
  1696.                                     <property name="focus_on_click">True</property>
  1697.                                   </object>
  1698.                                   <packing>
  1699.                                     <property name="left_attach">7</property>
  1700.                                     <property name="right_attach">8</property>
  1701.                                     <property name="top_attach">0</property>
  1702.                                     <property name="bottom_attach">1</property>
  1703.                                     <property name="x_options"/>
  1704.                                     <property name="y_options"/>
  1705.                                   </packing>
  1706.                                 </child>
  1707.                                 <child>
  1708.                                   <object class="GtkColorButton" id="palette-colorpicker-9">
  1709.                                     <property name="visible">True</property>
  1710.                                     <property name="tooltip-text">dummy</property>
  1711.                                     <property name="can_focus">True</property>
  1712.                                     <property name="use_alpha">False</property>
  1713.                                     <property name="focus_on_click">True</property>
  1714.                                   </object>
  1715.                                   <packing>
  1716.                                     <property name="left_attach">0</property>
  1717.                                     <property name="right_attach">1</property>
  1718.                                     <property name="top_attach">1</property>
  1719.                                     <property name="bottom_attach">2</property>
  1720.                                     <property name="x_options"/>
  1721.                                     <property name="y_options"/>
  1722.                                   </packing>
  1723.                                 </child>
  1724.                                 <child>
  1725.                                   <object class="GtkColorButton" id="palette-colorpicker-10">
  1726.                                     <property name="visible">True</property>
  1727.                                     <property name="tooltip-text">dummy</property>
  1728.                                     <property name="can_focus">True</property>
  1729.                                     <property name="use_alpha">False</property>
  1730.                                     <property name="focus_on_click">True</property>
  1731.                                   </object>
  1732.                                   <packing>
  1733.                                     <property name="left_attach">1</property>
  1734.                                     <property name="right_attach">2</property>
  1735.                                     <property name="top_attach">1</property>
  1736.                                     <property name="bottom_attach">2</property>
  1737.                                     <property name="x_options"/>
  1738.                                     <property name="y_options"/>
  1739.                                   </packing>
  1740.                                 </child>
  1741.                                 <child>
  1742.                                   <object class="GtkColorButton" id="palette-colorpicker-12">
  1743.                                     <property name="visible">True</property>
  1744.                                     <property name="tooltip-text">dummy</property>
  1745.                                     <property name="can_focus">True</property>
  1746.                                     <property name="use_alpha">False</property>
  1747.                                     <property name="focus_on_click">True</property>
  1748.                                   </object>
  1749.                                   <packing>
  1750.                                     <property name="left_attach">3</property>
  1751.                                     <property name="right_attach">4</property>
  1752.                                     <property name="top_attach">1</property>
  1753.                                     <property name="bottom_attach">2</property>
  1754.                                     <property name="x_options"/>
  1755.                                     <property name="y_options"/>
  1756.                                   </packing>
  1757.                                 </child>
  1758.                                 <child>
  1759.                                   <object class="GtkColorButton" id="palette-colorpicker-11">
  1760.                                     <property name="visible">True</property>
  1761.                                     <property name="tooltip-text">dummy</property>
  1762.                                     <property name="can_focus">True</property>
  1763.                                     <property name="use_alpha">False</property>
  1764.                                     <property name="focus_on_click">True</property>
  1765.                                   </object>
  1766.                                   <packing>
  1767.                                     <property name="left_attach">2</property>
  1768.                                     <property name="right_attach">3</property>
  1769.                                     <property name="top_attach">1</property>
  1770.                                     <property name="bottom_attach">2</property>
  1771.                                     <property name="x_options"/>
  1772.                                     <property name="y_options"/>
  1773.                                   </packing>
  1774.                                 </child>
  1775.                                 <child>
  1776.                                   <object class="GtkColorButton" id="palette-colorpicker-13">
  1777.                                     <property name="visible">True</property>
  1778.                                     <property name="tooltip-text">dummy</property>
  1779.                                     <property name="can_focus">True</property>
  1780.                                     <property name="use_alpha">False</property>
  1781.                                     <property name="focus_on_click">True</property>
  1782.                                   </object>
  1783.                                   <packing>
  1784.                                     <property name="left_attach">4</property>
  1785.                                     <property name="right_attach">5</property>
  1786.                                     <property name="top_attach">1</property>
  1787.                                     <property name="bottom_attach">2</property>
  1788.                                     <property name="x_options"/>
  1789.                                     <property name="y_options"/>
  1790.                                   </packing>
  1791.                                 </child>
  1792.                                 <child>
  1793.                                   <object class="GtkColorButton" id="palette-colorpicker-16">
  1794.                                     <property name="visible">True</property>
  1795.                                     <property name="tooltip-text">dummy</property>
  1796.                                     <property name="can_focus">True</property>
  1797.                                     <property name="use_alpha">False</property>
  1798.                                     <property name="focus_on_click">True</property>
  1799.                                   </object>
  1800.                                   <packing>
  1801.                                     <property name="left_attach">7</property>
  1802.                                     <property name="right_attach">8</property>
  1803.                                     <property name="top_attach">1</property>
  1804.                                     <property name="bottom_attach">2</property>
  1805.                                     <property name="x_options"/>
  1806.                                     <property name="y_options"/>
  1807.                                   </packing>
  1808.                                 </child>
  1809.                                 <child>
  1810.                                   <object class="GtkColorButton" id="palette-colorpicker-14">
  1811.                                     <property name="visible">True</property>
  1812.                                     <property name="tooltip-text">dummy</property>
  1813.                                     <property name="can_focus">True</property>
  1814.                                     <property name="use_alpha">False</property>
  1815.                                     <property name="focus_on_click">True</property>
  1816.                                   </object>
  1817.                                   <packing>
  1818.                                     <property name="left_attach">5</property>
  1819.                                     <property name="right_attach">6</property>
  1820.                                     <property name="top_attach">1</property>
  1821.                                     <property name="bottom_attach">2</property>
  1822.                                     <property name="x_options">fill</property>
  1823.                                     <property name="y_options"/>
  1824.                                   </packing>
  1825.                                 </child>
  1826.                                 <child>
  1827.                                   <object class="GtkColorButton" id="palette-colorpicker-7">
  1828.                                     <property name="visible">True</property>
  1829.                                     <property name="tooltip-text">dummy</property>
  1830.                                     <property name="can_focus">True</property>
  1831.                                     <property name="use_alpha">False</property>
  1832.                                     <property name="focus_on_click">True</property>
  1833.                                   </object>
  1834.                                   <packing>
  1835.                                     <property name="left_attach">6</property>
  1836.                                     <property name="right_attach">7</property>
  1837.                                     <property name="top_attach">0</property>
  1838.                                     <property name="bottom_attach">1</property>
  1839.                                     <property name="x_options"/>
  1840.                                     <property name="y_options"/>
  1841.                                   </packing>
  1842.                                 </child>
  1843.                                 <child>
  1844.                                   <object class="GtkColorButton" id="palette-colorpicker-15">
  1845.                                     <property name="visible">True</property>
  1846.                                     <property name="tooltip-text">dummy</property>
  1847.                                     <property name="can_focus">True</property>
  1848.                                     <property name="use_alpha">False</property>
  1849.                                     <property name="focus_on_click">True</property>
  1850.                                   </object>
  1851.                                   <packing>
  1852.                                     <property name="left_attach">6</property>
  1853.                                     <property name="right_attach">7</property>
  1854.                                     <property name="top_attach">1</property>
  1855.                                     <property name="bottom_attach">2</property>
  1856.                                     <property name="x_options">fill</property>
  1857.                                     <property name="y_options"/>
  1858.                                   </packing>
  1859.                                 </child>
  1860.                               </object>
  1861.                               <packing>
  1862.                                 <property name="left_attach">1</property>
  1863.                                 <property name="right_attach">2</property>
  1864.                                 <property name="top_attach">2</property>
  1865.                                 <property name="bottom_attach">3</property>
  1866.                                 <property name="x_options">fill</property>
  1867.                                 <property name="y_options">fill</property>
  1868.                               </packing>
  1869.                             </child>
  1870.                             <child>
  1871.                               <object class="GtkLabel" id="label44">
  1872.                                 <property name="visible">True</property>
  1873.                                 <property name="label" translatable="yes"><small><i><b>Note:</b> Terminal applications have these colors available to them.</i></small></property>
  1874.                                 <property name="use_underline">False</property>
  1875.                                 <property name="use_markup">True</property>
  1876.                                 <property name="justify">GTK_JUSTIFY_CENTER</property>
  1877.                                 <property name="wrap">False</property>
  1878.                                 <property name="selectable">False</property>
  1879.                                 <property name="xalign">0</property>
  1880.                                 <property name="yalign">0.5</property>
  1881.                                 <property name="xpad">0</property>
  1882.                                 <property name="ypad">0</property>
  1883.                                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1884.                                 <property name="width_chars">-1</property>
  1885.                                 <property name="single_line_mode">False</property>
  1886.                                 <property name="angle">0</property>
  1887.                               </object>
  1888.                               <packing>
  1889.                                 <property name="left_attach">0</property>
  1890.                                 <property name="right_attach">2</property>
  1891.                                 <property name="top_attach">0</property>
  1892.                                 <property name="bottom_attach">1</property>
  1893.                                 <property name="x_options">fill</property>
  1894.                                 <property name="y_options"/>
  1895.                               </packing>
  1896.                             </child>
  1897.                             <child>
  1898.                               <object class="GtkComboBox" id="palette-combobox">
  1899.                                 <property name="visible">True</property>
  1900.                                 <property name="add_tearoffs">False</property>
  1901.                                 <property name="focus_on_click">True</property>
  1902.                                 <property name="model">model5</property>
  1903.                                 <child>
  1904.                                   <object class="GtkCellRendererText" id="renderer5"/>
  1905.                                   <attributes>
  1906.                                     <attribute name="text">0</attribute>
  1907.                                   </attributes>
  1908.                                 </child>
  1909.                               </object>
  1910.                               <packing>
  1911.                                 <property name="left_attach">1</property>
  1912.                                 <property name="right_attach">2</property>
  1913.                                 <property name="top_attach">1</property>
  1914.                                 <property name="bottom_attach">2</property>
  1915.                                 <property name="y_options">fill</property>
  1916.                               </packing>
  1917.                             </child>
  1918.                             <child>
  1919.                               <object class="GtkLabel" id="label43">
  1920.                                 <property name="visible">True</property>
  1921.                                 <property name="label" translatable="yes">Color p_alette:</property>
  1922.                                 <property name="use_underline">True</property>
  1923.                                 <property name="use_markup">False</property>
  1924.                                 <property name="justify">GTK_JUSTIFY_CENTER</property>
  1925.                                 <property name="wrap">False</property>
  1926.                                 <property name="selectable">False</property>
  1927.                                 <property name="xalign">0</property>
  1928.                                 <property name="yalign">0</property>
  1929.                                 <property name="xpad">0</property>
  1930.                                 <property name="ypad">0</property>
  1931.                                 <property name="mnemonic_widget">palette-colorpicker-1</property>
  1932.                                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1933.                                 <property name="width_chars">-1</property>
  1934.                                 <property name="single_line_mode">False</property>
  1935.                                 <property name="angle">0</property>
  1936.                               </object>
  1937.                               <packing>
  1938.                                 <property name="left_attach">0</property>
  1939.                                 <property name="right_attach">1</property>
  1940.                                 <property name="top_attach">2</property>
  1941.                                 <property name="bottom_attach">3</property>
  1942.                                 <property name="x_options">fill</property>
  1943.                                 <property name="y_options">fill</property>
  1944.                               </packing>
  1945.                             </child>
  1946.                           </object>
  1947.                         </child>
  1948.                       </object>
  1949.                       <packing>
  1950.                         <property name="padding">0</property>
  1951.                         <property name="expand">False</property>
  1952.                         <property name="fill">True</property>
  1953.                       </packing>
  1954.                     </child>
  1955.                   </object>
  1956.                   <packing>
  1957.                     <property name="padding">0</property>
  1958.                     <property name="expand">False</property>
  1959.                     <property name="fill">True</property>
  1960.                   </packing>
  1961.                 </child>
  1962.               </object>
  1963.               <packing>
  1964.                 <property name="tab_expand">False</property>
  1965.                 <property name="tab_fill">True</property>
  1966.               </packing>
  1967.             </child>
  1968.             <child type="tab">
  1969.               <object class="GtkLabel" id="label45">
  1970.                 <property name="visible">True</property>
  1971.                 <property name="label" translatable="yes">Colors</property>
  1972.                 <property name="use_underline">True</property>
  1973.                 <property name="use_markup">False</property>
  1974.                 <property name="justify">GTK_JUSTIFY_CENTER</property>
  1975.                 <property name="wrap">False</property>
  1976.                 <property name="selectable">False</property>
  1977.                 <property name="xalign">0.5</property>
  1978.                 <property name="yalign">0.5</property>
  1979.                 <property name="xpad">0</property>
  1980.                 <property name="ypad">0</property>
  1981.                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1982.                 <property name="width_chars">-1</property>
  1983.                 <property name="single_line_mode">False</property>
  1984.                 <property name="angle">0</property>
  1985.               </object>
  1986.             </child>
  1987.             <child>
  1988.               <object class="GtkVBox" id="vbox86">
  1989.                 <property name="border_width">12</property>
  1990.                 <property name="visible">True</property>
  1991.                 <property name="homogeneous">False</property>
  1992.                 <property name="spacing">6</property>
  1993.                 <child>
  1994.                   <object class="GtkRadioButton" id="solid-radiobutton">
  1995.                     <property name="visible">True</property>
  1996.                     <property name="can_focus">True</property>
  1997.                     <property name="label" translatable="yes">_Solid color</property>
  1998.                     <property name="use_underline">True</property>
  1999.                     <property name="relief">GTK_RELIEF_NORMAL</property>
  2000.                     <property name="focus_on_click">True</property>
  2001.                     <property name="active">True</property>
  2002.                     <property name="inconsistent">False</property>
  2003.                     <property name="draw_indicator">True</property>
  2004.                   </object>
  2005.                   <packing>
  2006.                     <property name="padding">0</property>
  2007.                     <property name="expand">False</property>
  2008.                     <property name="fill">False</property>
  2009.                   </packing>
  2010.                 </child>
  2011.                 <child>
  2012.                   <object class="GtkVBox" id="vbox87">
  2013.                     <property name="visible">True</property>
  2014.                     <property name="homogeneous">False</property>
  2015.                     <property name="spacing">6</property>
  2016.                     <child>
  2017.                       <object class="GtkRadioButton" id="image-radiobutton">
  2018.                         <property name="visible">True</property>
  2019.                         <property name="can_focus">True</property>
  2020.                         <property name="label" translatable="yes">_Background image</property>
  2021.                         <property name="use_underline">True</property>
  2022.                         <property name="relief">GTK_RELIEF_NORMAL</property>
  2023.                         <property name="focus_on_click">True</property>
  2024.                         <property name="active">False</property>
  2025.                         <property name="inconsistent">False</property>
  2026.                         <property name="draw_indicator">True</property>
  2027.                         <property name="group">solid-radiobutton</property>
  2028.                       </object>
  2029.                       <packing>
  2030.                         <property name="padding">0</property>
  2031.                         <property name="expand">False</property>
  2032.                         <property name="fill">False</property>
  2033.                       </packing>
  2034.                     </child>
  2035.                     <child>
  2036.                       <object class="GtkAlignment" id="alignment10103">
  2037.                         <property name="visible">True</property>
  2038.                         <property name="xalign">0.5</property>
  2039.                         <property name="yalign">0.5</property>
  2040.                         <property name="xscale">1</property>
  2041.                         <property name="yscale">1</property>
  2042.                         <property name="top_padding">0</property>
  2043.                         <property name="bottom_padding">0</property>
  2044.                         <property name="left_padding">12</property>
  2045.                         <property name="right_padding">0</property>
  2046.                         <child>
  2047.                           <object class="GtkVBox" id="vbox89">
  2048.                             <property name="visible">True</property>
  2049.                             <property name="homogeneous">False</property>
  2050.                             <property name="spacing">6</property>
  2051.                             <child>
  2052.                               <object class="GtkHBox" id="hbox2">
  2053.                                 <property name="visible">True</property>
  2054.                                 <property name="homogeneous">False</property>
  2055.                                 <property name="spacing">12</property>
  2056.                                 <child>
  2057.                                   <object class="GtkLabel" id="background-image-filechooser-label">
  2058.                                     <property name="visible">True</property>
  2059.                                     <property name="label" translatable="yes">Image _file:</property>
  2060.                                     <property name="use_underline">True</property>
  2061.                                     <property name="use_markup">False</property>
  2062.                                     <property name="justify">GTK_JUSTIFY_CENTER</property>
  2063.                                     <property name="wrap">False</property>
  2064.                                     <property name="selectable">False</property>
  2065.                                     <property name="xalign">0</property>
  2066.                                     <property name="yalign">0.5</property>
  2067.                                     <property name="xpad">0</property>
  2068.                                     <property name="ypad">0</property>
  2069.                                     <property name="mnemonic_widget">background-image-filechooser</property>
  2070.                                     <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2071.                                     <property name="width_chars">-1</property>
  2072.                                     <property name="single_line_mode">False</property>
  2073.                                     <property name="angle">0</property>
  2074.                                   </object>
  2075.                                   <packing>
  2076.                                     <property name="padding">0</property>
  2077.                                     <property name="expand">False</property>
  2078.                                     <property name="fill">False</property>
  2079.                                   </packing>
  2080.                                 </child>
  2081.                                 <child>
  2082.                                   <object class="GtkFileChooserButton" id="background-image-filechooser">
  2083.                                     <property name="visible">True</property>
  2084.                                     <property name="can_focus">True</property>
  2085.                                     <property name="title" translatable="yes">Select Background Image</property>
  2086.                                     <property name="action">GTK_FILE_CHOOSER_ACTION_OPEN</property>
  2087.                                     <property name="local_only">True</property>
  2088.                                     <property name="show_hidden">False</property>
  2089.                                     <property name="do_overwrite_confirmation">False</property>
  2090.                                     <property name="width_chars">-1</property>
  2091.                                   </object>
  2092.                                   <packing>
  2093.                                     <property name="padding">0</property>
  2094.                                     <property name="expand">True</property>
  2095.                                     <property name="fill">True</property>
  2096.                                   </packing>
  2097.                                 </child>
  2098.                               </object>
  2099.                               <packing>
  2100.                                 <property name="padding">0</property>
  2101.                                 <property name="expand">True</property>
  2102.                                 <property name="fill">True</property>
  2103.                               </packing>
  2104.                             </child>
  2105.                             <child>
  2106.                               <object class="GtkCheckButton" id="scroll-background-checkbutton">
  2107.                                 <property name="visible">True</property>
  2108.                                 <property name="can_focus">True</property>
  2109.                                 <property name="label" translatable="yes">Background image _scrolls</property>
  2110.                                 <property name="use_underline">True</property>
  2111.                                 <property name="relief">GTK_RELIEF_NORMAL</property>
  2112.                                 <property name="focus_on_click">True</property>
  2113.                                 <property name="active">False</property>
  2114.                                 <property name="inconsistent">False</property>
  2115.                                 <property name="draw_indicator">True</property>
  2116.                               </object>
  2117.                               <packing>
  2118.                                 <property name="padding">0</property>
  2119.                                 <property name="expand">False</property>
  2120.                                 <property name="fill">False</property>
  2121.                               </packing>
  2122.                             </child>
  2123.                           </object>
  2124.                         </child>
  2125.                       </object>
  2126.                       <packing>
  2127.                         <property name="padding">0</property>
  2128.                         <property name="expand">False</property>
  2129.                         <property name="fill">True</property>
  2130.                       </packing>
  2131.                     </child>
  2132.                   </object>
  2133.                   <packing>
  2134.                     <property name="padding">0</property>
  2135.                     <property name="expand">False</property>
  2136.                     <property name="fill">True</property>
  2137.                   </packing>
  2138.                 </child>
  2139.                 <child>
  2140.                   <object class="GtkRadioButton" id="transparent-radiobutton">
  2141.                     <property name="visible">True</property>
  2142.                     <property name="can_focus">True</property>
  2143.                     <property name="label" translatable="yes">_Transparent background</property>
  2144.                     <property name="use_underline">True</property>
  2145.                     <property name="relief">GTK_RELIEF_NORMAL</property>
  2146.                     <property name="focus_on_click">True</property>
  2147.                     <property name="active">False</property>
  2148.                     <property name="inconsistent">False</property>
  2149.                     <property name="draw_indicator">True</property>
  2150.                     <property name="group">solid-radiobutton</property>
  2151.                   </object>
  2152.                   <packing>
  2153.                     <property name="padding">0</property>
  2154.                     <property name="expand">False</property>
  2155.                     <property name="fill">False</property>
  2156.                   </packing>
  2157.                 </child>
  2158.                 <child>
  2159.                   <object class="GtkVBox" id="darken-background-vbox">
  2160.                     <property name="visible">True</property>
  2161.                     <property name="homogeneous">False</property>
  2162.                     <property name="spacing">6</property>
  2163.                     <child>
  2164.                       <object class="GtkLabel" id="darken-background-scale-label">
  2165.                         <property name="visible">True</property>
  2166.                         <property name="label" translatable="yes">S_hade transparent or image background:</property>
  2167.                         <property name="use_underline">True</property>
  2168.                         <property name="use_markup">False</property>
  2169.                         <property name="justify">GTK_JUSTIFY_LEFT</property>
  2170.                         <property name="wrap">False</property>
  2171.                         <property name="selectable">False</property>
  2172.                         <property name="xalign">0</property>
  2173.                         <property name="yalign">0.5</property>
  2174.                         <property name="xpad">0</property>
  2175.                         <property name="ypad">0</property>
  2176.                         <property name="mnemonic_widget">darken-background-scale</property>
  2177.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2178.                         <property name="width_chars">-1</property>
  2179.                         <property name="single_line_mode">False</property>
  2180.                         <property name="angle">0</property>
  2181.                       </object>
  2182.                       <packing>
  2183.                         <property name="padding">1</property>
  2184.                         <property name="expand">False</property>
  2185.                         <property name="fill">False</property>
  2186.                       </packing>
  2187.                     </child>
  2188.                     <child>
  2189.                       <object class="GtkHBox" id="hbox6">
  2190.                         <property name="visible">True</property>
  2191.                         <property name="homogeneous">False</property>
  2192.                         <property name="spacing">0</property>
  2193.                         <child>
  2194.                           <object class="GtkLabel" id="label64">
  2195.                             <property name="visible">True</property>
  2196.                             <property name="label" translatable="yes"><small><i>None</i></small></property>
  2197.                             <property name="use_underline">False</property>
  2198.                             <property name="use_markup">True</property>
  2199.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  2200.                             <property name="wrap">False</property>
  2201.                             <property name="selectable">False</property>
  2202.                             <property name="xalign">0</property>
  2203.                             <property name="yalign">0.5</property>
  2204.                             <property name="xpad">6</property>
  2205.                             <property name="ypad">0</property>
  2206.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2207.                             <property name="width_chars">-1</property>
  2208.                             <property name="single_line_mode">False</property>
  2209.                             <property name="angle">0</property>
  2210.                           </object>
  2211.                           <packing>
  2212.                             <property name="padding">0</property>
  2213.                             <property name="expand">False</property>
  2214.                             <property name="fill">False</property>
  2215.                           </packing>
  2216.                         </child>
  2217.                         <child>
  2218.                           <object class="GtkHScale" id="darken-background-scale">
  2219.                             <property name="visible">True</property>
  2220.                             <property name="can_focus">True</property>
  2221.                             <property name="draw_value">False</property>
  2222.                             <property name="value_pos">GTK_POS_BOTTOM</property>
  2223.                             <property name="digits">2</property>
  2224.                             <property name="update_policy">GTK_UPDATE_DELAYED</property>
  2225.                             <property name="inverted">False</property>
  2226.                             <property name="adjustment">adjustment3</property>
  2227.                           </object>
  2228.                           <packing>
  2229.                             <property name="padding">0</property>
  2230.                             <property name="expand">True</property>
  2231.                             <property name="fill">True</property>
  2232.                           </packing>
  2233.                         </child>
  2234.                         <child>
  2235.                           <object class="GtkLabel" id="label63">
  2236.                             <property name="visible">True</property>
  2237.                             <property name="label" translatable="yes"><small><i>Maximum</i></small></property>
  2238.                             <property name="use_underline">False</property>
  2239.                             <property name="use_markup">True</property>
  2240.                             <property name="justify">GTK_JUSTIFY_LEFT</property>
  2241.                             <property name="wrap">False</property>
  2242.                             <property name="selectable">False</property>
  2243.                             <property name="xalign">1</property>
  2244.                             <property name="yalign">0.5</property>
  2245.                             <property name="xpad">6</property>
  2246.                             <property name="ypad">0</property>
  2247.                             <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2248.                             <property name="width_chars">-1</property>
  2249.                             <property name="single_line_mode">False</property>
  2250.                             <property name="angle">0</property>
  2251.                           </object>
  2252.                           <packing>
  2253.                             <property name="padding">0</property>
  2254.                             <property name="expand">False</property>
  2255.                             <property name="fill">False</property>
  2256.                           </packing>
  2257.                         </child>
  2258.                       </object>
  2259.                       <packing>
  2260.                         <property name="padding">1</property>
  2261.                         <property name="expand">False</property>
  2262.                         <property name="fill">False</property>
  2263.                       </packing>
  2264.                     </child>
  2265.                   </object>
  2266.                   <packing>
  2267.                     <property name="padding">0</property>
  2268.                     <property name="expand">False</property>
  2269.                     <property name="fill">True</property>
  2270.                   </packing>
  2271.                 </child>
  2272.               </object>
  2273.               <packing>
  2274.                 <property name="tab_expand">False</property>
  2275.                 <property name="tab_fill">True</property>
  2276.               </packing>
  2277.             </child>
  2278.             <child type="tab">
  2279.               <object class="GtkLabel" id="label479">
  2280.                 <property name="visible">True</property>
  2281.                 <property name="label" translatable="yes">Background</property>
  2282.                 <property name="use_underline">False</property>
  2283.                 <property name="use_markup">True</property>
  2284.                 <property name="justify">GTK_JUSTIFY_LEFT</property>
  2285.                 <property name="wrap">False</property>
  2286.                 <property name="selectable">False</property>
  2287.                 <property name="xalign">0</property>
  2288.                 <property name="yalign">0.5</property>
  2289.                 <property name="xpad">0</property>
  2290.                 <property name="ypad">0</property>
  2291.                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2292.                 <property name="width_chars">-1</property>
  2293.                 <property name="single_line_mode">False</property>
  2294.                 <property name="angle">0</property>
  2295.               </object>
  2296.             </child>
  2297.             <child>
  2298.               <object class="GtkTable" id="table27">
  2299.                 <property name="border_width">12</property>
  2300.                 <property name="visible">True</property>
  2301.                 <property name="n_rows">5</property>
  2302.                 <property name="n_columns">2</property>
  2303.                 <property name="homogeneous">False</property>
  2304.                 <property name="row_spacing">6</property>
  2305.                 <property name="column_spacing">12</property>
  2306.                 <child>
  2307.                   <object class="GtkLabel" id="scrollbar-position-combobox-label">
  2308.                     <property name="visible">True</property>
  2309.                     <property name="label" translatable="yes">_Scrollbar is:</property>
  2310.                     <property name="use_underline">True</property>
  2311.                     <property name="use_markup">False</property>
  2312.                     <property name="justify">GTK_JUSTIFY_CENTER</property>
  2313.                     <property name="wrap">False</property>
  2314.                     <property name="selectable">False</property>
  2315.                     <property name="xalign">0</property>
  2316.                     <property name="yalign">0.5</property>
  2317.                     <property name="xpad">0</property>
  2318.                     <property name="ypad">0</property>
  2319.                     <property name="mnemonic_widget">scrollbar-position-combobox</property>
  2320.                     <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2321.                     <property name="width_chars">-1</property>
  2322.                     <property name="single_line_mode">False</property>
  2323.                     <property name="angle">0</property>
  2324.                   </object>
  2325.                   <packing>
  2326.                     <property name="left_attach">0</property>
  2327.                     <property name="right_attach">1</property>
  2328.                     <property name="top_attach">0</property>
  2329.                     <property name="bottom_attach">1</property>
  2330.                     <property name="x_options">fill</property>
  2331.                     <property name="y_options">fill</property>
  2332.                   </packing>
  2333.                 </child>
  2334.                 <child>
  2335.                   <object class="GtkLabel" id="scrollback-label">
  2336.                     <property name="visible">True</property>
  2337.                     <property name="label" translatable="yes">Scroll_back:</property>
  2338.                     <property name="use_underline">True</property>
  2339.                     <property name="use_markup">False</property>
  2340.                     <property name="justify">GTK_JUSTIFY_CENTER</property>
  2341.                     <property name="wrap">False</property>
  2342.                     <property name="selectable">False</property>
  2343.                     <property name="xalign">0</property>
  2344.                     <property name="yalign">0.5</property>
  2345.                     <property name="xpad">0</property>
  2346.                     <property name="ypad">0</property>
  2347.                     <property name="mnemonic_widget">scrollback-lines-spinbutton</property>
  2348.                     <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2349.                     <property name="width_chars">-1</property>
  2350.                     <property name="single_line_mode">False</property>
  2351.                     <property name="angle">0</property>
  2352.                   </object>
  2353.                   <packing>
  2354.                     <property name="left_attach">0</property>
  2355.                     <property name="right_attach">1</property>
  2356.                     <property name="top_attach">1</property>
  2357.                     <property name="bottom_attach">2</property>
  2358.                     <property name="x_options">fill</property>
  2359.                     <property name="y_options">fill</property>
  2360.                   </packing>
  2361.                 </child>
  2362.                 <child>
  2363.                   <object class="GtkCheckButton" id="scroll-on-keystroke-checkbutton">
  2364.                     <property name="visible">True</property>
  2365.                     <property name="can_focus">True</property>
  2366.                     <property name="label" translatable="yes">Scroll on _keystroke</property>
  2367.                     <property name="use_underline">True</property>
  2368.                     <property name="relief">GTK_RELIEF_NORMAL</property>
  2369.                     <property name="focus_on_click">True</property>
  2370.                     <property name="active">False</property>
  2371.                     <property name="inconsistent">False</property>
  2372.                     <property name="draw_indicator">True</property>
  2373.                   </object>
  2374.                   <packing>
  2375.                     <property name="left_attach">0</property>
  2376.                     <property name="right_attach">2</property>
  2377.                     <property name="top_attach">4</property>
  2378.                     <property name="bottom_attach">5</property>
  2379.                     <property name="y_options"/>
  2380.                   </packing>
  2381.                 </child>
  2382.                 <child>
  2383.                   <object class="GtkCheckButton" id="scroll-on-output-checkbutton">
  2384.                     <property name="visible">True</property>
  2385.                     <property name="can_focus">True</property>
  2386.                     <property name="label" translatable="yes">Scroll on _output</property>
  2387.                     <property name="use_underline">True</property>
  2388.                     <property name="relief">GTK_RELIEF_NORMAL</property>
  2389.                     <property name="focus_on_click">True</property>
  2390.                     <property name="active">False</property>
  2391.                     <property name="inconsistent">False</property>
  2392.                     <property name="draw_indicator">True</property>
  2393.                   </object>
  2394.                   <packing>
  2395.                     <property name="left_attach">0</property>
  2396.                     <property name="right_attach">2</property>
  2397.                     <property name="top_attach">3</property>
  2398.                     <property name="bottom_attach">4</property>
  2399.                     <property name="y_options"/>
  2400.                   </packing>
  2401.                 </child>
  2402.                 <child>
  2403.                   <object class="GtkCheckButton" id="scrollback-unlimited-checkbutton">
  2404.                     <property name="visible">True</property>
  2405.                     <property name="can_focus">True</property>
  2406.                     <property name="label" translatable="yes">_Unlimited</property>
  2407.                     <property name="use_underline">True</property>
  2408.                     <property name="relief">GTK_RELIEF_NORMAL</property>
  2409.                     <property name="focus_on_click">True</property>
  2410.                     <property name="active">False</property>
  2411.                     <property name="inconsistent">False</property>
  2412.                     <property name="draw_indicator">True</property>
  2413.                   </object>
  2414.                   <packing>
  2415.                     <property name="left_attach">1</property>
  2416.                     <property name="right_attach">2</property>
  2417.                     <property name="top_attach">2</property>
  2418.                     <property name="bottom_attach">3</property>
  2419.                     <property name="y_options"/>
  2420.                   </packing>
  2421.                 </child>
  2422.                 <child>
  2423.                   <object class="GtkHBox" id="hbox139">
  2424.                     <property name="visible">True</property>
  2425.                     <property name="homogeneous">False</property>
  2426.                     <property name="spacing">0</property>
  2427.                     <child>
  2428.                       <object class="GtkComboBox" id="scrollbar-position-combobox">
  2429.                         <property name="visible">True</property>
  2430.                         <property name="add_tearoffs">False</property>
  2431.                         <property name="focus_on_click">True</property>
  2432.                         <property name="model">model6</property>
  2433.                         <child>
  2434.                           <object class="GtkCellRendererText" id="renderer6"/>
  2435.                           <attributes>
  2436.                             <attribute name="text">0</attribute>
  2437.                           </attributes>
  2438.                         </child>
  2439.                       </object>
  2440.                       <packing>
  2441.                         <property name="padding">0</property>
  2442.                         <property name="expand">False</property>
  2443.                         <property name="fill">True</property>
  2444.                       </packing>
  2445.                     </child>
  2446.                   </object>
  2447.                   <packing>
  2448.                     <property name="left_attach">1</property>
  2449.                     <property name="right_attach">2</property>
  2450.                     <property name="top_attach">0</property>
  2451.                     <property name="bottom_attach">1</property>
  2452.                     <property name="y_options">fill</property>
  2453.                   </packing>
  2454.                 </child>
  2455.                 <child>
  2456.                   <object class="GtkHBox" id="scrollback-box">
  2457.                     <property name="visible">True</property>
  2458.                     <property name="homogeneous">False</property>
  2459.                     <property name="spacing">6</property>
  2460.                     <child>
  2461.                       <object class="GtkSpinButton" id="scrollback-lines-spinbutton">
  2462.                         <property name="visible">True</property>
  2463.                         <property name="can_focus">True</property>
  2464.                         <property name="climb_rate">1</property>
  2465.                         <property name="digits">0</property>
  2466.                         <property name="numeric">True</property>
  2467.                         <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  2468.                         <property name="snap_to_ticks">False</property>
  2469.                         <property name="wrap">False</property>
  2470.                         <property name="adjustment">adjustment4</property>
  2471.                       </object>
  2472.                       <packing>
  2473.                         <property name="padding">0</property>
  2474.                         <property name="expand">False</property>
  2475.                         <property name="fill">True</property>
  2476.                       </packing>
  2477.                     </child>
  2478.                     <child>
  2479.                       <object class="GtkLabel" id="scrollback-lines-spinbutton-label">
  2480.                         <property name="visible">True</property>
  2481.                         <property name="label" translatable="yes">lines</property>
  2482.                         <property name="use_underline">False</property>
  2483.                         <property name="use_markup">False</property>
  2484.                         <property name="justify">GTK_JUSTIFY_CENTER</property>
  2485.                         <property name="wrap">False</property>
  2486.                         <property name="selectable">False</property>
  2487.                         <property name="xalign">0</property>
  2488.                         <property name="yalign">0.5</property>
  2489.                         <property name="xpad">0</property>
  2490.                         <property name="ypad">0</property>
  2491.                         <property name="mnemonic_widget">scrollback-lines-spinbutton</property>
  2492.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2493.                         <property name="width_chars">-1</property>
  2494.                         <property name="single_line_mode">False</property>
  2495.                         <property name="angle">0</property>
  2496.                       </object>
  2497.                       <packing>
  2498.                         <property name="padding">0</property>
  2499.                         <property name="expand">False</property>
  2500.                         <property name="fill">False</property>
  2501.                       </packing>
  2502.                     </child>
  2503.                   </object>
  2504.                   <packing>
  2505.                     <property name="left_attach">1</property>
  2506.                     <property name="right_attach">2</property>
  2507.                     <property name="top_attach">1</property>
  2508.                     <property name="bottom_attach">2</property>
  2509.                     <property name="y_options">fill</property>
  2510.                   </packing>
  2511.                 </child>
  2512.               </object>
  2513.               <packing>
  2514.                 <property name="tab_expand">False</property>
  2515.                 <property name="tab_fill">True</property>
  2516.               </packing>
  2517.             </child>
  2518.             <child type="tab">
  2519.               <object class="GtkLabel" id="label60">
  2520.                 <property name="visible">True</property>
  2521.                 <property name="label" translatable="yes">Scrolling</property>
  2522.                 <property name="use_underline">True</property>
  2523.                 <property name="use_markup">False</property>
  2524.                 <property name="justify">GTK_JUSTIFY_LEFT</property>
  2525.                 <property name="wrap">False</property>
  2526.                 <property name="selectable">False</property>
  2527.                 <property name="xalign">0.5</property>
  2528.                 <property name="yalign">0.5</property>
  2529.                 <property name="xpad">0</property>
  2530.                 <property name="ypad">0</property>
  2531.                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2532.                 <property name="width_chars">-1</property>
  2533.                 <property name="single_line_mode">False</property>
  2534.                 <property name="angle">0</property>
  2535.               </object>
  2536.             </child>
  2537.             <child>
  2538.               <object class="GtkVBox" id="vbox4">
  2539.                 <property name="border_width">12</property>
  2540.                 <property name="visible">True</property>
  2541.                 <property name="homogeneous">False</property>
  2542.                 <property name="spacing">12</property>
  2543.                 <child>
  2544.                   <object class="GtkLabel" id="label51">
  2545.                     <property name="visible">True</property>
  2546.                     <property name="label" translatable="yes"><small><i><b>Note:</b> These options may cause some applications to behave incorrectly.  They are only here to allow you to work around certain applications and operating systems that expect different terminal behavior.</i></small></property>
  2547.                     <property name="use_underline">False</property>
  2548.                     <property name="use_markup">True</property>
  2549.                     <property name="justify">GTK_JUSTIFY_LEFT</property>
  2550.                     <property name="wrap">True</property>
  2551.                     <property name="selectable">False</property>
  2552.                     <property name="xalign">0</property>
  2553.                     <property name="yalign">7.45058015283e-09</property>
  2554.                     <property name="xpad">0</property>
  2555.                     <property name="ypad">0</property>
  2556.                     <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2557.                     <property name="width_chars">-1</property>
  2558.                     <property name="single_line_mode">False</property>
  2559.                     <property name="angle">0</property>
  2560.                   </object>
  2561.                   <packing>
  2562.                     <property name="padding">0</property>
  2563.                     <property name="expand">False</property>
  2564.                     <property name="fill">True</property>
  2565.                   </packing>
  2566.                 </child>
  2567.                 <child>
  2568.                   <object class="GtkTable" id="table30">
  2569.                     <property name="visible">True</property>
  2570.                     <property name="n_rows">2</property>
  2571.                     <property name="n_columns">3</property>
  2572.                     <property name="homogeneous">False</property>
  2573.                     <property name="row_spacing">6</property>
  2574.                     <property name="column_spacing">12</property>
  2575.                     <child>
  2576.                       <object class="GtkLabel" id="delete-binding-combobox-label">
  2577.                         <property name="visible">True</property>
  2578.                         <property name="label" translatable="yes">_Delete key generates:</property>
  2579.                         <property name="use_underline">True</property>
  2580.                         <property name="use_markup">False</property>
  2581.                         <property name="justify">GTK_JUSTIFY_CENTER</property>
  2582.                         <property name="wrap">False</property>
  2583.                         <property name="selectable">False</property>
  2584.                         <property name="xalign">0</property>
  2585.                         <property name="yalign">0.5</property>
  2586.                         <property name="xpad">0</property>
  2587.                         <property name="ypad">0</property>
  2588.                         <property name="mnemonic_widget">delete-binding-combobox</property>
  2589.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2590.                         <property name="width_chars">-1</property>
  2591.                         <property name="single_line_mode">False</property>
  2592.                         <property name="angle">0</property>
  2593.                       </object>
  2594.                       <packing>
  2595.                         <property name="left_attach">0</property>
  2596.                         <property name="right_attach">1</property>
  2597.                         <property name="top_attach">1</property>
  2598.                         <property name="bottom_attach">2</property>
  2599.                         <property name="x_options">fill</property>
  2600.                         <property name="y_options"/>
  2601.                       </packing>
  2602.                     </child>
  2603.                     <child>
  2604.                       <object class="GtkLabel" id="backspace-binding-combobox-label">
  2605.                         <property name="visible">True</property>
  2606.                         <property name="label" translatable="yes">_Backspace key generates:</property>
  2607.                         <property name="use_underline">True</property>
  2608.                         <property name="use_markup">False</property>
  2609.                         <property name="justify">GTK_JUSTIFY_CENTER</property>
  2610.                         <property name="wrap">False</property>
  2611.                         <property name="selectable">False</property>
  2612.                         <property name="xalign">0</property>
  2613.                         <property name="yalign">0.5</property>
  2614.                         <property name="xpad">0</property>
  2615.                         <property name="ypad">0</property>
  2616.                         <property name="mnemonic_widget">backspace-binding-combobox</property>
  2617.                         <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2618.                         <property name="width_chars">-1</property>
  2619.                         <property name="single_line_mode">False</property>
  2620.                         <property name="angle">0</property>
  2621.                       </object>
  2622.                       <packing>
  2623.                         <property name="left_attach">0</property>
  2624.                         <property name="right_attach">1</property>
  2625.                         <property name="top_attach">0</property>
  2626.                         <property name="bottom_attach">1</property>
  2627.                         <property name="x_options">fill</property>
  2628.                         <property name="y_options"/>
  2629.                       </packing>
  2630.                     </child>
  2631.                     <child>
  2632.                       <object class="GtkComboBox" id="backspace-binding-combobox">
  2633.                         <property name="visible">True</property>
  2634.                         <property name="add_tearoffs">False</property>
  2635.                         <property name="focus_on_click">True</property>
  2636.                         <property name="model">model7</property>
  2637.                         <child>
  2638.                           <object class="GtkCellRendererText" id="renderer7"/>
  2639.                           <attributes>
  2640.                             <attribute name="text">0</attribute>
  2641.                           </attributes>
  2642.                         </child>
  2643.                       </object>
  2644.                       <packing>
  2645.                         <property name="left_attach">1</property>
  2646.                         <property name="right_attach">3</property>
  2647.                         <property name="top_attach">0</property>
  2648.                         <property name="bottom_attach">1</property>
  2649.                         <property name="x_options">fill</property>
  2650.                         <property name="y_options">fill</property>
  2651.                       </packing>
  2652.                     </child>
  2653.                     <child>
  2654.                       <object class="GtkComboBox" id="delete-binding-combobox">
  2655.                         <property name="visible">True</property>
  2656.                         <property name="add_tearoffs">False</property>
  2657.                         <property name="focus_on_click">True</property>
  2658.                         <property name="model">model8</property>
  2659.                         <child>
  2660.                           <object class="GtkCellRendererText" id="renderer8"/>
  2661.                           <attributes>
  2662.                             <attribute name="text">0</attribute>
  2663.                           </attributes>
  2664.                         </child>
  2665.                       </object>
  2666.                       <packing>
  2667.                         <property name="left_attach">1</property>
  2668.                         <property name="right_attach">3</property>
  2669.                         <property name="top_attach">1</property>
  2670.                         <property name="bottom_attach">2</property>
  2671.                         <property name="x_options">fill</property>
  2672.                         <property name="y_options">fill</property>
  2673.                       </packing>
  2674.                     </child>
  2675.                   </object>
  2676.                   <packing>
  2677.                     <property name="padding">0</property>
  2678.                     <property name="expand">False</property>
  2679.                     <property name="fill">True</property>
  2680.                   </packing>
  2681.                 </child>
  2682.                 <child>
  2683.                   <object class="GtkHButtonBox" id="hbuttonbox1">
  2684.                     <property name="visible">True</property>
  2685.                     <property name="layout_style">GTK_BUTTONBOX_START</property>
  2686.                     <property name="spacing">0</property>
  2687.                     <child>
  2688.                       <object class="GtkButton" id="reset-compat-defaults-button">
  2689.                         <property name="visible">True</property>
  2690.                         <property name="can_focus">True</property>
  2691.                         <property name="label" translatable="yes">_Reset Compatibility Options to Defaults</property>
  2692.                         <property name="use_underline">True</property>
  2693.                         <property name="relief">GTK_RELIEF_NORMAL</property>
  2694.                         <property name="focus_on_click">True</property>
  2695.                       </object>
  2696.                     </child>
  2697.                   </object>
  2698.                   <packing>
  2699.                     <property name="padding">0</property>
  2700.                     <property name="expand">False</property>
  2701.                     <property name="fill">False</property>
  2702.                   </packing>
  2703.                 </child>
  2704.               </object>
  2705.               <packing>
  2706.                 <property name="tab_expand">False</property>
  2707.                 <property name="tab_fill">True</property>
  2708.               </packing>
  2709.             </child>
  2710.             <child type="tab">
  2711.               <object class="GtkLabel" id="label54">
  2712.                 <property name="visible">True</property>
  2713.                 <property name="label" translatable="yes">Compatibility</property>
  2714.                 <property name="use_underline">True</property>
  2715.                 <property name="use_markup">False</property>
  2716.                 <property name="justify">GTK_JUSTIFY_CENTER</property>
  2717.                 <property name="wrap">False</property>
  2718.                 <property name="selectable">False</property>
  2719.                 <property name="xalign">0.5</property>
  2720.                 <property name="yalign">0.5</property>
  2721.                 <property name="xpad">0</property>
  2722.                 <property name="ypad">0</property>
  2723.                 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2724.                 <property name="width_chars">-1</property>
  2725.                 <property name="single_line_mode">False</property>
  2726.                 <property name="angle">0</property>
  2727.               </object>
  2728.             </child>
  2729.           </object>
  2730.           <packing>
  2731.             <property name="padding">0</property>
  2732.             <property name="expand">True</property>
  2733.             <property name="fill">True</property>
  2734.           </packing>
  2735.         </child>
  2736.       </object>
  2737.     </child>
  2738.     <action-widgets>
  2739.       <action-widget response="-11">helpbutton2</action-widget>
  2740.       <action-widget response="-7">closebutton2</action-widget>
  2741.     </action-widgets>
  2742.   </object>
  2743. </interface>
  2744.