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 / yelp / ui / yelp.glade < prev   
Encoding:
Extensible Markup Language  |  2007-04-10  |  39.0 KB  |  1,081 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. <requires lib="gnome"/>
  6.  
  7. <widget class="GtkDialog" id="find_dialog">
  8.   <property name="border_width">5</property>
  9.   <property name="height_request">150</property>
  10.   <property name="visible">True</property>
  11.   <property name="title" translatable="yes">Find</property>
  12.   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  13.   <property name="window_position">GTK_WIN_POS_NONE</property>
  14.   <property name="modal">False</property>
  15.   <property name="resizable">False</property>
  16.   <property name="destroy_with_parent">False</property>
  17.   <property name="decorated">True</property>
  18.   <property name="skip_taskbar_hint">False</property>
  19.   <property name="skip_pager_hint">False</property>
  20.   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  21.   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  22.   <property name="has_separator">False</property>
  23.  
  24.   <child internal-child="vbox">
  25.     <widget class="GtkVBox" id="dialog-vbox5">
  26.       <property name="visible">True</property>
  27.       <property name="homogeneous">False</property>
  28.       <property name="spacing">2</property>
  29.  
  30.       <child internal-child="action_area">
  31.     <widget class="GtkHButtonBox" id="dialog-action_area5">
  32.       <property name="visible">True</property>
  33.       <property name="layout_style">GTK_BUTTONBOX_END</property>
  34.  
  35.       <child>
  36.         <widget class="GtkButton" id="close_button">
  37.           <property name="visible">True</property>
  38.           <property name="can_default">True</property>
  39.           <property name="can_focus">True</property>
  40.           <property name="label">gtk-close</property>
  41.           <property name="use_stock">True</property>
  42.           <property name="relief">GTK_RELIEF_NORMAL</property>
  43.           <property name="focus_on_click">True</property>
  44.           <property name="response_id">-7</property>
  45.         </widget>
  46.       </child>
  47.  
  48.       <child>
  49.         <widget class="GtkButton" id="prev_button">
  50.           <property name="visible">True</property>
  51.           <property name="can_default">True</property>
  52.           <property name="can_focus">True</property>
  53.           <property name="relief">GTK_RELIEF_NORMAL</property>
  54.           <property name="focus_on_click">True</property>
  55.           <property name="response_id">1</property>
  56.  
  57.           <child>
  58.         <widget class="GtkAlignment" id="alignment8">
  59.           <property name="visible">True</property>
  60.           <property name="xalign">0.5</property>
  61.           <property name="yalign">0.5</property>
  62.           <property name="xscale">0</property>
  63.           <property name="yscale">0</property>
  64.           <property name="top_padding">0</property>
  65.           <property name="bottom_padding">0</property>
  66.           <property name="left_padding">0</property>
  67.           <property name="right_padding">0</property>
  68.  
  69.           <child>
  70.             <widget class="GtkHBox" id="hbox86">
  71.               <property name="visible">True</property>
  72.               <property name="homogeneous">False</property>
  73.               <property name="spacing">2</property>
  74.  
  75.               <child>
  76.             <widget class="GtkImage" id="image6">
  77.               <property name="visible">True</property>
  78.               <property name="stock">gtk-go-back</property>
  79.               <property name="icon_size">4</property>
  80.               <property name="xalign">0.5</property>
  81.               <property name="yalign">0.5</property>
  82.               <property name="xpad">0</property>
  83.               <property name="ypad">0</property>
  84.             </widget>
  85.             <packing>
  86.               <property name="padding">0</property>
  87.               <property name="expand">False</property>
  88.               <property name="fill">False</property>
  89.             </packing>
  90.               </child>
  91.  
  92.               <child>
  93.             <widget class="GtkLabel" id="label1223">
  94.               <property name="visible">True</property>
  95.               <property name="label" translatable="yes">_Previous</property>
  96.               <property name="use_underline">True</property>
  97.               <property name="use_markup">False</property>
  98.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  99.               <property name="wrap">False</property>
  100.               <property name="selectable">False</property>
  101.               <property name="xalign">0.5</property>
  102.               <property name="yalign">0.5</property>
  103.               <property name="xpad">0</property>
  104.               <property name="ypad">0</property>
  105.             </widget>
  106.             <packing>
  107.               <property name="padding">0</property>
  108.               <property name="expand">False</property>
  109.               <property name="fill">False</property>
  110.             </packing>
  111.               </child>
  112.             </widget>
  113.           </child>
  114.         </widget>
  115.           </child>
  116.         </widget>
  117.       </child>
  118.  
  119.       <child>
  120.         <widget class="GtkButton" id="next_button">
  121.           <property name="visible">True</property>
  122.           <property name="can_default">True</property>
  123.           <property name="can_focus">True</property>
  124.           <property name="relief">GTK_RELIEF_NORMAL</property>
  125.           <property name="focus_on_click">True</property>
  126.           <property name="response_id">2</property>
  127.  
  128.           <child>
  129.         <widget class="GtkAlignment" id="alignment9">
  130.           <property name="visible">True</property>
  131.           <property name="xalign">0.5</property>
  132.           <property name="yalign">0.5</property>
  133.           <property name="xscale">0</property>
  134.           <property name="yscale">0</property>
  135.           <property name="top_padding">0</property>
  136.           <property name="bottom_padding">0</property>
  137.           <property name="left_padding">0</property>
  138.           <property name="right_padding">0</property>
  139.  
  140.           <child>
  141.             <widget class="GtkHBox" id="hbox87">
  142.               <property name="visible">True</property>
  143.               <property name="homogeneous">False</property>
  144.               <property name="spacing">2</property>
  145.  
  146.               <child>
  147.             <widget class="GtkImage" id="image7">
  148.               <property name="visible">True</property>
  149.               <property name="stock">gtk-go-forward</property>
  150.               <property name="icon_size">4</property>
  151.               <property name="xalign">0.5</property>
  152.               <property name="yalign">0.5</property>
  153.               <property name="xpad">0</property>
  154.               <property name="ypad">0</property>
  155.             </widget>
  156.             <packing>
  157.               <property name="padding">0</property>
  158.               <property name="expand">False</property>
  159.               <property name="fill">False</property>
  160.             </packing>
  161.               </child>
  162.  
  163.               <child>
  164.             <widget class="GtkLabel" id="label1224">
  165.               <property name="visible">True</property>
  166.               <property name="label" translatable="yes">_Next</property>
  167.               <property name="use_underline">True</property>
  168.               <property name="use_markup">False</property>
  169.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  170.               <property name="wrap">False</property>
  171.               <property name="selectable">False</property>
  172.               <property name="xalign">0.5</property>
  173.               <property name="yalign">0.5</property>
  174.               <property name="xpad">0</property>
  175.               <property name="ypad">0</property>
  176.             </widget>
  177.             <packing>
  178.               <property name="padding">0</property>
  179.               <property name="expand">False</property>
  180.               <property name="fill">False</property>
  181.             </packing>
  182.               </child>
  183.             </widget>
  184.           </child>
  185.         </widget>
  186.           </child>
  187.         </widget>
  188.       </child>
  189.     </widget>
  190.     <packing>
  191.       <property name="padding">0</property>
  192.       <property name="expand">False</property>
  193.       <property name="fill">True</property>
  194.       <property name="pack_type">GTK_PACK_END</property>
  195.     </packing>
  196.       </child>
  197.  
  198.       <child>
  199.     <widget class="GtkAlignment" id="alignment10">
  200.       <property name="border_width">5</property>
  201.       <property name="visible">True</property>
  202.       <property name="xalign">0.5</property>
  203.       <property name="yalign">0.5</property>
  204.       <property name="xscale">1</property>
  205.       <property name="yscale">1</property>
  206.       <property name="top_padding">0</property>
  207.       <property name="bottom_padding">0</property>
  208.       <property name="left_padding">0</property>
  209.       <property name="right_padding">0</property>
  210.  
  211.       <child>
  212.         <widget class="GtkVBox" id="vbox132">
  213.           <property name="visible">True</property>
  214.           <property name="homogeneous">False</property>
  215.           <property name="spacing">6</property>
  216.  
  217.           <child>
  218.         <widget class="GtkHBox" id="hbox88">
  219.           <property name="visible">True</property>
  220.           <property name="homogeneous">False</property>
  221.           <property name="spacing">12</property>
  222.  
  223.           <child>
  224.             <widget class="GtkLabel" id="label1225">
  225.               <property name="visible">True</property>
  226.               <property name="label" translatable="yes">_Find:</property>
  227.               <property name="use_underline">True</property>
  228.               <property name="use_markup">False</property>
  229.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  230.               <property name="wrap">False</property>
  231.               <property name="selectable">False</property>
  232.               <property name="xalign">0.5</property>
  233.               <property name="yalign">0.5</property>
  234.               <property name="xpad">0</property>
  235.               <property name="ypad">0</property>
  236.               <property name="mnemonic_widget">find_entry</property>
  237.             </widget>
  238.             <packing>
  239.               <property name="padding">0</property>
  240.               <property name="expand">False</property>
  241.               <property name="fill">False</property>
  242.             </packing>
  243.           </child>
  244.  
  245.           <child>
  246.             <widget class="GnomeEntry" id="find_gnome_entry">
  247.               <property name="visible">True</property>
  248.               <property name="history_id">FindEntry</property>
  249.               <property name="max_saved">10</property>
  250.  
  251.               <child internal-child="entry">
  252.             <widget class="GtkEntry" id="find_entry">
  253.               <property name="visible">True</property>
  254.               <property name="can_focus">True</property>
  255.               <property name="has_focus">True</property>
  256.               <property name="editable">True</property>
  257.               <property name="visibility">True</property>
  258.               <property name="max_length">0</property>
  259.               <property name="text" translatable="yes"></property>
  260.               <property name="has_frame">True</property>
  261.               <property name="invisible_char">*</property>
  262.               <property name="activates_default">False</property>
  263.             </widget>
  264.               </child>
  265.             </widget>
  266.             <packing>
  267.               <property name="padding">0</property>
  268.               <property name="expand">True</property>
  269.               <property name="fill">True</property>
  270.             </packing>
  271.           </child>
  272.         </widget>
  273.         <packing>
  274.           <property name="padding">0</property>
  275.           <property name="expand">False</property>
  276.           <property name="fill">True</property>
  277.         </packing>
  278.           </child>
  279.  
  280.           <child>
  281.         <widget class="GtkCheckButton" id="case_check">
  282.           <property name="visible">True</property>
  283.           <property name="can_focus">True</property>
  284.           <property name="label" translatable="yes">C_ase sensitive</property>
  285.           <property name="use_underline">True</property>
  286.           <property name="relief">GTK_RELIEF_NORMAL</property>
  287.           <property name="focus_on_click">True</property>
  288.           <property name="active">False</property>
  289.           <property name="inconsistent">False</property>
  290.           <property name="draw_indicator">True</property>
  291.         </widget>
  292.         <packing>
  293.           <property name="padding">0</property>
  294.           <property name="expand">False</property>
  295.           <property name="fill">False</property>
  296.         </packing>
  297.           </child>
  298.  
  299.           <child>
  300.         <widget class="GtkCheckButton" id="wrap_check">
  301.           <property name="visible">True</property>
  302.           <property name="can_focus">True</property>
  303.           <property name="label" translatable="yes">_Wrap around</property>
  304.           <property name="use_underline">True</property>
  305.           <property name="relief">GTK_RELIEF_NORMAL</property>
  306.           <property name="focus_on_click">True</property>
  307.           <property name="active">False</property>
  308.           <property name="inconsistent">False</property>
  309.           <property name="draw_indicator">True</property>
  310.         </widget>
  311.         <packing>
  312.           <property name="padding">0</property>
  313.           <property name="expand">False</property>
  314.           <property name="fill">False</property>
  315.         </packing>
  316.           </child>
  317.         </widget>
  318.       </child>
  319.     </widget>
  320.     <packing>
  321.       <property name="padding">0</property>
  322.       <property name="expand">True</property>
  323.       <property name="fill">True</property>
  324.     </packing>
  325.       </child>
  326.     </widget>
  327.   </child>
  328. </widget>
  329.  
  330. <widget class="GtkDialog" id="location_dialog">
  331.   <property name="border_width">5</property>
  332.   <property name="visible">True</property>
  333.   <property name="title" translatable="yes">Open Location</property>
  334.   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  335.   <property name="window_position">GTK_WIN_POS_NONE</property>
  336.   <property name="modal">False</property>
  337.   <property name="resizable">False</property>
  338.   <property name="destroy_with_parent">True</property>
  339.   <property name="decorated">True</property>
  340.   <property name="skip_taskbar_hint">False</property>
  341.   <property name="skip_pager_hint">False</property>
  342.   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  343.   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  344.   <property name="has_separator">False</property>
  345.  
  346.   <child internal-child="vbox">
  347.     <widget class="GtkVBox" id="dialog-vbox6">
  348.       <property name="visible">True</property>
  349.       <property name="homogeneous">False</property>
  350.       <property name="spacing">2</property>
  351.  
  352.       <child internal-child="action_area">
  353.     <widget class="GtkHButtonBox" id="dialog-action_area6">
  354.       <property name="visible">True</property>
  355.       <property name="layout_style">GTK_BUTTONBOX_END</property>
  356.  
  357.       <child>
  358.         <widget class="GtkButton" id="cancel_button">
  359.           <property name="visible">True</property>
  360.           <property name="can_default">True</property>
  361.           <property name="can_focus">True</property>
  362.           <property name="label">gtk-cancel</property>
  363.           <property name="use_stock">True</property>
  364.           <property name="relief">GTK_RELIEF_NORMAL</property>
  365.           <property name="focus_on_click">True</property>
  366.           <property name="response_id">-6</property>
  367.         </widget>
  368.       </child>
  369.  
  370.       <child>
  371.         <widget class="GtkButton" id="open_button">
  372.           <property name="visible">True</property>
  373.           <property name="can_default">True</property>
  374.           <property name="has_default">True</property>
  375.           <property name="can_focus">True</property>
  376.           <property name="label">gtk-open</property>
  377.           <property name="use_stock">True</property>
  378.           <property name="relief">GTK_RELIEF_NORMAL</property>
  379.           <property name="focus_on_click">True</property>
  380.           <property name="response_id">-5</property>
  381.         </widget>
  382.       </child>
  383.     </widget>
  384.     <packing>
  385.       <property name="padding">0</property>
  386.       <property name="expand">False</property>
  387.       <property name="fill">True</property>
  388.       <property name="pack_type">GTK_PACK_END</property>
  389.     </packing>
  390.       </child>
  391.  
  392.       <child>
  393.     <widget class="GtkHBox" id="hbox89">
  394.       <property name="border_width">5</property>
  395.       <property name="visible">True</property>
  396.       <property name="homogeneous">False</property>
  397.       <property name="spacing">12</property>
  398.  
  399.       <child>
  400.         <widget class="GtkLabel" id="location_label">
  401.           <property name="visible">True</property>
  402.           <property name="label" translatable="yes">_Location:</property>
  403.           <property name="use_underline">True</property>
  404.           <property name="use_markup">False</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.5</property>
  409.           <property name="yalign">0.5</property>
  410.           <property name="xpad">0</property>
  411.           <property name="ypad">0</property>
  412.           <property name="mnemonic_widget">location_entry</property>
  413.         </widget>
  414.         <packing>
  415.           <property name="padding">0</property>
  416.           <property name="expand">False</property>
  417.           <property name="fill">False</property>
  418.         </packing>
  419.       </child>
  420.  
  421.       <child>
  422.         <widget class="GtkEntry" id="location_entry">
  423.           <property name="visible">True</property>
  424.           <property name="can_focus">True</property>
  425.           <property name="editable">True</property>
  426.           <property name="visibility">True</property>
  427.           <property name="max_length">0</property>
  428.           <property name="text" translatable="yes"></property>
  429.           <property name="has_frame">True</property>
  430.           <property name="invisible_char">*</property>
  431.           <property name="activates_default">True</property>
  432.           <property name="width_chars">30</property>
  433.         </widget>
  434.         <packing>
  435.           <property name="padding">0</property>
  436.           <property name="expand">True</property>
  437.           <property name="fill">True</property>
  438.         </packing>
  439.       </child>
  440.     </widget>
  441.     <packing>
  442.       <property name="padding">0</property>
  443.       <property name="expand">True</property>
  444.       <property name="fill">True</property>
  445.     </packing>
  446.       </child>
  447.     </widget>
  448.   </child>
  449. </widget>
  450.  
  451. <widget class="GtkDialog" id="prefs_dialog">
  452.   <property name="border_width">5</property>
  453.   <property name="visible">True</property>
  454.   <property name="title" translatable="yes">Preferences</property>
  455.   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  456.   <property name="window_position">GTK_WIN_POS_NONE</property>
  457.   <property name="modal">False</property>
  458.   <property name="resizable">True</property>
  459.   <property name="destroy_with_parent">True</property>
  460.   <property name="decorated">True</property>
  461.   <property name="skip_taskbar_hint">False</property>
  462.   <property name="skip_pager_hint">False</property>
  463.   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  464.   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  465.   <property name="has_separator">False</property>
  466.  
  467.   <child internal-child="vbox">
  468.     <widget class="GtkVBox" id="dialog-vbox7">
  469.       <property name="visible">True</property>
  470.       <property name="homogeneous">False</property>
  471.       <property name="spacing">2</property>
  472.  
  473.       <child internal-child="action_area">
  474.     <widget class="GtkHButtonBox" id="dialog-action_area7">
  475.       <property name="visible">True</property>
  476.       <property name="layout_style">GTK_BUTTONBOX_END</property>
  477.  
  478.       <child>
  479.         <widget class="GtkButton" id="closebutton1">
  480.           <property name="visible">True</property>
  481.           <property name="can_default">True</property>
  482.           <property name="can_focus">True</property>
  483.           <property name="label">gtk-close</property>
  484.           <property name="use_stock">True</property>
  485.           <property name="relief">GTK_RELIEF_NORMAL</property>
  486.           <property name="focus_on_click">True</property>
  487.           <property name="response_id">-7</property>
  488.         </widget>
  489.       </child>
  490.     </widget>
  491.     <packing>
  492.       <property name="padding">0</property>
  493.       <property name="expand">False</property>
  494.       <property name="fill">True</property>
  495.       <property name="pack_type">GTK_PACK_END</property>
  496.     </packing>
  497.       </child>
  498.  
  499.       <child>
  500.     <widget class="GtkVBox" id="vbox133">
  501.       <property name="border_width">5</property>
  502.       <property name="visible">True</property>
  503.       <property name="homogeneous">False</property>
  504.       <property name="spacing">18</property>
  505.  
  506.       <child>
  507.         <widget class="GtkVBox" id="vbox133">
  508.           <property name="visible">True</property>
  509.           <property name="homogeneous">False</property>
  510.           <property name="spacing">6</property>
  511.  
  512.           <child>
  513.         <widget class="GtkLabel" id="label1226">
  514.           <property name="visible">True</property>
  515.           <property name="label" translatable="yes"><b>Fonts</b></property>
  516.           <property name="use_underline">False</property>
  517.           <property name="use_markup">True</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.         </widget>
  526.         <packing>
  527.           <property name="padding">0</property>
  528.           <property name="expand">False</property>
  529.           <property name="fill">False</property>
  530.         </packing>
  531.           </child>
  532.  
  533.           <child>
  534.         <widget class="GtkAlignment" id="alignment11">
  535.           <property name="visible">True</property>
  536.           <property name="xalign">0.5</property>
  537.           <property name="yalign">0.5</property>
  538.           <property name="xscale">1</property>
  539.           <property name="yscale">1</property>
  540.           <property name="top_padding">0</property>
  541.           <property name="bottom_padding">0</property>
  542.           <property name="left_padding">12</property>
  543.           <property name="right_padding">0</property>
  544.  
  545.           <child>
  546.             <widget class="GtkCheckButton" id="use_system_fonts">
  547.               <property name="visible">True</property>
  548.               <property name="can_focus">True</property>
  549.               <property name="label" translatable="yes">_Use system fonts</property>
  550.               <property name="use_underline">True</property>
  551.               <property name="relief">GTK_RELIEF_NORMAL</property>
  552.               <property name="focus_on_click">True</property>
  553.               <property name="active">False</property>
  554.               <property name="inconsistent">False</property>
  555.               <property name="draw_indicator">True</property>
  556.             </widget>
  557.           </child>
  558.         </widget>
  559.         <packing>
  560.           <property name="padding">0</property>
  561.           <property name="expand">False</property>
  562.           <property name="fill">False</property>
  563.         </packing>
  564.           </child>
  565.  
  566.           <child>
  567.         <widget class="GtkAlignment" id="alignment12">
  568.           <property name="visible">True</property>
  569.           <property name="xalign">0.5</property>
  570.           <property name="yalign">0.5</property>
  571.           <property name="xscale">1</property>
  572.           <property name="yscale">1</property>
  573.           <property name="top_padding">0</property>
  574.           <property name="bottom_padding">0</property>
  575.           <property name="left_padding">12</property>
  576.           <property name="right_padding">0</property>
  577.  
  578.           <child>
  579.             <widget class="GtkTable" id="font_table">
  580.               <property name="visible">True</property>
  581.               <property name="n_rows">2</property>
  582.               <property name="n_columns">2</property>
  583.               <property name="homogeneous">False</property>
  584.               <property name="row_spacing">6</property>
  585.               <property name="column_spacing">12</property>
  586.  
  587.               <child>
  588.             <widget class="GtkLabel" id="label1227">
  589.               <property name="visible">True</property>
  590.               <property name="label" translatable="yes">_Variable width:</property>
  591.               <property name="use_underline">True</property>
  592.               <property name="use_markup">False</property>
  593.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  594.               <property name="wrap">False</property>
  595.               <property name="selectable">False</property>
  596.               <property name="xalign">0</property>
  597.               <property name="yalign">0.5</property>
  598.               <property name="xpad">0</property>
  599.               <property name="ypad">0</property>
  600.               <property name="mnemonic_widget">variable_font</property>
  601.             </widget>
  602.             <packing>
  603.               <property name="left_attach">0</property>
  604.               <property name="right_attach">1</property>
  605.               <property name="top_attach">0</property>
  606.               <property name="bottom_attach">1</property>
  607.               <property name="x_options">fill</property>
  608.               <property name="y_options"></property>
  609.             </packing>
  610.               </child>
  611.  
  612.               <child>
  613.             <widget class="GtkLabel" id="label1228">
  614.               <property name="visible">True</property>
  615.               <property name="label" translatable="yes">_Fixed width:</property>
  616.               <property name="use_underline">True</property>
  617.               <property name="use_markup">False</property>
  618.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  619.               <property name="wrap">False</property>
  620.               <property name="selectable">False</property>
  621.               <property name="xalign">0</property>
  622.               <property name="yalign">0.5</property>
  623.               <property name="xpad">0</property>
  624.               <property name="ypad">0</property>
  625.               <property name="mnemonic_widget">fixed_font</property>
  626.             </widget>
  627.             <packing>
  628.               <property name="left_attach">0</property>
  629.               <property name="right_attach">1</property>
  630.               <property name="top_attach">1</property>
  631.               <property name="bottom_attach">2</property>
  632.               <property name="x_options">fill</property>
  633.               <property name="y_options"></property>
  634.             </packing>
  635.               </child>
  636.  
  637.               <child>
  638.             <widget class="GtkFontButton" id="variable_font">
  639.               <property name="visible">True</property>
  640.               <property name="can_focus">True</property>
  641.               <property name="show_style">True</property>
  642.               <property name="show_size">True</property>
  643.               <property name="use_font">False</property>
  644.               <property name="use_size">False</property>
  645.               <property name="focus_on_click">True</property>
  646.             </widget>
  647.             <packing>
  648.               <property name="left_attach">1</property>
  649.               <property name="right_attach">2</property>
  650.               <property name="top_attach">0</property>
  651.               <property name="bottom_attach">1</property>
  652.               <property name="y_options"></property>
  653.             </packing>
  654.               </child>
  655.  
  656.               <child>
  657.             <widget class="GtkFontButton" id="fixed_font">
  658.               <property name="visible">True</property>
  659.               <property name="can_focus">True</property>
  660.               <property name="show_style">True</property>
  661.               <property name="show_size">True</property>
  662.               <property name="use_font">False</property>
  663.               <property name="use_size">False</property>
  664.               <property name="focus_on_click">True</property>
  665.             </widget>
  666.             <packing>
  667.               <property name="left_attach">1</property>
  668.               <property name="right_attach">2</property>
  669.               <property name="top_attach">1</property>
  670.               <property name="bottom_attach">2</property>
  671.               <property name="y_options"></property>
  672.             </packing>
  673.               </child>
  674.             </widget>
  675.           </child>
  676.         </widget>
  677.         <packing>
  678.           <property name="padding">0</property>
  679.           <property name="expand">True</property>
  680.           <property name="fill">True</property>
  681.         </packing>
  682.           </child>
  683.         </widget>
  684.         <packing>
  685.           <property name="padding">0</property>
  686.           <property name="expand">False</property>
  687.           <property name="fill">True</property>
  688.         </packing>
  689.       </child>
  690.  
  691.       <child>
  692.         <widget class="GtkVBox" id="vbox134">
  693.           <property name="visible">True</property>
  694.           <property name="homogeneous">False</property>
  695.           <property name="spacing">6</property>
  696.  
  697.           <child>
  698.         <widget class="GtkLabel" id="label1229">
  699.           <property name="visible">True</property>
  700.           <property name="label" translatable="yes"><b>Accessibility</b></property>
  701.           <property name="use_underline">False</property>
  702.           <property name="use_markup">True</property>
  703.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  704.           <property name="wrap">False</property>
  705.           <property name="selectable">False</property>
  706.           <property name="xalign">0</property>
  707.           <property name="yalign">0.5</property>
  708.           <property name="xpad">0</property>
  709.           <property name="ypad">0</property>
  710.         </widget>
  711.         <packing>
  712.           <property name="padding">0</property>
  713.           <property name="expand">False</property>
  714.           <property name="fill">False</property>
  715.         </packing>
  716.           </child>
  717.  
  718.           <child>
  719.         <widget class="GtkAlignment" id="alignment13">
  720.           <property name="visible">True</property>
  721.           <property name="xalign">0.5</property>
  722.           <property name="yalign">0.5</property>
  723.           <property name="xscale">1</property>
  724.           <property name="yscale">1</property>
  725.           <property name="top_padding">0</property>
  726.           <property name="bottom_padding">0</property>
  727.           <property name="left_padding">12</property>
  728.           <property name="right_padding">0</property>
  729.  
  730.           <child>
  731.             <widget class="GtkCheckButton" id="use_caret">
  732.               <property name="visible">True</property>
  733.               <property name="can_focus">True</property>
  734.               <property name="label" translatable="yes">_Browse with caret</property>
  735.               <property name="use_underline">True</property>
  736.               <property name="relief">GTK_RELIEF_NORMAL</property>
  737.               <property name="focus_on_click">True</property>
  738.               <property name="active">False</property>
  739.               <property name="inconsistent">False</property>
  740.               <property name="draw_indicator">True</property>
  741.             </widget>
  742.           </child>
  743.         </widget>
  744.         <packing>
  745.           <property name="padding">0</property>
  746.           <property name="expand">False</property>
  747.           <property name="fill">False</property>
  748.         </packing>
  749.           </child>
  750.         </widget>
  751.         <packing>
  752.           <property name="padding">0</property>
  753.           <property name="expand">False</property>
  754.           <property name="fill">True</property>
  755.         </packing>
  756.       </child>
  757.     </widget>
  758.     <packing>
  759.       <property name="padding">0</property>
  760.       <property name="expand">True</property>
  761.       <property name="fill">True</property>
  762.     </packing>
  763.       </child>
  764.     </widget>
  765.   </child>
  766. </widget>
  767.  
  768. <widget class="GtkDialog" id="bookmarks_dialog">
  769.   <property name="border_width">5</property>
  770.   <property name="title" translatable="yes">Bookmarks</property>
  771.   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  772.   <property name="window_position">GTK_WIN_POS_NONE</property>
  773.   <property name="modal">False</property>
  774.   <property name="default_width">300</property>
  775.   <property name="default_height">300</property>
  776.   <property name="resizable">True</property>
  777.   <property name="destroy_with_parent">False</property>
  778.   <property name="decorated">True</property>
  779.   <property name="skip_taskbar_hint">False</property>
  780.   <property name="skip_pager_hint">False</property>
  781.   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  782.   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  783.   <property name="has_separator">False</property>
  784.  
  785.   <child internal-child="vbox">
  786.     <widget class="GtkVBox" id="dialog-vbox8">
  787.       <property name="visible">True</property>
  788.       <property name="homogeneous">False</property>
  789.       <property name="spacing">2</property>
  790.  
  791.       <child internal-child="action_area">
  792.     <widget class="GtkHButtonBox" id="dialog-action_area8">
  793.       <property name="visible">True</property>
  794.       <property name="layout_style">GTK_BUTTONBOX_END</property>
  795.  
  796.       <child>
  797.         <widget class="GtkButton" id="button1">
  798.           <property name="visible">True</property>
  799.           <property name="can_default">True</property>
  800.           <property name="can_focus">True</property>
  801.           <property name="label">gtk-close</property>
  802.           <property name="use_stock">True</property>
  803.           <property name="relief">GTK_RELIEF_NORMAL</property>
  804.           <property name="focus_on_click">True</property>
  805.           <property name="response_id">-7</property>
  806.         </widget>
  807.       </child>
  808.     </widget>
  809.     <packing>
  810.       <property name="padding">0</property>
  811.       <property name="expand">False</property>
  812.       <property name="fill">True</property>
  813.       <property name="pack_type">GTK_PACK_END</property>
  814.     </packing>
  815.       </child>
  816.  
  817.       <child>
  818.     <widget class="GtkTable" id="table1">
  819.       <property name="border_width">5</property>
  820.       <property name="visible">True</property>
  821.       <property name="n_rows">2</property>
  822.       <property name="n_columns">2</property>
  823.       <property name="homogeneous">False</property>
  824.       <property name="row_spacing">6</property>
  825.       <property name="column_spacing">6</property>
  826.  
  827.       <child>
  828.         <widget class="GtkLabel" id="label1231">
  829.           <property name="visible">True</property>
  830.           <property name="label" translatable="yes">_Bookmarks:</property>
  831.           <property name="use_underline">True</property>
  832.           <property name="use_markup">False</property>
  833.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  834.           <property name="wrap">False</property>
  835.           <property name="selectable">False</property>
  836.           <property name="xalign">0</property>
  837.           <property name="yalign">0.5</property>
  838.           <property name="xpad">0</property>
  839.           <property name="ypad">0</property>
  840.           <property name="mnemonic_widget">bookmarks_view</property>
  841.         </widget>
  842.         <packing>
  843.           <property name="left_attach">0</property>
  844.           <property name="right_attach">1</property>
  845.           <property name="top_attach">0</property>
  846.           <property name="bottom_attach">1</property>
  847.           <property name="x_options">fill</property>
  848.           <property name="y_options"></property>
  849.         </packing>
  850.       </child>
  851.  
  852.       <child>
  853.         <widget class="GtkVButtonBox" id="vbuttonbox1">
  854.           <property name="visible">True</property>
  855.           <property name="layout_style">GTK_BUTTONBOX_START</property>
  856.           <property name="spacing">6</property>
  857.  
  858.           <child>
  859.         <widget class="GtkButton" id="open_button">
  860.           <property name="visible">True</property>
  861.           <property name="sensitive">False</property>
  862.           <property name="can_default">True</property>
  863.           <property name="can_focus">True</property>
  864.           <property name="label">gtk-open</property>
  865.           <property name="use_stock">True</property>
  866.           <property name="relief">GTK_RELIEF_NORMAL</property>
  867.           <property name="focus_on_click">True</property>
  868.         </widget>
  869.           </child>
  870.  
  871.           <child>
  872.         <widget class="GtkButton" id="rename_button">
  873.           <property name="visible">True</property>
  874.           <property name="sensitive">False</property>
  875.           <property name="can_default">True</property>
  876.           <property name="can_focus">True</property>
  877.           <property name="label" translatable="yes">Re_name</property>
  878.           <property name="use_underline">True</property>
  879.           <property name="relief">GTK_RELIEF_NORMAL</property>
  880.           <property name="focus_on_click">True</property>
  881.         </widget>
  882.           </child>
  883.  
  884.           <child>
  885.         <widget class="GtkButton" id="remove_button">
  886.           <property name="visible">True</property>
  887.           <property name="sensitive">False</property>
  888.           <property name="can_default">True</property>
  889.           <property name="can_focus">True</property>
  890.           <property name="label">gtk-remove</property>
  891.           <property name="use_stock">True</property>
  892.           <property name="relief">GTK_RELIEF_NORMAL</property>
  893.           <property name="focus_on_click">True</property>
  894.         </widget>
  895.           </child>
  896.         </widget>
  897.         <packing>
  898.           <property name="left_attach">1</property>
  899.           <property name="right_attach">2</property>
  900.           <property name="top_attach">1</property>
  901.           <property name="bottom_attach">2</property>
  902.           <property name="x_options">fill</property>
  903.           <property name="y_options">fill</property>
  904.         </packing>
  905.       </child>
  906.  
  907.       <child>
  908.         <widget class="GtkScrolledWindow" id="scrolledwindow1">
  909.           <property name="visible">True</property>
  910.           <property name="can_focus">True</property>
  911.           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  912.           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  913.           <property name="shadow_type">GTK_SHADOW_IN</property>
  914.           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  915.  
  916.           <child>
  917.         <widget class="GtkTreeView" id="bookmarks_view">
  918.           <property name="visible">True</property>
  919.           <property name="can_focus">True</property>
  920.           <property name="headers_visible">False</property>
  921.           <property name="rules_hint">False</property>
  922.           <property name="reorderable">False</property>
  923.           <property name="enable_search">True</property>
  924.         </widget>
  925.           </child>
  926.         </widget>
  927.         <packing>
  928.           <property name="left_attach">0</property>
  929.           <property name="right_attach">1</property>
  930.           <property name="top_attach">1</property>
  931.           <property name="bottom_attach">2</property>
  932.         </packing>
  933.       </child>
  934.     </widget>
  935.     <packing>
  936.       <property name="padding">0</property>
  937.       <property name="expand">True</property>
  938.       <property name="fill">True</property>
  939.     </packing>
  940.       </child>
  941.     </widget>
  942.   </child>
  943. </widget>
  944.  
  945. <widget class="GtkDialog" id="add_bookmark_dialog">
  946.   <property name="border_width">5</property>
  947.   <property name="visible">True</property>
  948.   <property name="title" translatable="yes">Add Bookmark</property>
  949.   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  950.   <property name="window_position">GTK_WIN_POS_NONE</property>
  951.   <property name="modal">False</property>
  952.   <property name="resizable">False</property>
  953.   <property name="destroy_with_parent">False</property>
  954.   <property name="decorated">True</property>
  955.   <property name="skip_taskbar_hint">False</property>
  956.   <property name="skip_pager_hint">False</property>
  957.   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  958.   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  959.   <property name="has_separator">False</property>
  960.  
  961.   <child internal-child="vbox">
  962.     <widget class="GtkVBox" id="dialog-vbox9">
  963.       <property name="visible">True</property>
  964.       <property name="homogeneous">False</property>
  965.       <property name="spacing">2</property>
  966.  
  967.       <child internal-child="action_area">
  968.     <widget class="GtkHButtonBox" id="dialog-action_area9">
  969.       <property name="visible">True</property>
  970.       <property name="layout_style">GTK_BUTTONBOX_END</property>
  971.  
  972.       <child>
  973.         <widget class="GtkButton" id="cancelbutton1">
  974.           <property name="visible">True</property>
  975.           <property name="can_default">True</property>
  976.           <property name="can_focus">True</property>
  977.           <property name="label">gtk-cancel</property>
  978.           <property name="use_stock">True</property>
  979.           <property name="relief">GTK_RELIEF_NORMAL</property>
  980.           <property name="focus_on_click">True</property>
  981.           <property name="response_id">-6</property>
  982.         </widget>
  983.       </child>
  984.  
  985.       <child>
  986.         <widget class="GtkButton" id="okbutton1">
  987.           <property name="visible">True</property>
  988.           <property name="can_default">True</property>
  989.           <property name="has_default">True</property>
  990.           <property name="can_focus">True</property>
  991.           <property name="label">gtk-add</property>
  992.           <property name="use_stock">True</property>
  993.           <property name="relief">GTK_RELIEF_NORMAL</property>
  994.           <property name="focus_on_click">True</property>
  995.           <property name="response_id">-5</property>
  996.         </widget>
  997.       </child>
  998.     </widget>
  999.     <packing>
  1000.       <property name="padding">0</property>
  1001.       <property name="expand">False</property>
  1002.       <property name="fill">True</property>
  1003.       <property name="pack_type">GTK_PACK_END</property>
  1004.     </packing>
  1005.       </child>
  1006.  
  1007.       <child>
  1008.     <widget class="GtkAlignment" id="alignment14">
  1009.       <property name="visible">True</property>
  1010.       <property name="xalign">0.5</property>
  1011.       <property name="yalign">0</property>
  1012.       <property name="xscale">1</property>
  1013.       <property name="yscale">1</property>
  1014.       <property name="top_padding">0</property>
  1015.       <property name="bottom_padding">0</property>
  1016.       <property name="left_padding">0</property>
  1017.       <property name="right_padding">0</property>
  1018.  
  1019.       <child>
  1020.         <widget class="GtkHBox" id="hbox90">
  1021.           <property name="border_width">5</property>
  1022.           <property name="visible">True</property>
  1023.           <property name="homogeneous">False</property>
  1024.           <property name="spacing">12</property>
  1025.  
  1026.           <child>
  1027.         <widget class="GtkLabel" id="label1230">
  1028.           <property name="visible">True</property>
  1029.           <property name="label" translatable="yes">_Title:</property>
  1030.           <property name="use_underline">True</property>
  1031.           <property name="use_markup">False</property>
  1032.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  1033.           <property name="wrap">False</property>
  1034.           <property name="selectable">False</property>
  1035.           <property name="xalign">0.5</property>
  1036.           <property name="yalign">0.5</property>
  1037.           <property name="xpad">0</property>
  1038.           <property name="ypad">0</property>
  1039.           <property name="mnemonic_widget">bookmark_title_entry</property>
  1040.         </widget>
  1041.         <packing>
  1042.           <property name="padding">0</property>
  1043.           <property name="expand">False</property>
  1044.           <property name="fill">False</property>
  1045.         </packing>
  1046.           </child>
  1047.  
  1048.           <child>
  1049.         <widget class="GtkEntry" id="bookmark_title_entry">
  1050.           <property name="visible">True</property>
  1051.           <property name="can_focus">True</property>
  1052.           <property name="editable">True</property>
  1053.           <property name="visibility">True</property>
  1054.           <property name="max_length">0</property>
  1055.           <property name="text" translatable="yes"></property>
  1056.           <property name="has_frame">True</property>
  1057.           <property name="invisible_char">*</property>
  1058.           <property name="activates_default">True</property>
  1059.           <property name="width_chars">30</property>
  1060.         </widget>
  1061.         <packing>
  1062.           <property name="padding">0</property>
  1063.           <property name="expand">True</property>
  1064.           <property name="fill">True</property>
  1065.         </packing>
  1066.           </child>
  1067.         </widget>
  1068.       </child>
  1069.     </widget>
  1070.     <packing>
  1071.       <property name="padding">0</property>
  1072.       <property name="expand">True</property>
  1073.       <property name="fill">True</property>
  1074.     </packing>
  1075.       </child>
  1076.     </widget>
  1077.   </child>
  1078. </widget>
  1079.  
  1080. </glade-interface>
  1081.