home *** CD-ROM | disk | FTP | other *** search
/ Personal Computer World 2007 September / PCWSEP07.iso / Software / Linux / Linux Mint 3.0 Light / LinuxMint-3.0-Light.iso / casper / filesystem.squashfs / usr / share / deskbar-applet / prefs-dialog.glade < prev    next >
Encoding:
Extensible Markup Language  |  2007-04-09  |  45.7 KB  |  1,222 lines
  1. <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
  2. <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
  3.  
  4. <glade-interface>
  5.  
  6. <widget class="GtkDialog" id="preferences">
  7.   <property name="border_width">5</property>
  8.   <property name="title" translatable="yes">Deskbar Preferences</property>
  9.   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10.   <property name="window_position">GTK_WIN_POS_CENTER</property>
  11.   <property name="modal">False</property>
  12.   <property name="default_height">450</property>
  13.   <property name="resizable">True</property>
  14.   <property name="destroy_with_parent">True</property>
  15.   <property name="icon_name"></property>
  16.   <property name="decorated">True</property>
  17.   <property name="skip_taskbar_hint">False</property>
  18.   <property name="skip_pager_hint">False</property>
  19.   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  20.   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  21.   <property name="focus_on_map">True</property>
  22.   <property name="urgency_hint">False</property>
  23.   <property name="has_separator">False</property>
  24.   <signal name="response" handler="prefs_dialog_response_cb" last_modification_time="Sat, 10 May 2003 09:37:44 GMT"/>
  25.  
  26.   <child internal-child="vbox">
  27.     <widget class="GtkVBox" id="dialog-vbox2">
  28.       <property name="visible">True</property>
  29.       <property name="homogeneous">False</property>
  30.       <property name="spacing">2</property>
  31.  
  32.       <child internal-child="action_area">
  33.     <widget class="GtkHButtonBox" id="dialog-action_area2">
  34.       <property name="visible">True</property>
  35.       <property name="layout_style">GTK_BUTTONBOX_END</property>
  36.  
  37.       <child>
  38.         <widget class="GtkButton" id="close">
  39.           <property name="visible">True</property>
  40.           <property name="can_default">True</property>
  41.           <property name="can_focus">True</property>
  42.           <property name="label">gtk-close</property>
  43.           <property name="use_stock">True</property>
  44.           <property name="relief">GTK_RELIEF_NORMAL</property>
  45.           <property name="focus_on_click">True</property>
  46.           <property name="response_id">-7</property>
  47.         </widget>
  48.       </child>
  49.     </widget>
  50.     <packing>
  51.       <property name="padding">0</property>
  52.       <property name="expand">False</property>
  53.       <property name="fill">True</property>
  54.       <property name="pack_type">GTK_PACK_END</property>
  55.     </packing>
  56.       </child>
  57.  
  58.       <child>
  59.     <widget class="GtkNotebook" id="notebook1">
  60.       <property name="border_width">5</property>
  61.       <property name="visible">True</property>
  62.       <property name="can_focus">True</property>
  63.       <property name="show_tabs">True</property>
  64.       <property name="show_border">True</property>
  65.       <property name="tab_pos">GTK_POS_TOP</property>
  66.       <property name="scrollable">True</property>
  67.       <property name="enable_popup">False</property>
  68.  
  69.       <child>
  70.         <widget class="GtkVBox" id="big_box">
  71.           <property name="border_width">12</property>
  72.           <property name="visible">True</property>
  73.           <property name="homogeneous">False</property>
  74.           <property name="spacing">18</property>
  75.  
  76.           <child>
  77.         <widget class="GtkVBox" id="loaded_extensions_box">
  78.           <property name="visible">True</property>
  79.           <property name="homogeneous">False</property>
  80.           <property name="spacing">6</property>
  81.  
  82.           <child>
  83.             <widget class="GtkLabel" id="label1310">
  84.               <property name="visible">True</property>
  85.               <property name="label" translatable="yes"><b>Loaded Extensions</b></property>
  86.               <property name="use_underline">True</property>
  87.               <property name="use_markup">True</property>
  88.               <property name="justify">GTK_JUSTIFY_CENTER</property>
  89.               <property name="wrap">False</property>
  90.               <property name="selectable">False</property>
  91.               <property name="xalign">0</property>
  92.               <property name="yalign">0.5</property>
  93.               <property name="xpad">0</property>
  94.               <property name="ypad">0</property>
  95.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  96.               <property name="width_chars">-1</property>
  97.               <property name="single_line_mode">False</property>
  98.               <property name="angle">0</property>
  99.             </widget>
  100.             <packing>
  101.               <property name="padding">0</property>
  102.               <property name="expand">False</property>
  103.               <property name="fill">False</property>
  104.             </packing>
  105.           </child>
  106.  
  107.           <child>
  108.             <widget class="GtkAlignment" id="alignment16">
  109.               <property name="visible">True</property>
  110.               <property name="xalign">0.5</property>
  111.               <property name="yalign">0.5</property>
  112.               <property name="xscale">1</property>
  113.               <property name="yscale">1</property>
  114.               <property name="top_padding">0</property>
  115.               <property name="bottom_padding">0</property>
  116.               <property name="left_padding">12</property>
  117.               <property name="right_padding">0</property>
  118.  
  119.               <child>
  120.             <widget class="GtkVBox" id="vbox156">
  121.               <property name="visible">True</property>
  122.               <property name="homogeneous">False</property>
  123.               <property name="spacing">6</property>
  124.  
  125.               <child>
  126.                 <widget class="GtkScrolledWindow" id="handlers">
  127.                   <property name="visible">True</property>
  128.                   <property name="can_focus">True</property>
  129.                   <property name="has_focus">True</property>
  130.                   <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
  131.                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  132.                   <property name="shadow_type">GTK_SHADOW_IN</property>
  133.                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  134.  
  135.                   <child>
  136.                 <placeholder/>
  137.                   </child>
  138.                 </widget>
  139.                 <packing>
  140.                   <property name="padding">0</property>
  141.                   <property name="expand">True</property>
  142.                   <property name="fill">True</property>
  143.                 </packing>
  144.               </child>
  145.  
  146.               <child>
  147.                 <widget class="GtkHBox" id="hbox188">
  148.                   <property name="visible">True</property>
  149.                   <property name="homogeneous">False</property>
  150.                   <property name="spacing">6</property>
  151.  
  152.                   <child>
  153.                 <widget class="GtkButton" id="more">
  154.                   <property name="visible">True</property>
  155.                   <property name="can_focus">True</property>
  156.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  157.                   <property name="focus_on_click">True</property>
  158.  
  159.                   <child>
  160.                     <widget class="GtkAlignment" id="alignment27">
  161.                       <property name="visible">True</property>
  162.                       <property name="xalign">0.5</property>
  163.                       <property name="yalign">0.5</property>
  164.                       <property name="xscale">0</property>
  165.                       <property name="yscale">0</property>
  166.                       <property name="top_padding">0</property>
  167.                       <property name="bottom_padding">0</property>
  168.                       <property name="left_padding">0</property>
  169.                       <property name="right_padding">0</property>
  170.  
  171.                       <child>
  172.                     <widget class="GtkHBox" id="hbox196">
  173.                       <property name="visible">True</property>
  174.                       <property name="homogeneous">False</property>
  175.                       <property name="spacing">2</property>
  176.  
  177.                       <child>
  178.                         <widget class="GtkImage" id="image6">
  179.                           <property name="visible">True</property>
  180.                           <property name="stock">gtk-preferences</property>
  181.                           <property name="icon_size">4</property>
  182.                           <property name="xalign">0.5</property>
  183.                           <property name="yalign">0.5</property>
  184.                           <property name="xpad">0</property>
  185.                           <property name="ypad">0</property>
  186.                         </widget>
  187.                         <packing>
  188.                           <property name="padding">0</property>
  189.                           <property name="expand">False</property>
  190.                           <property name="fill">False</property>
  191.                         </packing>
  192.                       </child>
  193.  
  194.                       <child>
  195.                         <widget class="GtkLabel" id="label1328">
  196.                           <property name="visible">True</property>
  197.                           <property name="label" translatable="yes">_More...</property>
  198.                           <property name="use_underline">True</property>
  199.                           <property name="use_markup">False</property>
  200.                           <property name="justify">GTK_JUSTIFY_LEFT</property>
  201.                           <property name="wrap">False</property>
  202.                           <property name="selectable">False</property>
  203.                           <property name="xalign">0.5</property>
  204.                           <property name="yalign">0.5</property>
  205.                           <property name="xpad">0</property>
  206.                           <property name="ypad">0</property>
  207.                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  208.                           <property name="width_chars">-1</property>
  209.                           <property name="single_line_mode">False</property>
  210.                           <property name="angle">0</property>
  211.                         </widget>
  212.                         <packing>
  213.                           <property name="padding">0</property>
  214.                           <property name="expand">False</property>
  215.                           <property name="fill">False</property>
  216.                         </packing>
  217.                       </child>
  218.                     </widget>
  219.                       </child>
  220.                     </widget>
  221.                   </child>
  222.                 </widget>
  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.  
  231.                   <child>
  232.                 <widget class="GtkButton" id="update">
  233.                   <property name="visible">True</property>
  234.                   <property name="can_focus">True</property>
  235.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  236.                   <property name="focus_on_click">True</property>
  237.  
  238.                   <child>
  239.                     <widget class="GtkAlignment" id="alignment21">
  240.                       <property name="visible">True</property>
  241.                       <property name="xalign">0.5</property>
  242.                       <property name="yalign">0.5</property>
  243.                       <property name="xscale">0</property>
  244.                       <property name="yscale">0</property>
  245.                       <property name="top_padding">0</property>
  246.                       <property name="bottom_padding">0</property>
  247.                       <property name="left_padding">0</property>
  248.                       <property name="right_padding">0</property>
  249.  
  250.                       <child>
  251.                     <widget class="GtkHBox" id="hbox189">
  252.                       <property name="visible">True</property>
  253.                       <property name="homogeneous">False</property>
  254.                       <property name="spacing">2</property>
  255.  
  256.                       <child>
  257.                         <widget class="GtkImage" id="image1">
  258.                           <property name="visible">True</property>
  259.                           <property name="stock">gtk-refresh</property>
  260.                           <property name="icon_size">4</property>
  261.                           <property name="xalign">0.5</property>
  262.                           <property name="yalign">0.5</property>
  263.                           <property name="xpad">0</property>
  264.                           <property name="ypad">0</property>
  265.                         </widget>
  266.                         <packing>
  267.                           <property name="padding">0</property>
  268.                           <property name="expand">False</property>
  269.                           <property name="fill">False</property>
  270.                         </packing>
  271.                       </child>
  272.  
  273.                       <child>
  274.                         <widget class="GtkLabel" id="label1320">
  275.                           <property name="visible">True</property>
  276.                           <property name="label" translatable="yes">_Update</property>
  277.                           <property name="use_underline">True</property>
  278.                           <property name="use_markup">False</property>
  279.                           <property name="justify">GTK_JUSTIFY_LEFT</property>
  280.                           <property name="wrap">False</property>
  281.                           <property name="selectable">False</property>
  282.                           <property name="xalign">0.5</property>
  283.                           <property name="yalign">0.5</property>
  284.                           <property name="xpad">0</property>
  285.                           <property name="ypad">0</property>
  286.                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  287.                           <property name="width_chars">-1</property>
  288.                           <property name="single_line_mode">False</property>
  289.                           <property name="angle">0</property>
  290.                         </widget>
  291.                         <packing>
  292.                           <property name="padding">0</property>
  293.                           <property name="expand">False</property>
  294.                           <property name="fill">False</property>
  295.                         </packing>
  296.                       </child>
  297.                     </widget>
  298.                       </child>
  299.                     </widget>
  300.                   </child>
  301.                 </widget>
  302.                 <packing>
  303.                   <property name="padding">0</property>
  304.                   <property name="expand">False</property>
  305.                   <property name="fill">True</property>
  306.                   <property name="pack_type">GTK_PACK_END</property>
  307.                 </packing>
  308.                   </child>
  309.  
  310.                   <child>
  311.                 <widget class="GtkButton" id="check">
  312.                   <property name="visible">True</property>
  313.                   <property name="can_focus">True</property>
  314.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  315.                   <property name="focus_on_click">True</property>
  316.  
  317.                   <child>
  318.                     <widget class="GtkAlignment" id="alignment22">
  319.                       <property name="visible">True</property>
  320.                       <property name="xalign">0.5</property>
  321.                       <property name="yalign">0.5</property>
  322.                       <property name="xscale">0</property>
  323.                       <property name="yscale">0</property>
  324.                       <property name="top_padding">0</property>
  325.                       <property name="bottom_padding">0</property>
  326.                       <property name="left_padding">0</property>
  327.                       <property name="right_padding">0</property>
  328.  
  329.                       <child>
  330.                     <widget class="GtkHBox" id="hbox190">
  331.                       <property name="visible">True</property>
  332.                       <property name="homogeneous">False</property>
  333.                       <property name="spacing">2</property>
  334.  
  335.                       <child>
  336.                         <widget class="GtkImage" id="image2">
  337.                           <property name="visible">True</property>
  338.                           <property name="stock">gtk-network</property>
  339.                           <property name="icon_size">4</property>
  340.                           <property name="xalign">0.5</property>
  341.                           <property name="yalign">0.5</property>
  342.                           <property name="xpad">0</property>
  343.                           <property name="ypad">0</property>
  344.                         </widget>
  345.                         <packing>
  346.                           <property name="padding">0</property>
  347.                           <property name="expand">False</property>
  348.                           <property name="fill">False</property>
  349.                         </packing>
  350.                       </child>
  351.  
  352.                       <child>
  353.                         <widget class="GtkLabel" id="label1321">
  354.                           <property name="visible">True</property>
  355.                           <property name="label" translatable="yes">_Check For Updates</property>
  356.                           <property name="use_underline">True</property>
  357.                           <property name="use_markup">False</property>
  358.                           <property name="justify">GTK_JUSTIFY_LEFT</property>
  359.                           <property name="wrap">False</property>
  360.                           <property name="selectable">False</property>
  361.                           <property name="xalign">0.5</property>
  362.                           <property name="yalign">0.5</property>
  363.                           <property name="xpad">0</property>
  364.                           <property name="ypad">0</property>
  365.                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  366.                           <property name="width_chars">-1</property>
  367.                           <property name="single_line_mode">False</property>
  368.                           <property name="angle">0</property>
  369.                         </widget>
  370.                         <packing>
  371.                           <property name="padding">0</property>
  372.                           <property name="expand">False</property>
  373.                           <property name="fill">False</property>
  374.                         </packing>
  375.                       </child>
  376.                     </widget>
  377.                       </child>
  378.                     </widget>
  379.                   </child>
  380.                 </widget>
  381.                 <packing>
  382.                   <property name="padding">0</property>
  383.                   <property name="expand">False</property>
  384.                   <property name="fill">True</property>
  385.                   <property name="pack_type">GTK_PACK_END</property>
  386.                 </packing>
  387.                   </child>
  388.                 </widget>
  389.                 <packing>
  390.                   <property name="padding">0</property>
  391.                   <property name="expand">False</property>
  392.                   <property name="fill">True</property>
  393.                 </packing>
  394.               </child>
  395.  
  396.               <child>
  397.                 <widget class="GtkHBox" id="info_area">
  398.                   <property name="visible">True</property>
  399.                   <property name="homogeneous">False</property>
  400.                   <property name="spacing">0</property>
  401.  
  402.                   <child>
  403.                 <widget class="GtkLabel" id="default_info">
  404.                   <property name="visible">True</property>
  405.                   <property name="label" translatable="yes"><i><small><b>Note:</b> Drag and drop an extension to change its order.</small></i></property>
  406.                   <property name="use_underline">False</property>
  407.                   <property name="use_markup">True</property>
  408.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  409.                   <property name="wrap">False</property>
  410.                   <property name="selectable">False</property>
  411.                   <property name="xalign">0</property>
  412.                   <property name="yalign">0.5</property>
  413.                   <property name="xpad">0</property>
  414.                   <property name="ypad">0</property>
  415.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  416.                   <property name="width_chars">-1</property>
  417.                   <property name="single_line_mode">False</property>
  418.                   <property name="angle">0</property>
  419.                 </widget>
  420.                 <packing>
  421.                   <property name="padding">0</property>
  422.                   <property name="expand">False</property>
  423.                   <property name="fill">False</property>
  424.                 </packing>
  425.                   </child>
  426.                 </widget>
  427.                 <packing>
  428.                   <property name="padding">0</property>
  429.                   <property name="expand">False</property>
  430.                   <property name="fill">True</property>
  431.                 </packing>
  432.               </child>
  433.             </widget>
  434.               </child>
  435.             </widget>
  436.             <packing>
  437.               <property name="padding">0</property>
  438.               <property name="expand">True</property>
  439.               <property name="fill">True</property>
  440.             </packing>
  441.           </child>
  442.         </widget>
  443.         <packing>
  444.           <property name="padding">0</property>
  445.           <property name="expand">True</property>
  446.           <property name="fill">True</property>
  447.         </packing>
  448.           </child>
  449.         </widget>
  450.         <packing>
  451.           <property name="tab_expand">False</property>
  452.           <property name="tab_fill">True</property>
  453.         </packing>
  454.       </child>
  455.  
  456.       <child>
  457.         <widget class="GtkLabel" id="label1315">
  458.           <property name="visible">True</property>
  459.           <property name="label" translatable="yes">Searches</property>
  460.           <property name="use_underline">False</property>
  461.           <property name="use_markup">False</property>
  462.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  463.           <property name="wrap">False</property>
  464.           <property name="selectable">False</property>
  465.           <property name="xalign">0.5</property>
  466.           <property name="yalign">0.5</property>
  467.           <property name="xpad">0</property>
  468.           <property name="ypad">0</property>
  469.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  470.           <property name="width_chars">-1</property>
  471.           <property name="single_line_mode">False</property>
  472.           <property name="angle">0</property>
  473.         </widget>
  474.         <packing>
  475.           <property name="type">tab</property>
  476.         </packing>
  477.       </child>
  478.  
  479.       <child>
  480.         <widget class="GtkVBox" id="extensions_vbox">
  481.           <property name="border_width">12</property>
  482.           <property name="visible">True</property>
  483.           <property name="homogeneous">False</property>
  484.           <property name="spacing">18</property>
  485.  
  486.           <child>
  487.         <widget class="GtkVBox" id="vbox159">
  488.           <property name="visible">True</property>
  489.           <property name="homogeneous">False</property>
  490.           <property name="spacing">6</property>
  491.  
  492.           <child>
  493.             <widget class="GtkLabel" id="label1323">
  494.               <property name="visible">True</property>
  495.               <property name="label" translatable="yes"><b>Available Extensions</b></property>
  496.               <property name="use_underline">True</property>
  497.               <property name="use_markup">True</property>
  498.               <property name="justify">GTK_JUSTIFY_CENTER</property>
  499.               <property name="wrap">False</property>
  500.               <property name="selectable">False</property>
  501.               <property name="xalign">0</property>
  502.               <property name="yalign">0.5</property>
  503.               <property name="xpad">0</property>
  504.               <property name="ypad">0</property>
  505.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  506.               <property name="width_chars">-1</property>
  507.               <property name="single_line_mode">False</property>
  508.               <property name="angle">0</property>
  509.             </widget>
  510.             <packing>
  511.               <property name="padding">0</property>
  512.               <property name="expand">False</property>
  513.               <property name="fill">False</property>
  514.             </packing>
  515.           </child>
  516.  
  517.           <child>
  518.             <widget class="GtkAlignment" id="alignment23">
  519.               <property name="visible">True</property>
  520.               <property name="xalign">0.5</property>
  521.               <property name="yalign">0.5</property>
  522.               <property name="xscale">1</property>
  523.               <property name="yscale">1</property>
  524.               <property name="top_padding">0</property>
  525.               <property name="bottom_padding">0</property>
  526.               <property name="left_padding">12</property>
  527.               <property name="right_padding">0</property>
  528.  
  529.               <child>
  530.             <widget class="GtkVBox" id="vbox160">
  531.               <property name="visible">True</property>
  532.               <property name="homogeneous">False</property>
  533.               <property name="spacing">6</property>
  534.  
  535.               <child>
  536.                 <widget class="GtkScrolledWindow" id="newhandlers">
  537.                   <property name="visible">True</property>
  538.                   <property name="can_focus">True</property>
  539.                   <property name="has_focus">True</property>
  540.                   <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
  541.                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  542.                   <property name="shadow_type">GTK_SHADOW_IN</property>
  543.                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  544.  
  545.                   <child>
  546.                 <placeholder/>
  547.                   </child>
  548.                 </widget>
  549.                 <packing>
  550.                   <property name="padding">0</property>
  551.                   <property name="expand">True</property>
  552.                   <property name="fill">True</property>
  553.                 </packing>
  554.               </child>
  555.  
  556.               <child>
  557.                 <widget class="GtkHBox" id="hbox191">
  558.                   <property name="visible">True</property>
  559.                   <property name="homogeneous">False</property>
  560.                   <property name="spacing">6</property>
  561.  
  562.                   <child>
  563.                 <widget class="GtkButton" id="install">
  564.                   <property name="visible">True</property>
  565.                   <property name="can_focus">True</property>
  566.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  567.                   <property name="focus_on_click">True</property>
  568.  
  569.                   <child>
  570.                     <widget class="GtkAlignment" id="alignment26">
  571.                       <property name="visible">True</property>
  572.                       <property name="xalign">0.5</property>
  573.                       <property name="yalign">0.5</property>
  574.                       <property name="xscale">0</property>
  575.                       <property name="yscale">0</property>
  576.                       <property name="top_padding">0</property>
  577.                       <property name="bottom_padding">0</property>
  578.                       <property name="left_padding">0</property>
  579.                       <property name="right_padding">0</property>
  580.  
  581.                       <child>
  582.                     <widget class="GtkHBox" id="hbox195">
  583.                       <property name="visible">True</property>
  584.                       <property name="homogeneous">False</property>
  585.                       <property name="spacing">2</property>
  586.  
  587.                       <child>
  588.                         <widget class="GtkImage" id="image5">
  589.                           <property name="visible">True</property>
  590.                           <property name="stock">gtk-save</property>
  591.                           <property name="icon_size">4</property>
  592.                           <property name="xalign">0.5</property>
  593.                           <property name="yalign">0.5</property>
  594.                           <property name="xpad">0</property>
  595.                           <property name="ypad">0</property>
  596.                         </widget>
  597.                         <packing>
  598.                           <property name="padding">0</property>
  599.                           <property name="expand">False</property>
  600.                           <property name="fill">False</property>
  601.                         </packing>
  602.                       </child>
  603.  
  604.                       <child>
  605.                         <widget class="GtkLabel" id="label1327">
  606.                           <property name="visible">True</property>
  607.                           <property name="label" translatable="yes">_Install</property>
  608.                           <property name="use_underline">True</property>
  609.                           <property name="use_markup">False</property>
  610.                           <property name="justify">GTK_JUSTIFY_LEFT</property>
  611.                           <property name="wrap">False</property>
  612.                           <property name="selectable">False</property>
  613.                           <property name="xalign">0.5</property>
  614.                           <property name="yalign">0.5</property>
  615.                           <property name="xpad">0</property>
  616.                           <property name="ypad">0</property>
  617.                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  618.                           <property name="width_chars">-1</property>
  619.                           <property name="single_line_mode">False</property>
  620.                           <property name="angle">0</property>
  621.                         </widget>
  622.                         <packing>
  623.                           <property name="padding">0</property>
  624.                           <property name="expand">False</property>
  625.                           <property name="fill">False</property>
  626.                         </packing>
  627.                       </child>
  628.                     </widget>
  629.                       </child>
  630.                     </widget>
  631.                   </child>
  632.                 </widget>
  633.                 <packing>
  634.                   <property name="padding">0</property>
  635.                   <property name="expand">False</property>
  636.                   <property name="fill">True</property>
  637.                   <property name="pack_type">GTK_PACK_END</property>
  638.                 </packing>
  639.                   </child>
  640.  
  641.                   <child>
  642.                 <widget class="GtkButton" id="check_new_extensions">
  643.                   <property name="visible">True</property>
  644.                   <property name="can_focus">True</property>
  645.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  646.                   <property name="focus_on_click">True</property>
  647.  
  648.                   <child>
  649.                     <widget class="GtkAlignment" id="alignment28">
  650.                       <property name="visible">True</property>
  651.                       <property name="xalign">0.5</property>
  652.                       <property name="yalign">0.5</property>
  653.                       <property name="xscale">0</property>
  654.                       <property name="yscale">0</property>
  655.                       <property name="top_padding">0</property>
  656.                       <property name="bottom_padding">0</property>
  657.                       <property name="left_padding">0</property>
  658.                       <property name="right_padding">0</property>
  659.  
  660.                       <child>
  661.                     <widget class="GtkHBox" id="hbox197">
  662.                       <property name="visible">True</property>
  663.                       <property name="homogeneous">False</property>
  664.                       <property name="spacing">2</property>
  665.  
  666.                       <child>
  667.                         <widget class="GtkImage" id="image7">
  668.                           <property name="visible">True</property>
  669.                           <property name="stock">gtk-network</property>
  670.                           <property name="icon_size">4</property>
  671.                           <property name="xalign">0.5</property>
  672.                           <property name="yalign">0.5</property>
  673.                           <property name="xpad">0</property>
  674.                           <property name="ypad">0</property>
  675.                         </widget>
  676.                         <packing>
  677.                           <property name="padding">0</property>
  678.                           <property name="expand">False</property>
  679.                           <property name="fill">False</property>
  680.                         </packing>
  681.                       </child>
  682.  
  683.                       <child>
  684.                         <widget class="GtkLabel" id="label1329">
  685.                           <property name="visible">True</property>
  686.                           <property name="label" translatable="yes">_Check for new extensions</property>
  687.                           <property name="use_underline">True</property>
  688.                           <property name="use_markup">False</property>
  689.                           <property name="justify">GTK_JUSTIFY_LEFT</property>
  690.                           <property name="wrap">False</property>
  691.                           <property name="selectable">False</property>
  692.                           <property name="xalign">0.5</property>
  693.                           <property name="yalign">0.5</property>
  694.                           <property name="xpad">0</property>
  695.                           <property name="ypad">0</property>
  696.                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  697.                           <property name="width_chars">-1</property>
  698.                           <property name="single_line_mode">False</property>
  699.                           <property name="angle">0</property>
  700.                         </widget>
  701.                         <packing>
  702.                           <property name="padding">0</property>
  703.                           <property name="expand">False</property>
  704.                           <property name="fill">False</property>
  705.                         </packing>
  706.                       </child>
  707.                     </widget>
  708.                       </child>
  709.                     </widget>
  710.                   </child>
  711.                 </widget>
  712.                 <packing>
  713.                   <property name="padding">0</property>
  714.                   <property name="expand">False</property>
  715.                   <property name="fill">True</property>
  716.                 </packing>
  717.                   </child>
  718.                 </widget>
  719.                 <packing>
  720.                   <property name="padding">0</property>
  721.                   <property name="expand">False</property>
  722.                   <property name="fill">True</property>
  723.                 </packing>
  724.               </child>
  725.             </widget>
  726.               </child>
  727.             </widget>
  728.             <packing>
  729.               <property name="padding">0</property>
  730.               <property name="expand">True</property>
  731.               <property name="fill">True</property>
  732.             </packing>
  733.           </child>
  734.         </widget>
  735.         <packing>
  736.           <property name="padding">0</property>
  737.           <property name="expand">True</property>
  738.           <property name="fill">True</property>
  739.         </packing>
  740.           </child>
  741.         </widget>
  742.         <packing>
  743.           <property name="tab_expand">False</property>
  744.           <property name="tab_fill">True</property>
  745.         </packing>
  746.       </child>
  747.  
  748.       <child>
  749.         <widget class="GtkLabel" id="label1322">
  750.           <property name="visible">True</property>
  751.           <property name="label" translatable="yes">New Extensions</property>
  752.           <property name="use_underline">False</property>
  753.           <property name="use_markup">False</property>
  754.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  755.           <property name="wrap">False</property>
  756.           <property name="selectable">False</property>
  757.           <property name="xalign">0.5</property>
  758.           <property name="yalign">0.5</property>
  759.           <property name="xpad">0</property>
  760.           <property name="ypad">0</property>
  761.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  762.           <property name="width_chars">-1</property>
  763.           <property name="single_line_mode">False</property>
  764.           <property name="angle">0</property>
  765.         </widget>
  766.         <packing>
  767.           <property name="type">tab</property>
  768.         </packing>
  769.       </child>
  770.  
  771.       <child>
  772.         <widget class="GtkVBox" id="view_vbox">
  773.           <property name="border_width">12</property>
  774.           <property name="visible">True</property>
  775.           <property name="homogeneous">False</property>
  776.           <property name="spacing">18</property>
  777.  
  778.           <child>
  779.         <widget class="GtkVBox" id="frame1">
  780.           <property name="visible">True</property>
  781.           <property name="homogeneous">False</property>
  782.           <property name="spacing">6</property>
  783.  
  784.           <child>
  785.             <widget class="GtkLabel" id="label1317">
  786.               <property name="visible">True</property>
  787.               <property name="label" translatable="yes"><b>Layout</b></property>
  788.               <property name="use_underline">False</property>
  789.               <property name="use_markup">True</property>
  790.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  791.               <property name="wrap">False</property>
  792.               <property name="selectable">False</property>
  793.               <property name="xalign">0</property>
  794.               <property name="yalign">0.5</property>
  795.               <property name="xpad">0</property>
  796.               <property name="ypad">0</property>
  797.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  798.               <property name="width_chars">-1</property>
  799.               <property name="single_line_mode">False</property>
  800.               <property name="angle">0</property>
  801.             </widget>
  802.             <packing>
  803.               <property name="padding">0</property>
  804.               <property name="expand">False</property>
  805.               <property name="fill">False</property>
  806.             </packing>
  807.           </child>
  808.  
  809.           <child>
  810.             <widget class="GtkAlignment" id="alignment18">
  811.               <property name="visible">True</property>
  812.               <property name="xalign">0.5</property>
  813.               <property name="yalign">0.5</property>
  814.               <property name="xscale">1</property>
  815.               <property name="yscale">1</property>
  816.               <property name="top_padding">0</property>
  817.               <property name="bottom_padding">0</property>
  818.               <property name="left_padding">12</property>
  819.               <property name="right_padding">0</property>
  820.  
  821.               <child>
  822.             <widget class="GtkVBox" id="vbox157">
  823.               <property name="visible">True</property>
  824.               <property name="homogeneous">False</property>
  825.               <property name="spacing">6</property>
  826.  
  827.               <child>
  828.                 <widget class="GtkRadioButton" id="completion_radio">
  829.                   <property name="visible">True</property>
  830.                   <property name="can_focus">True</property>
  831.                   <property name="label" translatable="yes">Entry in panel</property>
  832.                   <property name="use_underline">True</property>
  833.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  834.                   <property name="focus_on_click">True</property>
  835.                   <property name="active">False</property>
  836.                   <property name="inconsistent">False</property>
  837.                   <property name="draw_indicator">True</property>
  838.                 </widget>
  839.                 <packing>
  840.                   <property name="padding">0</property>
  841.                   <property name="expand">False</property>
  842.                   <property name="fill">False</property>
  843.                 </packing>
  844.               </child>
  845.  
  846.               <child>
  847.                 <widget class="GtkRadioButton" id="cuemiac_radio">
  848.                   <property name="visible">True</property>
  849.                   <property name="can_focus">True</property>
  850.                   <property name="label" translatable="yes">Button in panel</property>
  851.                   <property name="use_underline">True</property>
  852.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  853.                   <property name="focus_on_click">True</property>
  854.                   <property name="active">False</property>
  855.                   <property name="inconsistent">False</property>
  856.                   <property name="draw_indicator">True</property>
  857.                   <property name="group">completion_radio</property>
  858.                 </widget>
  859.                 <packing>
  860.                   <property name="padding">0</property>
  861.                   <property name="expand">False</property>
  862.                   <property name="fill">False</property>
  863.                 </packing>
  864.               </child>
  865.             </widget>
  866.               </child>
  867.             </widget>
  868.             <packing>
  869.               <property name="padding">0</property>
  870.               <property name="expand">True</property>
  871.               <property name="fill">True</property>
  872.             </packing>
  873.           </child>
  874.         </widget>
  875.         <packing>
  876.           <property name="padding">0</property>
  877.           <property name="expand">False</property>
  878.           <property name="fill">True</property>
  879.         </packing>
  880.           </child>
  881.  
  882.           <child>
  883.         <widget class="GtkVBox" id="frame2">
  884.           <property name="visible">True</property>
  885.           <property name="homogeneous">False</property>
  886.           <property name="spacing">6</property>
  887.  
  888.           <child>
  889.             <widget class="GtkLabel" id="label1318">
  890.               <property name="visible">True</property>
  891.               <property name="label" translatable="yes"><b>Width</b></property>
  892.               <property name="use_underline">False</property>
  893.               <property name="use_markup">True</property>
  894.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  895.               <property name="wrap">False</property>
  896.               <property name="selectable">False</property>
  897.               <property name="xalign">0</property>
  898.               <property name="yalign">0.5</property>
  899.               <property name="xpad">0</property>
  900.               <property name="ypad">0</property>
  901.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  902.               <property name="width_chars">-1</property>
  903.               <property name="single_line_mode">False</property>
  904.               <property name="angle">0</property>
  905.             </widget>
  906.             <packing>
  907.               <property name="padding">0</property>
  908.               <property name="expand">False</property>
  909.               <property name="fill">False</property>
  910.             </packing>
  911.           </child>
  912.  
  913.           <child>
  914.             <widget class="GtkAlignment" id="alignment19">
  915.               <property name="visible">True</property>
  916.               <property name="xalign">0.5</property>
  917.               <property name="yalign">0.5</property>
  918.               <property name="xscale">1</property>
  919.               <property name="yscale">1</property>
  920.               <property name="top_padding">0</property>
  921.               <property name="bottom_padding">0</property>
  922.               <property name="left_padding">12</property>
  923.               <property name="right_padding">0</property>
  924.  
  925.               <child>
  926.             <widget class="GtkVBox" id="vbox154">
  927.               <property name="visible">True</property>
  928.               <property name="homogeneous">False</property>
  929.               <property name="spacing">6</property>
  930.  
  931.               <child>
  932.                 <widget class="GtkRadioButton" id="use_all_width_radio">
  933.                   <property name="visible">True</property>
  934.                   <property name="can_focus">True</property>
  935.                   <property name="label" translatable="yes">Use _all available space</property>
  936.                   <property name="use_underline">True</property>
  937.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  938.                   <property name="focus_on_click">True</property>
  939.                   <property name="active">False</property>
  940.                   <property name="inconsistent">False</property>
  941.                   <property name="draw_indicator">True</property>
  942.                 </widget>
  943.                 <packing>
  944.                   <property name="padding">0</property>
  945.                   <property name="expand">False</property>
  946.                   <property name="fill">False</property>
  947.                 </packing>
  948.               </child>
  949.  
  950.               <child>
  951.                 <widget class="GtkHBox" id="hbox186">
  952.                   <property name="visible">True</property>
  953.                   <property name="homogeneous">False</property>
  954.                   <property name="spacing">12</property>
  955.  
  956.                   <child>
  957.                 <widget class="GtkRadioButton" id="fixed_width_radio">
  958.                   <property name="visible">True</property>
  959.                   <property name="can_focus">True</property>
  960.                   <property name="label" translatable="yes">Fixed _width:</property>
  961.                   <property name="use_underline">True</property>
  962.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  963.                   <property name="focus_on_click">True</property>
  964.                   <property name="active">False</property>
  965.                   <property name="inconsistent">False</property>
  966.                   <property name="draw_indicator">True</property>
  967.                   <property name="group">use_all_width_radio</property>
  968.                 </widget>
  969.                 <packing>
  970.                   <property name="padding">0</property>
  971.                   <property name="expand">False</property>
  972.                   <property name="fill">False</property>
  973.                 </packing>
  974.                   </child>
  975.  
  976.                   <child>
  977.                 <widget class="GtkHBox" id="hbox187">
  978.                   <property name="visible">True</property>
  979.                   <property name="homogeneous">False</property>
  980.                   <property name="spacing">6</property>
  981.  
  982.                   <child>
  983.                     <widget class="GtkSpinButton" id="width">
  984.                       <property name="visible">True</property>
  985.                       <property name="can_focus">True</property>
  986.                       <property name="climb_rate">1</property>
  987.                       <property name="digits">0</property>
  988.                       <property name="numeric">False</property>
  989.                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  990.                       <property name="snap_to_ticks">False</property>
  991.                       <property name="wrap">False</property>
  992.                       <property name="adjustment">20 10 1000 1 10 10</property>
  993.                     </widget>
  994.                     <packing>
  995.                       <property name="padding">0</property>
  996.                       <property name="expand">True</property>
  997.                       <property name="fill">True</property>
  998.                     </packing>
  999.                   </child>
  1000.  
  1001.                   <child>
  1002.                     <widget class="GtkLabel" id="width_units">
  1003.                       <property name="visible">True</property>
  1004.                       <property name="label" translatable="yes">characters</property>
  1005.                       <property name="use_underline">False</property>
  1006.                       <property name="use_markup">False</property>
  1007.                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  1008.                       <property name="wrap">False</property>
  1009.                       <property name="selectable">False</property>
  1010.                       <property name="xalign">0</property>
  1011.                       <property name="yalign">0.5</property>
  1012.                       <property name="xpad">0</property>
  1013.                       <property name="ypad">0</property>
  1014.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1015.                       <property name="width_chars">-1</property>
  1016.                       <property name="single_line_mode">False</property>
  1017.                       <property name="angle">0</property>
  1018.                     </widget>
  1019.                     <packing>
  1020.                       <property name="padding">0</property>
  1021.                       <property name="expand">False</property>
  1022.                       <property name="fill">False</property>
  1023.                     </packing>
  1024.                   </child>
  1025.                 </widget>
  1026.                 <packing>
  1027.                   <property name="padding">0</property>
  1028.                   <property name="expand">False</property>
  1029.                   <property name="fill">False</property>
  1030.                 </packing>
  1031.                   </child>
  1032.                 </widget>
  1033.                 <packing>
  1034.                   <property name="padding">0</property>
  1035.                   <property name="expand">False</property>
  1036.                   <property name="fill">False</property>
  1037.                 </packing>
  1038.               </child>
  1039.             </widget>
  1040.               </child>
  1041.             </widget>
  1042.             <packing>
  1043.               <property name="padding">0</property>
  1044.               <property name="expand">True</property>
  1045.               <property name="fill">True</property>
  1046.             </packing>
  1047.           </child>
  1048.         </widget>
  1049.         <packing>
  1050.           <property name="padding">0</property>
  1051.           <property name="expand">False</property>
  1052.           <property name="fill">False</property>
  1053.         </packing>
  1054.           </child>
  1055.  
  1056.           <child>
  1057.         <widget class="GtkVBox" id="frame3">
  1058.           <property name="visible">True</property>
  1059.           <property name="homogeneous">False</property>
  1060.           <property name="spacing">6</property>
  1061.  
  1062.           <child>
  1063.             <widget class="GtkLabel" id="label1319">
  1064.               <property name="visible">True</property>
  1065.               <property name="label" translatable="yes"><b>Focus</b></property>
  1066.               <property name="use_underline">False</property>
  1067.               <property name="use_markup">True</property>
  1068.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  1069.               <property name="wrap">False</property>
  1070.               <property name="selectable">False</property>
  1071.               <property name="xalign">0</property>
  1072.               <property name="yalign">0.5</property>
  1073.               <property name="xpad">0</property>
  1074.               <property name="ypad">0</property>
  1075.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1076.               <property name="width_chars">-1</property>
  1077.               <property name="single_line_mode">False</property>
  1078.               <property name="angle">0</property>
  1079.             </widget>
  1080.             <packing>
  1081.               <property name="padding">0</property>
  1082.               <property name="expand">False</property>
  1083.               <property name="fill">False</property>
  1084.             </packing>
  1085.           </child>
  1086.  
  1087.           <child>
  1088.             <widget class="GtkAlignment" id="alignment20">
  1089.               <property name="visible">True</property>
  1090.               <property name="xalign">0.5</property>
  1091.               <property name="yalign">0.5</property>
  1092.               <property name="xscale">1</property>
  1093.               <property name="yscale">1</property>
  1094.               <property name="top_padding">0</property>
  1095.               <property name="bottom_padding">0</property>
  1096.               <property name="left_padding">12</property>
  1097.               <property name="right_padding">0</property>
  1098.  
  1099.               <child>
  1100.             <widget class="GtkVBox" id="vbox161">
  1101.               <property name="visible">True</property>
  1102.               <property name="homogeneous">False</property>
  1103.               <property name="spacing">6</property>
  1104.  
  1105.               <child>
  1106.                 <widget class="GtkHBox" id="keybinding_entry_container">
  1107.                   <property name="visible">True</property>
  1108.                   <property name="homogeneous">False</property>
  1109.                   <property name="spacing">12</property>
  1110.  
  1111.                   <child>
  1112.                 <widget class="GtkLabel" id="label1315">
  1113.                   <property name="visible">True</property>
  1114.                   <property name="label" translatable="yes">_Keyboard shortcut to focus:</property>
  1115.                   <property name="use_underline">True</property>
  1116.                   <property name="use_markup">False</property>
  1117.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  1118.                   <property name="wrap">False</property>
  1119.                   <property name="selectable">False</property>
  1120.                   <property name="xalign">0.5</property>
  1121.                   <property name="yalign">0.5</property>
  1122.                   <property name="xpad">0</property>
  1123.                   <property name="ypad">0</property>
  1124.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1125.                   <property name="width_chars">-1</property>
  1126.                   <property name="single_line_mode">False</property>
  1127.                   <property name="angle">0</property>
  1128.                 </widget>
  1129.                 <packing>
  1130.                   <property name="padding">0</property>
  1131.                   <property name="expand">False</property>
  1132.                   <property name="fill">False</property>
  1133.                 </packing>
  1134.                   </child>
  1135.  
  1136.                   <child>
  1137.                 <placeholder/>
  1138.                   </child>
  1139.                 </widget>
  1140.                 <packing>
  1141.                   <property name="padding">0</property>
  1142.                   <property name="expand">True</property>
  1143.                   <property name="fill">True</property>
  1144.                 </packing>
  1145.               </child>
  1146.  
  1147.               <child>
  1148.                 <widget class="GtkCheckButton" id="use_selection">
  1149.                   <property name="visible">True</property>
  1150.                   <property name="can_focus">True</property>
  1151.                   <property name="label" translatable="yes">Search selection when triggering the shortcut</property>
  1152.                   <property name="use_underline">True</property>
  1153.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  1154.                   <property name="focus_on_click">True</property>
  1155.                   <property name="active">False</property>
  1156.                   <property name="inconsistent">False</property>
  1157.                   <property name="draw_indicator">True</property>
  1158.                 </widget>
  1159.                 <packing>
  1160.                   <property name="padding">0</property>
  1161.                   <property name="expand">False</property>
  1162.                   <property name="fill">False</property>
  1163.                 </packing>
  1164.               </child>
  1165.             </widget>
  1166.               </child>
  1167.             </widget>
  1168.             <packing>
  1169.               <property name="padding">0</property>
  1170.               <property name="expand">True</property>
  1171.               <property name="fill">True</property>
  1172.             </packing>
  1173.           </child>
  1174.         </widget>
  1175.         <packing>
  1176.           <property name="padding">0</property>
  1177.           <property name="expand">False</property>
  1178.           <property name="fill">False</property>
  1179.         </packing>
  1180.           </child>
  1181.         </widget>
  1182.         <packing>
  1183.           <property name="tab_expand">False</property>
  1184.           <property name="tab_fill">True</property>
  1185.         </packing>
  1186.       </child>
  1187.  
  1188.       <child>
  1189.         <widget class="GtkLabel" id="label1316">
  1190.           <property name="visible">True</property>
  1191.           <property name="label" translatable="yes">View</property>
  1192.           <property name="use_underline">False</property>
  1193.           <property name="use_markup">False</property>
  1194.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  1195.           <property name="wrap">False</property>
  1196.           <property name="selectable">False</property>
  1197.           <property name="xalign">0.5</property>
  1198.           <property name="yalign">0.5</property>
  1199.           <property name="xpad">0</property>
  1200.           <property name="ypad">0</property>
  1201.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1202.           <property name="width_chars">-1</property>
  1203.           <property name="single_line_mode">False</property>
  1204.           <property name="angle">0</property>
  1205.         </widget>
  1206.         <packing>
  1207.           <property name="type">tab</property>
  1208.         </packing>
  1209.       </child>
  1210.     </widget>
  1211.     <packing>
  1212.       <property name="padding">0</property>
  1213.       <property name="expand">True</property>
  1214.       <property name="fill">True</property>
  1215.     </packing>
  1216.       </child>
  1217.     </widget>
  1218.   </child>
  1219. </widget>
  1220.  
  1221. </glade-interface>
  1222.