home *** CD-ROM | disk | FTP | other *** search
/ PC Welt 2006 November (DVD) / PCWELT_11_2006.ISO / casper / filesystem.squashfs / usr / share / deskbar-applet / prefs-dialog.glade < prev    next >
Encoding:
Extensible Markup Language  |  2006-08-29  |  27.0 KB  |  733 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="GtkVBox" id="vbox156">
  84.               <property name="visible">True</property>
  85.               <property name="homogeneous">False</property>
  86.               <property name="spacing">6</property>
  87.  
  88.               <child>
  89.             <widget class="GtkScrolledWindow" id="handlers">
  90.               <property name="visible">True</property>
  91.               <property name="can_focus">True</property>
  92.               <property name="has_focus">True</property>
  93.               <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
  94.               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  95.               <property name="shadow_type">GTK_SHADOW_IN</property>
  96.               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  97.  
  98.               <child>
  99.                 <placeholder/>
  100.               </child>
  101.             </widget>
  102.             <packing>
  103.               <property name="padding">0</property>
  104.               <property name="expand">True</property>
  105.               <property name="fill">True</property>
  106.             </packing>
  107.               </child>
  108.  
  109.               <child>
  110.             <widget class="GtkHBox" id="hbox188">
  111.               <property name="visible">True</property>
  112.               <property name="homogeneous">False</property>
  113.               <property name="spacing">6</property>
  114.  
  115.               <child>
  116.                 <widget class="GtkButton" id="more">
  117.                   <property name="visible">True</property>
  118.                   <property name="can_focus">True</property>
  119.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  120.                   <property name="focus_on_click">True</property>
  121.  
  122.                   <child>
  123.                 <widget class="GtkAlignment" id="alignment27">
  124.                   <property name="visible">True</property>
  125.                   <property name="xalign">0.5</property>
  126.                   <property name="yalign">0.5</property>
  127.                   <property name="xscale">0</property>
  128.                   <property name="yscale">0</property>
  129.                   <property name="top_padding">0</property>
  130.                   <property name="bottom_padding">0</property>
  131.                   <property name="left_padding">0</property>
  132.                   <property name="right_padding">0</property>
  133.  
  134.                   <child>
  135.                     <widget class="GtkHBox" id="hbox196">
  136.                       <property name="visible">True</property>
  137.                       <property name="homogeneous">False</property>
  138.                       <property name="spacing">2</property>
  139.  
  140.                       <child>
  141.                     <widget class="GtkImage" id="image6">
  142.                       <property name="visible">True</property>
  143.                       <property name="stock">gtk-preferences</property>
  144.                       <property name="icon_size">4</property>
  145.                       <property name="xalign">0.5</property>
  146.                       <property name="yalign">0.5</property>
  147.                       <property name="xpad">0</property>
  148.                       <property name="ypad">0</property>
  149.                     </widget>
  150.                     <packing>
  151.                       <property name="padding">0</property>
  152.                       <property name="expand">False</property>
  153.                       <property name="fill">False</property>
  154.                     </packing>
  155.                       </child>
  156.  
  157.                       <child>
  158.                     <widget class="GtkLabel" id="label1328">
  159.                       <property name="visible">True</property>
  160.                       <property name="label" translatable="yes">_More...</property>
  161.                       <property name="use_underline">True</property>
  162.                       <property name="use_markup">False</property>
  163.                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  164.                       <property name="wrap">False</property>
  165.                       <property name="selectable">False</property>
  166.                       <property name="xalign">0.5</property>
  167.                       <property name="yalign">0.5</property>
  168.                       <property name="xpad">0</property>
  169.                       <property name="ypad">0</property>
  170.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  171.                       <property name="width_chars">-1</property>
  172.                       <property name="single_line_mode">False</property>
  173.                       <property name="angle">0</property>
  174.                     </widget>
  175.                     <packing>
  176.                       <property name="padding">0</property>
  177.                       <property name="expand">False</property>
  178.                       <property name="fill">False</property>
  179.                     </packing>
  180.                       </child>
  181.                     </widget>
  182.                   </child>
  183.                 </widget>
  184.                   </child>
  185.                 </widget>
  186.                 <packing>
  187.                   <property name="padding">0</property>
  188.                   <property name="expand">False</property>
  189.                   <property name="fill">True</property>
  190.                   <property name="pack_type">GTK_PACK_END</property>
  191.                 </packing>
  192.               </child>
  193.             </widget>
  194.             <packing>
  195.               <property name="padding">0</property>
  196.               <property name="expand">False</property>
  197.               <property name="fill">True</property>
  198.             </packing>
  199.               </child>
  200.  
  201.               <child>
  202.             <widget class="GtkHBox" id="info_area">
  203.               <property name="visible">True</property>
  204.               <property name="homogeneous">False</property>
  205.               <property name="spacing">0</property>
  206.  
  207.               <child>
  208.                 <widget class="GtkLabel" id="default_info">
  209.                   <property name="visible">True</property>
  210.                   <property name="label" translatable="yes"><i><small><b>Note:</b> Drag and drop an extension to change its order.</small></i></property>
  211.                   <property name="use_underline">False</property>
  212.                   <property name="use_markup">True</property>
  213.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  214.                   <property name="wrap">False</property>
  215.                   <property name="selectable">False</property>
  216.                   <property name="xalign">0</property>
  217.                   <property name="yalign">0.5</property>
  218.                   <property name="xpad">0</property>
  219.                   <property name="ypad">0</property>
  220.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  221.                   <property name="width_chars">-1</property>
  222.                   <property name="single_line_mode">False</property>
  223.                   <property name="angle">0</property>
  224.                 </widget>
  225.                 <packing>
  226.                   <property name="padding">0</property>
  227.                   <property name="expand">False</property>
  228.                   <property name="fill">False</property>
  229.                 </packing>
  230.               </child>
  231.             </widget>
  232.             <packing>
  233.               <property name="padding">0</property>
  234.               <property name="expand">False</property>
  235.               <property name="fill">True</property>
  236.             </packing>
  237.               </child>
  238.             </widget>
  239.             <packing>
  240.               <property name="padding">0</property>
  241.               <property name="expand">True</property>
  242.               <property name="fill">True</property>
  243.             </packing>
  244.           </child>
  245.         </widget>
  246.         <packing>
  247.           <property name="padding">0</property>
  248.           <property name="expand">True</property>
  249.           <property name="fill">True</property>
  250.         </packing>
  251.           </child>
  252.         </widget>
  253.         <packing>
  254.           <property name="tab_expand">False</property>
  255.           <property name="tab_fill">True</property>
  256.         </packing>
  257.       </child>
  258.  
  259.       <child>
  260.         <widget class="GtkLabel" id="label1315">
  261.           <property name="visible">True</property>
  262.           <property name="label" translatable="yes">Extensions</property>
  263.           <property name="use_underline">False</property>
  264.           <property name="use_markup">False</property>
  265.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  266.           <property name="wrap">False</property>
  267.           <property name="selectable">False</property>
  268.           <property name="xalign">0.5</property>
  269.           <property name="yalign">0.5</property>
  270.           <property name="xpad">0</property>
  271.           <property name="ypad">0</property>
  272.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  273.           <property name="width_chars">-1</property>
  274.           <property name="single_line_mode">False</property>
  275.           <property name="angle">0</property>
  276.         </widget>
  277.         <packing>
  278.           <property name="type">tab</property>
  279.         </packing>
  280.       </child>
  281.  
  282.       <child>
  283.         <widget class="GtkVBox" id="view_vbox">
  284.           <property name="border_width">12</property>
  285.           <property name="visible">True</property>
  286.           <property name="homogeneous">False</property>
  287.           <property name="spacing">18</property>
  288.  
  289.           <child>
  290.         <widget class="GtkVBox" id="frame1">
  291.           <property name="visible">True</property>
  292.           <property name="homogeneous">False</property>
  293.           <property name="spacing">6</property>
  294.  
  295.           <child>
  296.             <widget class="GtkLabel" id="label1317">
  297.               <property name="visible">True</property>
  298.               <property name="label" translatable="yes"><b>Layout</b></property>
  299.               <property name="use_underline">False</property>
  300.               <property name="use_markup">True</property>
  301.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  302.               <property name="wrap">False</property>
  303.               <property name="selectable">False</property>
  304.               <property name="xalign">0</property>
  305.               <property name="yalign">0.5</property>
  306.               <property name="xpad">0</property>
  307.               <property name="ypad">0</property>
  308.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  309.               <property name="width_chars">-1</property>
  310.               <property name="single_line_mode">False</property>
  311.               <property name="angle">0</property>
  312.             </widget>
  313.             <packing>
  314.               <property name="padding">0</property>
  315.               <property name="expand">False</property>
  316.               <property name="fill">False</property>
  317.             </packing>
  318.           </child>
  319.  
  320.           <child>
  321.             <widget class="GtkAlignment" id="alignment18">
  322.               <property name="visible">True</property>
  323.               <property name="xalign">0.5</property>
  324.               <property name="yalign">0.5</property>
  325.               <property name="xscale">1</property>
  326.               <property name="yscale">1</property>
  327.               <property name="top_padding">0</property>
  328.               <property name="bottom_padding">0</property>
  329.               <property name="left_padding">12</property>
  330.               <property name="right_padding">0</property>
  331.  
  332.               <child>
  333.             <widget class="GtkVBox" id="vbox157">
  334.               <property name="visible">True</property>
  335.               <property name="homogeneous">False</property>
  336.               <property name="spacing">6</property>
  337.  
  338.               <child>
  339.                 <widget class="GtkRadioButton" id="completion_radio">
  340.                   <property name="visible">True</property>
  341.                   <property name="can_focus">True</property>
  342.                   <property name="label" translatable="yes">Entry in panel</property>
  343.                   <property name="use_underline">True</property>
  344.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  345.                   <property name="focus_on_click">True</property>
  346.                   <property name="active">False</property>
  347.                   <property name="inconsistent">False</property>
  348.                   <property name="draw_indicator">True</property>
  349.                 </widget>
  350.                 <packing>
  351.                   <property name="padding">0</property>
  352.                   <property name="expand">False</property>
  353.                   <property name="fill">False</property>
  354.                 </packing>
  355.               </child>
  356.  
  357.               <child>
  358.                 <widget class="GtkRadioButton" id="cuemiac_radio">
  359.                   <property name="visible">True</property>
  360.                   <property name="can_focus">True</property>
  361.                   <property name="label" translatable="yes">Button in panel</property>
  362.                   <property name="use_underline">True</property>
  363.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  364.                   <property name="focus_on_click">True</property>
  365.                   <property name="active">False</property>
  366.                   <property name="inconsistent">False</property>
  367.                   <property name="draw_indicator">True</property>
  368.                   <property name="group">completion_radio</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.             <packing>
  380.               <property name="padding">0</property>
  381.               <property name="expand">True</property>
  382.               <property name="fill">True</property>
  383.             </packing>
  384.           </child>
  385.         </widget>
  386.         <packing>
  387.           <property name="padding">0</property>
  388.           <property name="expand">False</property>
  389.           <property name="fill">True</property>
  390.         </packing>
  391.           </child>
  392.  
  393.           <child>
  394.         <widget class="GtkVBox" id="frame2">
  395.           <property name="visible">True</property>
  396.           <property name="homogeneous">False</property>
  397.           <property name="spacing">6</property>
  398.  
  399.           <child>
  400.             <widget class="GtkLabel" id="label1318">
  401.               <property name="visible">True</property>
  402.               <property name="label" translatable="yes"><b>Width</b></property>
  403.               <property name="use_underline">False</property>
  404.               <property name="use_markup">True</property>
  405.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  406.               <property name="wrap">False</property>
  407.               <property name="selectable">False</property>
  408.               <property name="xalign">0</property>
  409.               <property name="yalign">0.5</property>
  410.               <property name="xpad">0</property>
  411.               <property name="ypad">0</property>
  412.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  413.               <property name="width_chars">-1</property>
  414.               <property name="single_line_mode">False</property>
  415.               <property name="angle">0</property>
  416.             </widget>
  417.             <packing>
  418.               <property name="padding">0</property>
  419.               <property name="expand">False</property>
  420.               <property name="fill">False</property>
  421.             </packing>
  422.           </child>
  423.  
  424.           <child>
  425.             <widget class="GtkAlignment" id="alignment19">
  426.               <property name="visible">True</property>
  427.               <property name="xalign">0.5</property>
  428.               <property name="yalign">0.5</property>
  429.               <property name="xscale">1</property>
  430.               <property name="yscale">1</property>
  431.               <property name="top_padding">0</property>
  432.               <property name="bottom_padding">0</property>
  433.               <property name="left_padding">12</property>
  434.               <property name="right_padding">0</property>
  435.  
  436.               <child>
  437.             <widget class="GtkVBox" id="vbox154">
  438.               <property name="visible">True</property>
  439.               <property name="homogeneous">False</property>
  440.               <property name="spacing">6</property>
  441.  
  442.               <child>
  443.                 <widget class="GtkRadioButton" id="use_all_width_radio">
  444.                   <property name="visible">True</property>
  445.                   <property name="can_focus">True</property>
  446.                   <property name="label" translatable="yes">Use _all available space</property>
  447.                   <property name="use_underline">True</property>
  448.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  449.                   <property name="focus_on_click">True</property>
  450.                   <property name="active">False</property>
  451.                   <property name="inconsistent">False</property>
  452.                   <property name="draw_indicator">True</property>
  453.                 </widget>
  454.                 <packing>
  455.                   <property name="padding">0</property>
  456.                   <property name="expand">False</property>
  457.                   <property name="fill">False</property>
  458.                 </packing>
  459.               </child>
  460.  
  461.               <child>
  462.                 <widget class="GtkHBox" id="hbox186">
  463.                   <property name="visible">True</property>
  464.                   <property name="homogeneous">False</property>
  465.                   <property name="spacing">12</property>
  466.  
  467.                   <child>
  468.                 <widget class="GtkRadioButton" id="fixed_width_radio">
  469.                   <property name="visible">True</property>
  470.                   <property name="can_focus">True</property>
  471.                   <property name="label" translatable="yes">Fixed _width:</property>
  472.                   <property name="use_underline">True</property>
  473.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  474.                   <property name="focus_on_click">True</property>
  475.                   <property name="active">False</property>
  476.                   <property name="inconsistent">False</property>
  477.                   <property name="draw_indicator">True</property>
  478.                   <property name="group">use_all_width_radio</property>
  479.                 </widget>
  480.                 <packing>
  481.                   <property name="padding">0</property>
  482.                   <property name="expand">False</property>
  483.                   <property name="fill">False</property>
  484.                 </packing>
  485.                   </child>
  486.  
  487.                   <child>
  488.                 <widget class="GtkHBox" id="hbox187">
  489.                   <property name="visible">True</property>
  490.                   <property name="homogeneous">False</property>
  491.                   <property name="spacing">6</property>
  492.  
  493.                   <child>
  494.                     <widget class="GtkSpinButton" id="width">
  495.                       <property name="visible">True</property>
  496.                       <property name="can_focus">True</property>
  497.                       <property name="climb_rate">1</property>
  498.                       <property name="digits">0</property>
  499.                       <property name="numeric">False</property>
  500.                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  501.                       <property name="snap_to_ticks">False</property>
  502.                       <property name="wrap">False</property>
  503.                       <property name="adjustment">20 10 1000 1 10 10</property>
  504.                     </widget>
  505.                     <packing>
  506.                       <property name="padding">0</property>
  507.                       <property name="expand">True</property>
  508.                       <property name="fill">True</property>
  509.                     </packing>
  510.                   </child>
  511.  
  512.                   <child>
  513.                     <widget class="GtkLabel" id="width_units">
  514.                       <property name="visible">True</property>
  515.                       <property name="label" translatable="yes">characters</property>
  516.                       <property name="use_underline">False</property>
  517.                       <property name="use_markup">False</property>
  518.                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  519.                       <property name="wrap">False</property>
  520.                       <property name="selectable">False</property>
  521.                       <property name="xalign">0</property>
  522.                       <property name="yalign">0.5</property>
  523.                       <property name="xpad">0</property>
  524.                       <property name="ypad">0</property>
  525.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  526.                       <property name="width_chars">-1</property>
  527.                       <property name="single_line_mode">False</property>
  528.                       <property name="angle">0</property>
  529.                     </widget>
  530.                     <packing>
  531.                       <property name="padding">0</property>
  532.                       <property name="expand">False</property>
  533.                       <property name="fill">False</property>
  534.                     </packing>
  535.                   </child>
  536.                 </widget>
  537.                 <packing>
  538.                   <property name="padding">0</property>
  539.                   <property name="expand">False</property>
  540.                   <property name="fill">False</property>
  541.                 </packing>
  542.                   </child>
  543.                 </widget>
  544.                 <packing>
  545.                   <property name="padding">0</property>
  546.                   <property name="expand">False</property>
  547.                   <property name="fill">False</property>
  548.                 </packing>
  549.               </child>
  550.             </widget>
  551.               </child>
  552.             </widget>
  553.             <packing>
  554.               <property name="padding">0</property>
  555.               <property name="expand">True</property>
  556.               <property name="fill">True</property>
  557.             </packing>
  558.           </child>
  559.         </widget>
  560.         <packing>
  561.           <property name="padding">0</property>
  562.           <property name="expand">False</property>
  563.           <property name="fill">False</property>
  564.         </packing>
  565.           </child>
  566.  
  567.           <child>
  568.         <widget class="GtkVBox" id="frame3">
  569.           <property name="visible">True</property>
  570.           <property name="homogeneous">False</property>
  571.           <property name="spacing">6</property>
  572.  
  573.           <child>
  574.             <widget class="GtkLabel" id="label1319">
  575.               <property name="visible">True</property>
  576.               <property name="label" translatable="yes"><b>Focus</b></property>
  577.               <property name="use_underline">False</property>
  578.               <property name="use_markup">True</property>
  579.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  580.               <property name="wrap">False</property>
  581.               <property name="selectable">False</property>
  582.               <property name="xalign">0</property>
  583.               <property name="yalign">0.5</property>
  584.               <property name="xpad">0</property>
  585.               <property name="ypad">0</property>
  586.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  587.               <property name="width_chars">-1</property>
  588.               <property name="single_line_mode">False</property>
  589.               <property name="angle">0</property>
  590.             </widget>
  591.             <packing>
  592.               <property name="padding">0</property>
  593.               <property name="expand">False</property>
  594.               <property name="fill">False</property>
  595.             </packing>
  596.           </child>
  597.  
  598.           <child>
  599.             <widget class="GtkAlignment" id="alignment20">
  600.               <property name="visible">True</property>
  601.               <property name="xalign">0.5</property>
  602.               <property name="yalign">0.5</property>
  603.               <property name="xscale">1</property>
  604.               <property name="yscale">1</property>
  605.               <property name="top_padding">0</property>
  606.               <property name="bottom_padding">0</property>
  607.               <property name="left_padding">12</property>
  608.               <property name="right_padding">0</property>
  609.  
  610.               <child>
  611.             <widget class="GtkVBox" id="vbox161">
  612.               <property name="visible">True</property>
  613.               <property name="homogeneous">False</property>
  614.               <property name="spacing">6</property>
  615.  
  616.               <child>
  617.                 <widget class="GtkHBox" id="keybinding_entry_container">
  618.                   <property name="visible">True</property>
  619.                   <property name="homogeneous">False</property>
  620.                   <property name="spacing">12</property>
  621.  
  622.                   <child>
  623.                 <widget class="GtkLabel" id="label1315">
  624.                   <property name="visible">True</property>
  625.                   <property name="label" translatable="yes">_Keyboard shortcut to focus:</property>
  626.                   <property name="use_underline">True</property>
  627.                   <property name="use_markup">False</property>
  628.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  629.                   <property name="wrap">False</property>
  630.                   <property name="selectable">False</property>
  631.                   <property name="xalign">0.5</property>
  632.                   <property name="yalign">0.5</property>
  633.                   <property name="xpad">0</property>
  634.                   <property name="ypad">0</property>
  635.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  636.                   <property name="width_chars">-1</property>
  637.                   <property name="single_line_mode">False</property>
  638.                   <property name="angle">0</property>
  639.                 </widget>
  640.                 <packing>
  641.                   <property name="padding">0</property>
  642.                   <property name="expand">False</property>
  643.                   <property name="fill">False</property>
  644.                 </packing>
  645.                   </child>
  646.  
  647.                   <child>
  648.                 <placeholder/>
  649.                   </child>
  650.                 </widget>
  651.                 <packing>
  652.                   <property name="padding">0</property>
  653.                   <property name="expand">True</property>
  654.                   <property name="fill">True</property>
  655.                 </packing>
  656.               </child>
  657.  
  658.               <child>
  659.                 <widget class="GtkCheckButton" id="use_selection">
  660.                   <property name="visible">True</property>
  661.                   <property name="can_focus">True</property>
  662.                   <property name="label" translatable="yes">Search selection when triggering the shortcut</property>
  663.                   <property name="use_underline">True</property>
  664.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  665.                   <property name="focus_on_click">True</property>
  666.                   <property name="active">False</property>
  667.                   <property name="inconsistent">False</property>
  668.                   <property name="draw_indicator">True</property>
  669.                 </widget>
  670.                 <packing>
  671.                   <property name="padding">0</property>
  672.                   <property name="expand">False</property>
  673.                   <property name="fill">False</property>
  674.                 </packing>
  675.               </child>
  676.             </widget>
  677.               </child>
  678.             </widget>
  679.             <packing>
  680.               <property name="padding">0</property>
  681.               <property name="expand">True</property>
  682.               <property name="fill">True</property>
  683.             </packing>
  684.           </child>
  685.         </widget>
  686.         <packing>
  687.           <property name="padding">0</property>
  688.           <property name="expand">False</property>
  689.           <property name="fill">False</property>
  690.         </packing>
  691.           </child>
  692.         </widget>
  693.         <packing>
  694.           <property name="tab_expand">False</property>
  695.           <property name="tab_fill">True</property>
  696.         </packing>
  697.       </child>
  698.  
  699.       <child>
  700.         <widget class="GtkLabel" id="label1316">
  701.           <property name="visible">True</property>
  702.           <property name="label" translatable="yes">View</property>
  703.           <property name="use_underline">False</property>
  704.           <property name="use_markup">False</property>
  705.           <property name="justify">GTK_JUSTIFY_LEFT</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.         </widget>
  717.         <packing>
  718.           <property name="type">tab</property>
  719.         </packing>
  720.       </child>
  721.     </widget>
  722.     <packing>
  723.       <property name="padding">0</property>
  724.       <property name="expand">True</property>
  725.       <property name="fill">True</property>
  726.     </packing>
  727.       </child>
  728.     </widget>
  729.   </child>
  730. </widget>
  731.  
  732. </glade-interface>
  733.