"Fossies" - the Fresh Open Source Software Archive

Member "fslint-2.46/fslint.glade" (2 Feb 2017, 164288 Bytes) of package /linux/privat/fslint-2.46.tar.gz:


As a special service "Fossies" has tried to format the requested source page into HTML format using (guessed) XML source code syntax highlighting (style: standard) with prefixed line numbers. Alternatively you can here view or download the uninterpreted source code file. See also the latest Fossies "Diffs" side-by-side code changes report for "fslint.glade": 2.44_vs_2.46.

    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="GtkWindow" id="fslint">
    7   <property name="visible">True</property>
    8   <property name="title" translatable="yes">FSlint</property>
    9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
   10   <property name="window_position">GTK_WIN_POS_NONE</property>
   11   <property name="modal">False</property>
   12   <property name="default_width">800</property>
   13   <property name="default_height">600</property>
   14   <property name="resizable">True</property>
   15   <property name="destroy_with_parent">False</property>
   16   <property name="icon">fslint_icon.png</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_NORMAL</property>
   21   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
   22   <property name="focus_on_map">True</property>
   23   <property name="urgency_hint">False</property>
   24   <signal name="destroy" handler="on_fslint_destroy"/>
   25   <signal name="key_press_event" handler="on_fslint_keypress" last_modification_time="Mon, 25 Jun 2007 07:48:30 GMT"/>
   26 
   27   <child>
   28     <widget class="GtkVBox" id="vbox1">
   29       <property name="visible">True</property>
   30       <property name="homogeneous">False</property>
   31       <property name="spacing">0</property>
   32 
   33       <child>
   34     <widget class="GtkMenuBar" id="menubar1">
   35       <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
   36       <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
   37 
   38       <child>
   39         <widget class="GtkMenuItem" id="file1">
   40           <property name="visible">True</property>
   41           <property name="label">_File</property>
   42           <property name="use_underline">True</property>
   43 
   44           <child>
   45         <widget class="GtkMenu" id="file1_menu">
   46 
   47           <child>
   48             <widget class="GtkImageMenuItem" id="quit">
   49               <property name="visible">True</property>
   50               <property name="label">gtk-quit</property>
   51               <property name="use_stock">True</property>
   52               <signal name="activate" handler="on_fslint_destroy" last_modification_time="Tue, 19 Dec 2006 07:58:27 GMT"/>
   53             </widget>
   54           </child>
   55         </widget>
   56           </child>
   57         </widget>
   58       </child>
   59 
   60       <child>
   61         <widget class="GtkMenuItem" id="edit_menu">
   62           <property name="visible">True</property>
   63           <property name="label">_Edit</property>
   64           <property name="use_underline">True</property>
   65 
   66           <child>
   67         <widget class="GtkMenu" id="edit_menu_menu">
   68 
   69           <child>
   70             <widget class="GtkImageMenuItem" id="open">
   71               <property name="visible">True</property>
   72               <property name="label">gtk-open</property>
   73               <property name="use_stock">True</property>
   74               <signal name="activate" handler="on_open_activate" last_modification_time="Fri, 05 Sep 2008 07:01:52 GMT"/>
   75             </widget>
   76           </child>
   77 
   78           <child>
   79             <widget class="GtkImageMenuItem" id="open_folder">
   80               <property name="visible">True</property>
   81               <property name="label" translatable="yes">Open _Folder</property>
   82               <property name="use_underline">True</property>
   83               <signal name="activate" handler="on_open_folder_activate" last_modification_time="Fri, 05 Jun 2009 07:05:04 GMT"/>
   84 
   85               <child internal-child="image">
   86             <widget class="GtkImage" id="image15">
   87               <property name="visible">True</property>
   88               <property name="stock">gtk-directory</property>
   89               <property name="icon_size">1</property>
   90               <property name="xalign">0.5</property>
   91               <property name="yalign">0.5</property>
   92               <property name="xpad">0</property>
   93               <property name="ypad">0</property>
   94             </widget>
   95               </child>
   96             </widget>
   97           </child>
   98 
   99           <child>
  100             <widget class="GtkImageMenuItem" id="copy">
  101               <property name="visible">True</property>
  102               <property name="label">gtk-copy</property>
  103               <property name="use_stock">True</property>
  104               <signal name="activate" handler="on_copy_activate" last_modification_time="Mon, 25 Jun 2007 06:36:23 GMT"/>
  105             </widget>
  106           </child>
  107 
  108           <child>
  109             <widget class="GtkMenuItem" id="rename">
  110               <property name="visible">True</property>
  111               <property name="label" translatable="yes">_Rename...</property>
  112               <property name="use_underline">True</property>
  113               <signal name="activate" handler="on_rename_activate" last_modification_time="Fri, 22 Jun 2007 07:35:13 GMT"/>
  114               <accelerator key="F2" modifiers="0" signal="activate"/>
  115             </widget>
  116           </child>
  117 
  118           <child>
  119             <widget class="GtkMenuItem" id="select_from_same_folder">
  120               <property name="visible">True</property>
  121               <property name="label" translatable="yes">Select all in this directory</property>
  122               <property name="use_underline">True</property>
  123               <signal name="activate" handler="on_select_from_that_folder_activate" last_modification_time="Fri, 09 Dec 2011 14:54:12 GMT"/>
  124             </widget>
  125           </child>
  126         </widget>
  127           </child>
  128         </widget>
  129       </child>
  130 
  131       <child>
  132         <widget class="GtkMenuItem" id="selection_menu">
  133           <property name="visible">True</property>
  134           <property name="label">_Selection</property>
  135           <property name="use_underline">True</property>
  136 
  137           <child>
  138         <widget class="GtkMenu" id="selection_menu_menu">
  139 
  140           <child>
  141             <widget class="GtkMenuItem" id="select_using_wildcard">
  142               <property name="visible">True</property>
  143               <property name="label" translatable="yes">Select using wildcard</property>
  144               <property name="use_underline">True</property>
  145               <signal name="activate" handler="on_select_using_wildcard_activate" last_modification_time="Tue, 19 Dec 2006 07:52:22 GMT"/>
  146             </widget>
  147           </child>
  148 
  149           <child>
  150             <widget class="GtkMenuItem" id="unselect_using_wildcard">
  151               <property name="visible">True</property>
  152               <property name="label" translatable="yes">Unselect using wildcard</property>
  153               <property name="use_underline">True</property>
  154               <signal name="activate" handler="on_unselect_using_wildcard_activate" last_modification_time="Tue, 19 Dec 2006 07:52:22 GMT"/>
  155             </widget>
  156           </child>
  157 
  158           <child>
  159             <widget class="GtkMenuItem" id="groups_menu">
  160               <property name="visible">True</property>
  161               <property name="label" translatable="yes">within groups</property>
  162               <property name="use_underline">True</property>
  163 
  164               <child>
  165             <widget class="GtkMenu" id="groups_menu_menu">
  166 
  167               <child>
  168                 <widget class="GtkMenuItem" id="select_all_but_first2">
  169                   <property name="visible">True</property>
  170                   <property name="label" translatable="yes">Select all but first</property>
  171                   <property name="use_underline">True</property>
  172                   <signal name="activate" handler="on_select_all_but_first_in_each_group_activate" last_modification_time="Fri, 22 Dec 2006 08:40:23 GMT"/>
  173                 </widget>
  174               </child>
  175 
  176               <child>
  177                 <widget class="GtkMenuItem" id="select_all_but_newest2">
  178                   <property name="visible">True</property>
  179                   <property name="label" translatable="yes">Select all but newest</property>
  180                   <property name="use_underline">True</property>
  181                   <signal name="activate" handler="on_select_all_but_newest_in_each_group_activate" last_modification_time="Fri, 22 Dec 2006 08:40:53 GMT"/>
  182                 </widget>
  183               </child>
  184 
  185               <child>
  186                 <widget class="GtkMenuItem" id="select_all_but_oldest2">
  187                   <property name="visible">True</property>
  188                   <property name="label" translatable="yes">Select all but oldest</property>
  189                   <property name="use_underline">True</property>
  190                   <signal name="activate" handler="on_select_all_but_oldest_in_each_group_activate" last_modification_time="Fri, 22 Dec 2006 08:41:05 GMT"/>
  191                 </widget>
  192               </child>
  193             </widget>
  194               </child>
  195             </widget>
  196           </child>
  197 
  198           <child>
  199             <widget class="GtkMenuItem" id="toggle_selection1">
  200               <property name="visible">True</property>
  201               <property name="label" translatable="yes">Toggle selection</property>
  202               <property name="use_underline">True</property>
  203               <signal name="activate" handler="on_toggle_selection_activate" last_modification_time="Tue, 19 Dec 2006 07:52:22 GMT"/>
  204             </widget>
  205           </child>
  206 
  207           <child>
  208             <widget class="GtkMenuItem" id="unselect_all1">
  209               <property name="visible">True</property>
  210               <property name="label" translatable="yes">Unselect all</property>
  211               <property name="use_underline">True</property>
  212               <signal name="activate" handler="on_unselect_all_activate" last_modification_time="Tue, 19 Dec 2006 07:52:22 GMT"/>
  213             </widget>
  214           </child>
  215         </widget>
  216           </child>
  217         </widget>
  218       </child>
  219 
  220       <child>
  221         <widget class="GtkMenuItem" id="help">
  222           <property name="visible">True</property>
  223           <property name="label">_Help</property>
  224           <property name="use_underline">True</property>
  225 
  226           <child>
  227         <widget class="GtkMenu" id="help_menu">
  228 
  229           <child>
  230             <widget class="GtkImageMenuItem" id="about1">
  231               <property name="visible">True</property>
  232               <property name="label">gtk-about</property>
  233               <property name="use_stock">True</property>
  234               <signal name="activate" handler="on_about1_activate" last_modification_time="Tue, 19 Dec 2006 07:58:27 GMT"/>
  235             </widget>
  236           </child>
  237         </widget>
  238           </child>
  239         </widget>
  240       </child>
  241     </widget>
  242     <packing>
  243       <property name="padding">0</property>
  244       <property name="expand">False</property>
  245       <property name="fill">False</property>
  246     </packing>
  247       </child>
  248 
  249       <child>
  250     <widget class="GtkHBox" id="hbox3">
  251       <property name="visible">True</property>
  252       <property name="homogeneous">False</property>
  253       <property name="spacing">0</property>
  254 
  255       <child>
  256         <widget class="GtkNotebook" id="notebook2">
  257           <property name="border_width">3</property>
  258           <property name="visible">True</property>
  259           <property name="can_focus">True</property>
  260           <property name="show_tabs">True</property>
  261           <property name="show_border">True</property>
  262           <property name="tab_pos">GTK_POS_TOP</property>
  263           <property name="scrollable">False</property>
  264           <property name="enable_popup">False</property>
  265 
  266           <child>
  267         <widget class="GtkHBox" id="hbox2">
  268           <property name="visible">True</property>
  269           <property name="homogeneous">False</property>
  270           <property name="spacing">0</property>
  271 
  272           <child>
  273             <widget class="GtkVButtonBox" id="vbuttonbox2">
  274               <property name="border_width">2</property>
  275               <property name="visible">True</property>
  276               <property name="layout_style">GTK_BUTTONBOX_SPREAD</property>
  277               <property name="spacing">0</property>
  278 
  279               <child>
  280             <widget class="GtkButton" id="addOkDir">
  281               <property name="border_width">2</property>
  282               <property name="visible">True</property>
  283               <property name="can_default">True</property>
  284               <property name="can_focus">True</property>
  285               <property name="relief">GTK_RELIEF_NORMAL</property>
  286               <property name="focus_on_click">True</property>
  287               <signal name="clicked" handler="on_addOkDir_clicked"/>
  288 
  289               <child>
  290                 <widget class="GtkAlignment" id="alignment1">
  291                   <property name="visible">True</property>
  292                   <property name="xalign">0</property>
  293                   <property name="yalign">0.5</property>
  294                   <property name="xscale">0</property>
  295                   <property name="yscale">0</property>
  296                   <property name="top_padding">0</property>
  297                   <property name="bottom_padding">0</property>
  298                   <property name="left_padding">0</property>
  299                   <property name="right_padding">0</property>
  300 
  301                   <child>
  302                 <widget class="GtkHBox" id="hbox9">
  303                   <property name="visible">True</property>
  304                   <property name="homogeneous">False</property>
  305                   <property name="spacing">2</property>
  306 
  307                   <child>
  308                     <widget class="GtkImage" id="image1">
  309                       <property name="visible">True</property>
  310                       <property name="stock">gtk-add</property>
  311                       <property name="icon_size">4</property>
  312                       <property name="xalign">0.5</property>
  313                       <property name="yalign">0.5</property>
  314                       <property name="xpad">0</property>
  315                       <property name="ypad">0</property>
  316                     </widget>
  317                     <packing>
  318                       <property name="padding">0</property>
  319                       <property name="expand">False</property>
  320                       <property name="fill">False</property>
  321                     </packing>
  322                   </child>
  323 
  324                   <child>
  325                     <widget class="GtkLabel" id="label55">
  326                       <property name="visible">True</property>
  327                       <property name="label" translatable="yes">Add</property>
  328                       <property name="use_underline">True</property>
  329                       <property name="use_markup">False</property>
  330                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  331                       <property name="wrap">False</property>
  332                       <property name="selectable">False</property>
  333                       <property name="xalign">0.5</property>
  334                       <property name="yalign">0.5</property>
  335                       <property name="xpad">0</property>
  336                       <property name="ypad">0</property>
  337                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  338                       <property name="width_chars">-1</property>
  339                       <property name="single_line_mode">False</property>
  340                       <property name="angle">0</property>
  341                     </widget>
  342                     <packing>
  343                       <property name="padding">0</property>
  344                       <property name="expand">False</property>
  345                       <property name="fill">False</property>
  346                     </packing>
  347                   </child>
  348                 </widget>
  349                   </child>
  350                 </widget>
  351               </child>
  352             </widget>
  353               </child>
  354 
  355               <child>
  356             <widget class="GtkButton" id="removeOkDir">
  357               <property name="border_width">2</property>
  358               <property name="visible">True</property>
  359               <property name="can_default">True</property>
  360               <property name="can_focus">True</property>
  361               <property name="relief">GTK_RELIEF_NORMAL</property>
  362               <property name="focus_on_click">True</property>
  363               <signal name="clicked" handler="on_removeOkDir_clicked"/>
  364 
  365               <child>
  366                 <widget class="GtkAlignment" id="alignment2">
  367                   <property name="visible">True</property>
  368                   <property name="xalign">0</property>
  369                   <property name="yalign">0.5</property>
  370                   <property name="xscale">0</property>
  371                   <property name="yscale">0</property>
  372                   <property name="top_padding">0</property>
  373                   <property name="bottom_padding">0</property>
  374                   <property name="left_padding">0</property>
  375                   <property name="right_padding">0</property>
  376 
  377                   <child>
  378                 <widget class="GtkHBox" id="hbox10">
  379                   <property name="visible">True</property>
  380                   <property name="homogeneous">False</property>
  381                   <property name="spacing">2</property>
  382 
  383                   <child>
  384                     <widget class="GtkImage" id="image2">
  385                       <property name="visible">True</property>
  386                       <property name="stock">gtk-remove</property>
  387                       <property name="icon_size">4</property>
  388                       <property name="xalign">0.5</property>
  389                       <property name="yalign">0.5</property>
  390                       <property name="xpad">0</property>
  391                       <property name="ypad">0</property>
  392                     </widget>
  393                     <packing>
  394                       <property name="padding">0</property>
  395                       <property name="expand">False</property>
  396                       <property name="fill">False</property>
  397                     </packing>
  398                   </child>
  399 
  400                   <child>
  401                     <widget class="GtkLabel" id="label56">
  402                       <property name="visible">True</property>
  403                       <property name="label" translatable="yes">Remove</property>
  404                       <property name="use_underline">True</property>
  405                       <property name="use_markup">False</property>
  406                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  407                       <property name="wrap">False</property>
  408                       <property name="selectable">False</property>
  409                       <property name="xalign">0.5</property>
  410                       <property name="yalign">0.5</property>
  411                       <property name="xpad">0</property>
  412                       <property name="ypad">0</property>
  413                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  414                       <property name="width_chars">-1</property>
  415                       <property name="single_line_mode">False</property>
  416                       <property name="angle">0</property>
  417                     </widget>
  418                     <packing>
  419                       <property name="padding">0</property>
  420                       <property name="expand">False</property>
  421                       <property name="fill">False</property>
  422                     </packing>
  423                   </child>
  424                 </widget>
  425                   </child>
  426                 </widget>
  427               </child>
  428             </widget>
  429               </child>
  430             </widget>
  431             <packing>
  432               <property name="padding">0</property>
  433               <property name="expand">False</property>
  434               <property name="fill">False</property>
  435             </packing>
  436           </child>
  437 
  438           <child>
  439             <widget class="GtkScrolledWindow" id="scrolledwindow3">
  440               <property name="visible">True</property>
  441               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  442               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  443               <property name="shadow_type">GTK_SHADOW_NONE</property>
  444               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  445 
  446               <child>
  447             <widget class="GtkCList" id="ok_dirs">
  448               <property name="border_width">1</property>
  449               <property name="visible">True</property>
  450               <property name="tooltip" translatable="yes">Directories to search</property>
  451               <property name="can_focus">True</property>
  452               <property name="n_columns">1</property>
  453               <property name="column_widths">80</property>
  454               <property name="selection_mode">GTK_SELECTION_MULTIPLE</property>
  455               <property name="show_titles">False</property>
  456               <property name="shadow_type">GTK_SHADOW_IN</property>
  457 
  458               <child>
  459                 <placeholder/>
  460               </child>
  461             </widget>
  462               </child>
  463             </widget>
  464             <packing>
  465               <property name="padding">0</property>
  466               <property name="expand">True</property>
  467               <property name="fill">True</property>
  468             </packing>
  469           </child>
  470 
  471           <child>
  472             <widget class="GtkCheckButton" id="recurseDirs">
  473               <property name="visible">True</property>
  474               <property name="can_focus">True</property>
  475               <property name="label" translatable="yes">recurse?</property>
  476               <property name="use_underline">True</property>
  477               <property name="relief">GTK_RELIEF_NORMAL</property>
  478               <property name="focus_on_click">True</property>
  479               <property name="active">True</property>
  480               <property name="inconsistent">False</property>
  481               <property name="draw_indicator">True</property>
  482             </widget>
  483             <packing>
  484               <property name="padding">0</property>
  485               <property name="expand">False</property>
  486               <property name="fill">False</property>
  487             </packing>
  488           </child>
  489         </widget>
  490         <packing>
  491           <property name="tab_expand">False</property>
  492           <property name="tab_fill">True</property>
  493         </packing>
  494           </child>
  495 
  496           <child>
  497         <widget class="GtkLabel" id="label11">
  498           <property name="visible">True</property>
  499           <property name="label" translatable="yes">Search path</property>
  500           <property name="use_underline">False</property>
  501           <property name="use_markup">False</property>
  502           <property name="justify">GTK_JUSTIFY_CENTER</property>
  503           <property name="wrap">False</property>
  504           <property name="selectable">False</property>
  505           <property name="xalign">0.5</property>
  506           <property name="yalign">0.5</property>
  507           <property name="xpad">0</property>
  508           <property name="ypad">0</property>
  509           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  510           <property name="width_chars">-1</property>
  511           <property name="single_line_mode">False</property>
  512           <property name="angle">0</property>
  513         </widget>
  514         <packing>
  515           <property name="type">tab</property>
  516         </packing>
  517           </child>
  518 
  519           <child>
  520         <widget class="GtkHBox" id="hbox3">
  521           <property name="visible">True</property>
  522           <property name="homogeneous">False</property>
  523           <property name="spacing">0</property>
  524 
  525           <child>
  526             <widget class="GtkVButtonBox" id="vbuttonbox3">
  527               <property name="border_width">2</property>
  528               <property name="visible">True</property>
  529               <property name="layout_style">GTK_BUTTONBOX_SPREAD</property>
  530               <property name="spacing">0</property>
  531 
  532               <child>
  533             <widget class="GtkButton" id="addBadDir">
  534               <property name="border_width">2</property>
  535               <property name="visible">True</property>
  536               <property name="can_default">True</property>
  537               <property name="can_focus">True</property>
  538               <property name="relief">GTK_RELIEF_NORMAL</property>
  539               <property name="focus_on_click">True</property>
  540               <signal name="clicked" handler="on_addBadDir_clicked"/>
  541 
  542               <child>
  543                 <widget class="GtkAlignment" id="alignment10">
  544                   <property name="visible">True</property>
  545                   <property name="xalign">0</property>
  546                   <property name="yalign">0.5</property>
  547                   <property name="xscale">0</property>
  548                   <property name="yscale">0</property>
  549                   <property name="top_padding">0</property>
  550                   <property name="bottom_padding">0</property>
  551                   <property name="left_padding">0</property>
  552                   <property name="right_padding">0</property>
  553 
  554                   <child>
  555                 <widget class="GtkHBox" id="hbox18">
  556                   <property name="visible">True</property>
  557                   <property name="homogeneous">False</property>
  558                   <property name="spacing">2</property>
  559 
  560                   <child>
  561                     <widget class="GtkImage" id="image10">
  562                       <property name="visible">True</property>
  563                       <property name="stock">gtk-add</property>
  564                       <property name="icon_size">4</property>
  565                       <property name="xalign">0.5</property>
  566                       <property name="yalign">0.5</property>
  567                       <property name="xpad">0</property>
  568                       <property name="ypad">0</property>
  569                     </widget>
  570                     <packing>
  571                       <property name="padding">0</property>
  572                       <property name="expand">False</property>
  573                       <property name="fill">False</property>
  574                     </packing>
  575                   </child>
  576 
  577                   <child>
  578                     <widget class="GtkLabel" id="label64">
  579                       <property name="visible">True</property>
  580                       <property name="label" translatable="yes">Add</property>
  581                       <property name="use_underline">True</property>
  582                       <property name="use_markup">False</property>
  583                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  584                       <property name="wrap">False</property>
  585                       <property name="selectable">False</property>
  586                       <property name="xalign">0.5</property>
  587                       <property name="yalign">0.5</property>
  588                       <property name="xpad">0</property>
  589                       <property name="ypad">0</property>
  590                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  591                       <property name="width_chars">-1</property>
  592                       <property name="single_line_mode">False</property>
  593                       <property name="angle">0</property>
  594                     </widget>
  595                     <packing>
  596                       <property name="padding">0</property>
  597                       <property name="expand">False</property>
  598                       <property name="fill">False</property>
  599                     </packing>
  600                   </child>
  601                 </widget>
  602                   </child>
  603                 </widget>
  604               </child>
  605             </widget>
  606               </child>
  607 
  608               <child>
  609             <widget class="GtkButton" id="removeBadDir">
  610               <property name="border_width">2</property>
  611               <property name="visible">True</property>
  612               <property name="can_default">True</property>
  613               <property name="can_focus">True</property>
  614               <property name="relief">GTK_RELIEF_NORMAL</property>
  615               <property name="focus_on_click">True</property>
  616               <signal name="clicked" handler="on_removeBadDir_clicked"/>
  617 
  618               <child>
  619                 <widget class="GtkAlignment" id="alignment11">
  620                   <property name="visible">True</property>
  621                   <property name="xalign">0</property>
  622                   <property name="yalign">0.5</property>
  623                   <property name="xscale">0</property>
  624                   <property name="yscale">0</property>
  625                   <property name="top_padding">0</property>
  626                   <property name="bottom_padding">0</property>
  627                   <property name="left_padding">0</property>
  628                   <property name="right_padding">0</property>
  629 
  630                   <child>
  631                 <widget class="GtkHBox" id="hbox19">
  632                   <property name="visible">True</property>
  633                   <property name="homogeneous">False</property>
  634                   <property name="spacing">2</property>
  635 
  636                   <child>
  637                     <widget class="GtkImage" id="image11">
  638                       <property name="visible">True</property>
  639                       <property name="stock">gtk-remove</property>
  640                       <property name="icon_size">4</property>
  641                       <property name="xalign">0.5</property>
  642                       <property name="yalign">0.5</property>
  643                       <property name="xpad">0</property>
  644                       <property name="ypad">0</property>
  645                     </widget>
  646                     <packing>
  647                       <property name="padding">0</property>
  648                       <property name="expand">False</property>
  649                       <property name="fill">False</property>
  650                     </packing>
  651                   </child>
  652 
  653                   <child>
  654                     <widget class="GtkLabel" id="label65">
  655                       <property name="visible">True</property>
  656                       <property name="label" translatable="yes">Remove</property>
  657                       <property name="use_underline">True</property>
  658                       <property name="use_markup">False</property>
  659                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  660                       <property name="wrap">False</property>
  661                       <property name="selectable">False</property>
  662                       <property name="xalign">0.5</property>
  663                       <property name="yalign">0.5</property>
  664                       <property name="xpad">0</property>
  665                       <property name="ypad">0</property>
  666                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  667                       <property name="width_chars">-1</property>
  668                       <property name="single_line_mode">False</property>
  669                       <property name="angle">0</property>
  670                     </widget>
  671                     <packing>
  672                       <property name="padding">0</property>
  673                       <property name="expand">False</property>
  674                       <property name="fill">False</property>
  675                     </packing>
  676                   </child>
  677                 </widget>
  678                   </child>
  679                 </widget>
  680               </child>
  681             </widget>
  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="GtkScrolledWindow" id="scrolledwindow4">
  693               <property name="visible">True</property>
  694               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  695               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  696               <property name="shadow_type">GTK_SHADOW_NONE</property>
  697               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  698 
  699               <child>
  700             <widget class="GtkCList" id="bad_dirs">
  701               <property name="visible">True</property>
  702               <property name="can_focus">True</property>
  703               <property name="n_columns">1</property>
  704               <property name="column_widths">80</property>
  705               <property name="selection_mode">GTK_SELECTION_MULTIPLE</property>
  706               <property name="show_titles">True</property>
  707               <property name="shadow_type">GTK_SHADOW_IN</property>
  708 
  709               <child>
  710                 <widget class="GtkLabel" id="label18">
  711                   <property name="label" translatable="yes">Paths to exclude</property>
  712                   <property name="use_underline">False</property>
  713                   <property name="use_markup">False</property>
  714                   <property name="justify">GTK_JUSTIFY_CENTER</property>
  715                   <property name="wrap">False</property>
  716                   <property name="selectable">False</property>
  717                   <property name="xalign">0.5</property>
  718                   <property name="yalign">0.5</property>
  719                   <property name="xpad">0</property>
  720                   <property name="ypad">0</property>
  721                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  722                   <property name="width_chars">-1</property>
  723                   <property name="single_line_mode">False</property>
  724                   <property name="angle">0</property>
  725                 </widget>
  726               </child>
  727             </widget>
  728               </child>
  729             </widget>
  730             <packing>
  731               <property name="padding">0</property>
  732               <property name="expand">True</property>
  733               <property name="fill">True</property>
  734             </packing>
  735           </child>
  736 
  737           <child>
  738             <widget class="GtkVBox" id="vbox3">
  739               <property name="visible">True</property>
  740               <property name="homogeneous">False</property>
  741               <property name="spacing">7</property>
  742 
  743               <child>
  744             <widget class="GtkLabel" id="label19">
  745               <property name="visible">True</property>
  746               <property name="label" translatable="yes">Extra find parameters</property>
  747               <property name="use_underline">False</property>
  748               <property name="use_markup">False</property>
  749               <property name="justify">GTK_JUSTIFY_CENTER</property>
  750               <property name="wrap">False</property>
  751               <property name="selectable">False</property>
  752               <property name="xalign">0.5</property>
  753               <property name="yalign">0.5</property>
  754               <property name="xpad">0</property>
  755               <property name="ypad">0</property>
  756               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  757               <property name="width_chars">-1</property>
  758               <property name="single_line_mode">False</property>
  759               <property name="angle">0</property>
  760             </widget>
  761             <packing>
  762               <property name="padding">0</property>
  763               <property name="expand">False</property>
  764               <property name="fill">False</property>
  765             </packing>
  766               </child>
  767 
  768               <child>
  769             <widget class="GtkEntry" id="extra_find_params">
  770               <property name="visible">True</property>
  771               <property name="tooltip" translatable="yes">extra find filtering parameters</property>
  772               <property name="can_focus">True</property>
  773               <property name="editable">True</property>
  774               <property name="visibility">True</property>
  775               <property name="max_length">0</property>
  776               <property name="text"></property>
  777               <property name="has_frame">True</property>
  778               <property name="invisible_char">*</property>
  779               <property name="activates_default">False</property>
  780             </widget>
  781             <packing>
  782               <property name="padding">0</property>
  783               <property name="expand">False</property>
  784               <property name="fill">False</property>
  785             </packing>
  786               </child>
  787             </widget>
  788             <packing>
  789               <property name="padding">0</property>
  790               <property name="expand">True</property>
  791               <property name="fill">True</property>
  792             </packing>
  793           </child>
  794         </widget>
  795         <packing>
  796           <property name="tab_expand">False</property>
  797           <property name="tab_fill">True</property>
  798         </packing>
  799           </child>
  800 
  801           <child>
  802         <widget class="GtkLabel" id="label12">
  803           <property name="visible">True</property>
  804           <property name="label" translatable="yes">Advanced search parameters</property>
  805           <property name="use_underline">False</property>
  806           <property name="use_markup">False</property>
  807           <property name="justify">GTK_JUSTIFY_CENTER</property>
  808           <property name="wrap">False</property>
  809           <property name="selectable">False</property>
  810           <property name="xalign">0.5</property>
  811           <property name="yalign">0.5</property>
  812           <property name="xpad">0</property>
  813           <property name="ypad">0</property>
  814           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  815           <property name="width_chars">-1</property>
  816           <property name="single_line_mode">False</property>
  817           <property name="angle">0</property>
  818         </widget>
  819         <packing>
  820           <property name="type">tab</property>
  821         </packing>
  822           </child>
  823         </widget>
  824         <packing>
  825           <property name="padding">0</property>
  826           <property name="expand">True</property>
  827           <property name="fill">True</property>
  828         </packing>
  829       </child>
  830     </widget>
  831     <packing>
  832       <property name="padding">0</property>
  833       <property name="expand">False</property>
  834       <property name="fill">True</property>
  835     </packing>
  836       </child>
  837 
  838       <child>
  839     <widget class="GtkVPaned" id="vpanes">
  840       <property name="border_width">3</property>
  841       <property name="visible">True</property>
  842       <property name="position">400</property>
  843 
  844       <child>
  845         <widget class="GtkVBox" id="vbox2">
  846           <property name="visible">True</property>
  847           <property name="homogeneous">False</property>
  848           <property name="spacing">0</property>
  849 
  850           <child>
  851         <widget class="GtkNotebook" id="fslint_functions">
  852           <property name="visible">True</property>
  853           <property name="can_focus">True</property>
  854           <property name="show_tabs">True</property>
  855           <property name="show_border">True</property>
  856           <property name="tab_pos">GTK_POS_LEFT</property>
  857           <property name="scrollable">True</property>
  858           <property name="enable_popup">False</property>
  859           <signal name="switch_page" handler="on_fslint_functions_switch_page"/>
  860 
  861           <child>
  862             <widget class="GtkVBox" id="vbox1">
  863               <property name="visible">True</property>
  864               <property name="homogeneous">False</property>
  865               <property name="spacing">0</property>
  866 
  867               <child>
  868             <widget class="GtkHBox" id="hbox31">
  869               <property name="visible">True</property>
  870               <property name="homogeneous">False</property>
  871               <property name="spacing">0</property>
  872 
  873               <child>
  874                 <widget class="GtkLabel" id="label77">
  875                   <property name="visible">True</property>
  876                   <property name="label" translatable="yes">Minimum file size:</property>
  877                   <property name="use_underline">False</property>
  878                   <property name="use_markup">False</property>
  879                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  880                   <property name="wrap">False</property>
  881                   <property name="selectable">False</property>
  882                   <property name="xalign">0.5</property>
  883                   <property name="yalign">0.5</property>
  884                   <property name="xpad">0</property>
  885                   <property name="ypad">0</property>
  886                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  887                   <property name="width_chars">-1</property>
  888                   <property name="single_line_mode">False</property>
  889                   <property name="angle">0</property>
  890                 </widget>
  891                 <packing>
  892                   <property name="padding">0</property>
  893                   <property name="expand">False</property>
  894                   <property name="fill">False</property>
  895                 </packing>
  896               </child>
  897 
  898               <child>
  899                 <widget class="GtkEntry" id="min_size">
  900                   <property name="visible">True</property>
  901                   <property name="tooltip" translatable="yes">Using find -size syntax</property>
  902                   <property name="can_focus">True</property>
  903                   <property name="editable">True</property>
  904                   <property name="visibility">True</property>
  905                   <property name="max_length">0</property>
  906                   <property name="text">1</property>
  907                   <property name="has_frame">True</property>
  908                   <property name="invisible_char">‚óŹ</property>
  909                   <property name="activates_default">False</property>
  910                 </widget>
  911                 <packing>
  912                   <property name="padding">0</property>
  913                   <property name="expand">True</property>
  914                   <property name="fill">True</property>
  915                 </packing>
  916               </child>
  917             </widget>
  918             <packing>
  919               <property name="padding">0</property>
  920               <property name="expand">False</property>
  921               <property name="fill">False</property>
  922             </packing>
  923               </child>
  924 
  925               <child>
  926             <widget class="GtkScrolledWindow" id="scrolledwindow1">
  927               <property name="visible">True</property>
  928               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  929               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  930               <property name="shadow_type">GTK_SHADOW_NONE</property>
  931               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  932 
  933               <child>
  934                 <widget class="GtkCList" id="clist_dups">
  935                   <property name="border_width">1</property>
  936                   <property name="visible">True</property>
  937                   <property name="can_focus">True</property>
  938                   <property name="n_columns">3</property>
  939                   <property name="column_widths">80,180,80</property>
  940                   <property name="selection_mode">GTK_SELECTION_MULTIPLE</property>
  941                   <property name="show_titles">True</property>
  942                   <property name="shadow_type">GTK_SHADOW_IN</property>
  943                   <signal name="button_press_event" handler="on_selection_menu_button_press_event" last_modification_time="Tue, 12 Dec 2006 18:44:16 GMT"/>
  944 
  945                   <child>
  946                 <widget class="GtkLabel" id="label15">
  947                   <property name="label" translatable="yes">Name</property>
  948                   <property name="use_underline">False</property>
  949                   <property name="use_markup">False</property>
  950                   <property name="justify">GTK_JUSTIFY_CENTER</property>
  951                   <property name="wrap">False</property>
  952                   <property name="selectable">False</property>
  953                   <property name="xalign">7.45058015283e-09</property>
  954                   <property name="yalign">0.5</property>
  955                   <property name="xpad">0</property>
  956                   <property name="ypad">0</property>
  957                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  958                   <property name="width_chars">-1</property>
  959                   <property name="single_line_mode">False</property>
  960                   <property name="angle">0</property>
  961                 </widget>
  962                   </child>
  963 
  964                   <child>
  965                 <widget class="GtkLabel" id="label15m">
  966                   <property name="label" translatable="yes">Directory</property>
  967                   <property name="use_underline">False</property>
  968                   <property name="use_markup">False</property>
  969                   <property name="justify">GTK_JUSTIFY_CENTER</property>
  970                   <property name="wrap">False</property>
  971                   <property name="selectable">False</property>
  972                   <property name="xalign">7.45058015283e-09</property>
  973                   <property name="yalign">0.5</property>
  974                   <property name="xpad">0</property>
  975                   <property name="ypad">0</property>
  976                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  977                   <property name="width_chars">-1</property>
  978                   <property name="single_line_mode">False</property>
  979                   <property name="angle">0</property>
  980                 </widget>
  981                   </child>
  982 
  983                   <child>
  984                 <widget class="GtkLabel" id="label16">
  985                   <property name="label" translatable="yes">Date</property>
  986                   <property name="use_underline">False</property>
  987                   <property name="use_markup">False</property>
  988                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  989                   <property name="wrap">False</property>
  990                   <property name="selectable">False</property>
  991                   <property name="xalign">7.45058015283e-09</property>
  992                   <property name="yalign">0.5</property>
  993                   <property name="xpad">0</property>
  994                   <property name="ypad">0</property>
  995                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  996                   <property name="width_chars">-1</property>
  997                   <property name="single_line_mode">False</property>
  998                   <property name="angle">0</property>
  999                 </widget>
 1000                   </child>
 1001                 </widget>
 1002               </child>
 1003             </widget>
 1004             <packing>
 1005               <property name="padding">0</property>
 1006               <property name="expand">True</property>
 1007               <property name="fill">True</property>
 1008             </packing>
 1009               </child>
 1010             </widget>
 1011             <packing>
 1012               <property name="tab_expand">False</property>
 1013               <property name="tab_fill">True</property>
 1014             </packing>
 1015           </child>
 1016 
 1017           <child>
 1018             <widget class="GtkLabel" id="dup">
 1019               <property name="visible">True</property>
 1020               <property name="label" translatable="yes">Duplicates</property>
 1021               <property name="use_underline">False</property>
 1022               <property name="use_markup">False</property>
 1023               <property name="justify">GTK_JUSTIFY_CENTER</property>
 1024               <property name="wrap">False</property>
 1025               <property name="selectable">False</property>
 1026               <property name="xalign">0.5</property>
 1027               <property name="yalign">0.5</property>
 1028               <property name="xpad">0</property>
 1029               <property name="ypad">0</property>
 1030               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1031               <property name="width_chars">-1</property>
 1032               <property name="single_line_mode">False</property>
 1033               <property name="angle">0</property>
 1034             </widget>
 1035             <packing>
 1036               <property name="type">tab</property>
 1037             </packing>
 1038           </child>
 1039 
 1040           <child>
 1041             <widget class="GtkHBox" id="hbox22">
 1042               <property name="visible">True</property>
 1043               <property name="homogeneous">False</property>
 1044               <property name="spacing">0</property>
 1045 
 1046               <child>
 1047             <widget class="GtkVPaned" id="pkg_panes">
 1048               <property name="visible">True</property>
 1049               <property name="can_focus">True</property>
 1050               <property name="position">250</property>
 1051 
 1052               <child>
 1053                 <widget class="GtkScrolledWindow" id="scrolledwindow13">
 1054                   <property name="visible">True</property>
 1055                   <property name="can_focus">True</property>
 1056                   <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 1057                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 1058                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 1059                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 1060 
 1061                   <child>
 1062                 <widget class="GtkCList" id="clist_pkgs">
 1063                   <property name="border_width">1</property>
 1064                   <property name="visible">True</property>
 1065                   <property name="can_focus">True</property>
 1066                   <property name="n_columns">4</property>
 1067                   <property name="column_widths">80,80,80,80</property>
 1068                   <property name="selection_mode">GTK_SELECTION_MULTIPLE</property>
 1069                   <property name="show_titles">True</property>
 1070                   <property name="shadow_type">GTK_SHADOW_IN</property>
 1071                   <signal name="button_press_event" handler="on_clist_pkgs_button_press" last_modification_time="Wed, 11 Jan 2006 08:25:01 GMT"/>
 1072                   <signal name="key_press_event" handler="on_clist_pkgs_key_press" last_modification_time="Wed, 11 Jan 2006 08:54:05 GMT"/>
 1073                   <signal name="select_row" handler="on_clist_pkgs_selection_changed" last_modification_time="Wed, 11 Jan 2006 08:54:05 GMT"/>
 1074                   <signal name="click_column" handler="on_clist_pkgs_click_column" last_modification_time="Wed, 18 Jan 2006 08:45:37 GMT"/>
 1075 
 1076                   <child>
 1077                     <widget class="GtkLabel" id="label68">
 1078                       <property name="label" translatable="yes">Name</property>
 1079                       <property name="use_underline">False</property>
 1080                       <property name="use_markup">False</property>
 1081                       <property name="justify">GTK_JUSTIFY_CENTER</property>
 1082                       <property name="wrap">False</property>
 1083                       <property name="selectable">False</property>
 1084                       <property name="xalign">0</property>
 1085                       <property name="yalign">0.5</property>
 1086                       <property name="xpad">0</property>
 1087                       <property name="ypad">0</property>
 1088                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1089                       <property name="width_chars">-1</property>
 1090                       <property name="single_line_mode">False</property>
 1091                       <property name="angle">0</property>
 1092                     </widget>
 1093                   </child>
 1094 
 1095                   <child>
 1096                     <widget class="GtkLabel" id="label69">
 1097                       <property name="label" translatable="yes">Size</property>
 1098                       <property name="use_underline">False</property>
 1099                       <property name="use_markup">False</property>
 1100                       <property name="justify">GTK_JUSTIFY_RIGHT</property>
 1101                       <property name="wrap">False</property>
 1102                       <property name="selectable">False</property>
 1103                       <property name="xalign">7.45058015283e-09</property>
 1104                       <property name="yalign">0.5</property>
 1105                       <property name="xpad">0</property>
 1106                       <property name="ypad">0</property>
 1107                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1108                       <property name="width_chars">-1</property>
 1109                       <property name="single_line_mode">False</property>
 1110                       <property name="angle">0</property>
 1111                     </widget>
 1112                   </child>
 1113 
 1114                   <child>
 1115                     <widget class="GtkLabel" id="label70">
 1116                       <property name="label">Size_for_Sort</property>
 1117                       <property name="use_underline">False</property>
 1118                       <property name="use_markup">False</property>
 1119                       <property name="justify">GTK_JUSTIFY_RIGHT</property>
 1120                       <property name="wrap">False</property>
 1121                       <property name="selectable">False</property>
 1122                       <property name="xalign">7.45058015283e-09</property>
 1123                       <property name="yalign">0.5</property>
 1124                       <property name="xpad">0</property>
 1125                       <property name="ypad">0</property>
 1126                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1127                       <property name="width_chars">-1</property>
 1128                       <property name="single_line_mode">False</property>
 1129                       <property name="angle">0</property>
 1130                     </widget>
 1131                   </child>
 1132 
 1133                   <child>
 1134                     <widget class="GtkLabel" id="label71">
 1135                       <property name="label">Selection_for_Sort</property>
 1136                       <property name="use_underline">False</property>
 1137                       <property name="use_markup">False</property>
 1138                       <property name="justify">GTK_JUSTIFY_RIGHT</property>
 1139                       <property name="wrap">False</property>
 1140                       <property name="selectable">False</property>
 1141                       <property name="xalign">7.45058015283e-09</property>
 1142                       <property name="yalign">0.5</property>
 1143                       <property name="xpad">0</property>
 1144                       <property name="ypad">0</property>
 1145                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1146                       <property name="width_chars">-1</property>
 1147                       <property name="single_line_mode">False</property>
 1148                       <property name="angle">0</property>
 1149                     </widget>
 1150                   </child>
 1151                 </widget>
 1152                   </child>
 1153                 </widget>
 1154                 <packing>
 1155                   <property name="shrink">True</property>
 1156                   <property name="resize">False</property>
 1157                 </packing>
 1158               </child>
 1159 
 1160               <child>
 1161                 <widget class="GtkScrolledWindow" id="scrolledwindow15">
 1162                   <property name="visible">True</property>
 1163                   <property name="can_focus">True</property>
 1164                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 1165                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 1166                   <property name="shadow_type">GTK_SHADOW_IN</property>
 1167                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 1168 
 1169                   <child>
 1170                 <widget class="GtkTextView" id="pkg_info">
 1171                   <property name="visible">True</property>
 1172                   <property name="can_focus">True</property>
 1173                   <property name="editable">False</property>
 1174                   <property name="overwrite">False</property>
 1175                   <property name="accepts_tab">True</property>
 1176                   <property name="justification">GTK_JUSTIFY_LEFT</property>
 1177                   <property name="wrap_mode">GTK_WRAP_WORD</property>
 1178                   <property name="cursor_visible">True</property>
 1179                   <property name="pixels_above_lines">0</property>
 1180                   <property name="pixels_below_lines">0</property>
 1181                   <property name="pixels_inside_wrap">0</property>
 1182                   <property name="left_margin">0</property>
 1183                   <property name="right_margin">0</property>
 1184                   <property name="indent">0</property>
 1185                   <property name="text" translatable="yes"></property>
 1186                 </widget>
 1187                   </child>
 1188                 </widget>
 1189                 <packing>
 1190                   <property name="shrink">True</property>
 1191                   <property name="resize">True</property>
 1192                 </packing>
 1193               </child>
 1194             </widget>
 1195             <packing>
 1196               <property name="padding">0</property>
 1197               <property name="expand">True</property>
 1198               <property name="fill">True</property>
 1199             </packing>
 1200               </child>
 1201             </widget>
 1202             <packing>
 1203               <property name="tab_expand">False</property>
 1204               <property name="tab_fill">True</property>
 1205             </packing>
 1206           </child>
 1207 
 1208           <child>
 1209             <widget class="GtkLabel" id="lblPackages">
 1210               <property name="visible">True</property>
 1211               <property name="label" translatable="yes">Installed packages</property>
 1212               <property name="use_underline">False</property>
 1213               <property name="use_markup">False</property>
 1214               <property name="justify">GTK_JUSTIFY_LEFT</property>
 1215               <property name="wrap">False</property>
 1216               <property name="selectable">False</property>
 1217               <property name="xalign">0.5</property>
 1218               <property name="yalign">0.5</property>
 1219               <property name="xpad">0</property>
 1220               <property name="ypad">0</property>
 1221               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1222               <property name="width_chars">-1</property>
 1223               <property name="single_line_mode">False</property>
 1224               <property name="angle">0</property>
 1225             </widget>
 1226             <packing>
 1227               <property name="type">tab</property>
 1228             </packing>
 1229           </child>
 1230 
 1231           <child>
 1232             <widget class="GtkVBox" id="vbox4">
 1233               <property name="visible">True</property>
 1234               <property name="homogeneous">False</property>
 1235               <property name="spacing">0</property>
 1236 
 1237               <child>
 1238             <widget class="GtkHBox" id="hbox4">
 1239               <property name="visible">True</property>
 1240               <property name="homogeneous">False</property>
 1241               <property name="spacing">0</property>
 1242 
 1243               <child>
 1244                 <widget class="GtkHBox" id="hbox5">
 1245                   <property name="visible">True</property>
 1246                   <property name="homogeneous">False</property>
 1247                   <property name="spacing">0</property>
 1248 
 1249                   <child>
 1250                 <widget class="GtkLabel" id="lbl_findnl_sensitivity">
 1251                   <property name="visible">True</property>
 1252                   <property name="label" translatable="yes">Sensitivity=</property>
 1253                   <property name="use_underline">False</property>
 1254                   <property name="use_markup">False</property>
 1255                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 1256                   <property name="wrap">False</property>
 1257                   <property name="selectable">False</property>
 1258                   <property name="xalign">0.5</property>
 1259                   <property name="yalign">0.5</property>
 1260                   <property name="xpad">0</property>
 1261                   <property name="ypad">0</property>
 1262                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1263                   <property name="width_chars">-1</property>
 1264                   <property name="single_line_mode">False</property>
 1265                   <property name="angle">0</property>
 1266                 </widget>
 1267                 <packing>
 1268                   <property name="padding">0</property>
 1269                   <property name="expand">False</property>
 1270                   <property name="fill">False</property>
 1271                 </packing>
 1272                   </child>
 1273 
 1274                   <child>
 1275                 <widget class="GtkHScale" id="hscale_findnl_level">
 1276                   <property name="visible">True</property>
 1277                   <property name="can_focus">True</property>
 1278                   <property name="draw_value">True</property>
 1279                   <property name="value_pos">GTK_POS_LEFT</property>
 1280                   <property name="digits">0</property>
 1281                   <property name="update_policy">GTK_UPDATE_CONTINUOUS</property>
 1282                   <property name="inverted">False</property>
 1283                   <property name="adjustment">2 1 5 1 1 1</property>
 1284                 </widget>
 1285                 <packing>
 1286                   <property name="padding">0</property>
 1287                   <property name="expand">True</property>
 1288                   <property name="fill">True</property>
 1289                 </packing>
 1290                   </child>
 1291 
 1292                   <child>
 1293                 <widget class="GtkCheckButton" id="chk_findu8">
 1294                   <property name="visible">True</property>
 1295                   <property name="can_focus">True</property>
 1296                   <property name="label" translatable="yes">invalid UTF8 mode?</property>
 1297                   <property name="use_underline">True</property>
 1298                   <property name="relief">GTK_RELIEF_NORMAL</property>
 1299                   <property name="focus_on_click">True</property>
 1300                   <property name="active">False</property>
 1301                   <property name="inconsistent">False</property>
 1302                   <property name="draw_indicator">True</property>
 1303                   <signal name="toggled" handler="on_chk_findu8_toggled" last_modification_time="Tue, 30 Aug 2005 17:37:33 GMT"/>
 1304                 </widget>
 1305                 <packing>
 1306                   <property name="padding">0</property>
 1307                   <property name="expand">False</property>
 1308                   <property name="fill">False</property>
 1309                   <property name="pack_type">GTK_PACK_END</property>
 1310                 </packing>
 1311                   </child>
 1312                 </widget>
 1313                 <packing>
 1314                   <property name="padding">1</property>
 1315                   <property name="expand">True</property>
 1316                   <property name="fill">True</property>
 1317                 </packing>
 1318               </child>
 1319             </widget>
 1320             <packing>
 1321               <property name="padding">2</property>
 1322               <property name="expand">False</property>
 1323               <property name="fill">False</property>
 1324             </packing>
 1325               </child>
 1326 
 1327               <child>
 1328             <widget class="GtkScrolledWindow" id="scrolledwindow5">
 1329               <property name="visible">True</property>
 1330               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 1331               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 1332               <property name="shadow_type">GTK_SHADOW_NONE</property>
 1333               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 1334 
 1335               <child>
 1336                 <widget class="GtkCList" id="clist_nl">
 1337                   <property name="border_width">1</property>
 1338                   <property name="visible">True</property>
 1339                   <property name="can_focus">True</property>
 1340                   <property name="n_columns">2</property>
 1341                   <property name="column_widths">80,80</property>
 1342                   <property name="selection_mode">GTK_SELECTION_MULTIPLE</property>
 1343                   <property name="show_titles">True</property>
 1344                   <property name="shadow_type">GTK_SHADOW_IN</property>
 1345                   <signal name="button_press_event" handler="on_selection_menu_button_press_event" last_modification_time="Mon, 18 Dec 2006 19:11:43 GMT"/>
 1346 
 1347                   <child>
 1348                 <widget class="GtkLabel" id="label20">
 1349                   <property name="label" translatable="yes">Name</property>
 1350                   <property name="use_underline">False</property>
 1351                   <property name="use_markup">False</property>
 1352                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 1353                   <property name="wrap">False</property>
 1354                   <property name="selectable">False</property>
 1355                   <property name="xalign">7.45058015283e-09</property>
 1356                   <property name="yalign">0.5</property>
 1357                   <property name="xpad">0</property>
 1358                   <property name="ypad">0</property>
 1359                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1360                   <property name="width_chars">-1</property>
 1361                   <property name="single_line_mode">False</property>
 1362                   <property name="angle">0</property>
 1363                 </widget>
 1364                   </child>
 1365 
 1366                   <child>
 1367                 <widget class="GtkLabel" id="label21">
 1368                   <property name="label" translatable="yes">Directory</property>
 1369                   <property name="use_underline">False</property>
 1370                   <property name="use_markup">False</property>
 1371                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 1372                   <property name="wrap">False</property>
 1373                   <property name="selectable">False</property>
 1374                   <property name="xalign">7.45058015283e-09</property>
 1375                   <property name="yalign">0.5</property>
 1376                   <property name="xpad">0</property>
 1377                   <property name="ypad">0</property>
 1378                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1379                   <property name="width_chars">-1</property>
 1380                   <property name="single_line_mode">False</property>
 1381                   <property name="angle">0</property>
 1382                 </widget>
 1383                   </child>
 1384                 </widget>
 1385               </child>
 1386             </widget>
 1387             <packing>
 1388               <property name="padding">0</property>
 1389               <property name="expand">True</property>
 1390               <property name="fill">True</property>
 1391             </packing>
 1392               </child>
 1393             </widget>
 1394             <packing>
 1395               <property name="tab_expand">False</property>
 1396               <property name="tab_fill">True</property>
 1397             </packing>
 1398           </child>
 1399 
 1400           <child>
 1401             <widget class="GtkLabel" id="nl">
 1402               <property name="visible">True</property>
 1403               <property name="label" translatable="yes">Bad names</property>
 1404               <property name="use_underline">False</property>
 1405               <property name="use_markup">False</property>
 1406               <property name="justify">GTK_JUSTIFY_CENTER</property>
 1407               <property name="wrap">False</property>
 1408               <property name="selectable">False</property>
 1409               <property name="xalign">0.5</property>
 1410               <property name="yalign">0.5</property>
 1411               <property name="xpad">0</property>
 1412               <property name="ypad">0</property>
 1413               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1414               <property name="width_chars">-1</property>
 1415               <property name="single_line_mode">False</property>
 1416               <property name="angle">0</property>
 1417             </widget>
 1418             <packing>
 1419               <property name="type">tab</property>
 1420             </packing>
 1421           </child>
 1422 
 1423           <child>
 1424             <widget class="GtkVBox" id="vbox5">
 1425               <property name="visible">True</property>
 1426               <property name="homogeneous">False</property>
 1427               <property name="spacing">0</property>
 1428 
 1429               <child>
 1430             <widget class="GtkHBox" id="hbox_sn">
 1431               <property name="visible">True</property>
 1432               <property name="homogeneous">False</property>
 1433               <property name="spacing">0</property>
 1434 
 1435               <child>
 1436                 <widget class="GtkLabel" id="label28">
 1437                   <property name="visible">True</property>
 1438                   <property name="label" translatable="yes">Search (</property>
 1439                   <property name="use_underline">False</property>
 1440                   <property name="use_markup">False</property>
 1441                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 1442                   <property name="wrap">False</property>
 1443                   <property name="selectable">False</property>
 1444                   <property name="xalign">0.5</property>
 1445                   <property name="yalign">0.5</property>
 1446                   <property name="xpad">0</property>
 1447                   <property name="ypad">0</property>
 1448                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1449                   <property name="width_chars">-1</property>
 1450                   <property name="single_line_mode">False</property>
 1451                   <property name="angle">0</property>
 1452                 </widget>
 1453                 <packing>
 1454                   <property name="padding">0</property>
 1455                   <property name="expand">False</property>
 1456                   <property name="fill">False</property>
 1457                 </packing>
 1458               </child>
 1459 
 1460               <child>
 1461                 <widget class="GtkCheckButton" id="chk_sn_path">
 1462                   <property name="visible">True</property>
 1463                   <property name="can_focus">True</property>
 1464                   <property name="label">$PATH</property>
 1465                   <property name="use_underline">True</property>
 1466                   <property name="relief">GTK_RELIEF_NORMAL</property>
 1467                   <property name="focus_on_click">True</property>
 1468                   <property name="active">True</property>
 1469                   <property name="inconsistent">False</property>
 1470                   <property name="draw_indicator">True</property>
 1471                   <signal name="toggled" handler="on_chk_sn_path_toggled"/>
 1472                 </widget>
 1473                 <packing>
 1474                   <property name="padding">0</property>
 1475                   <property name="expand">False</property>
 1476                   <property name="fill">False</property>
 1477                 </packing>
 1478               </child>
 1479 
 1480               <child>
 1481                 <widget class="GtkLabel" id="label27">
 1482                   <property name="visible">True</property>
 1483                   <property name="label" translatable="yes">) for</property>
 1484                   <property name="use_underline">False</property>
 1485                   <property name="use_markup">False</property>
 1486                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 1487                   <property name="wrap">False</property>
 1488                   <property name="selectable">False</property>
 1489                   <property name="xalign">0.5</property>
 1490                   <property name="yalign">0.5</property>
 1491                   <property name="xpad">0</property>
 1492                   <property name="ypad">0</property>
 1493                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1494                   <property name="width_chars">-1</property>
 1495                   <property name="single_line_mode">False</property>
 1496                   <property name="angle">0</property>
 1497                 </widget>
 1498                 <packing>
 1499                   <property name="padding">0</property>
 1500                   <property name="expand">False</property>
 1501                   <property name="fill">False</property>
 1502                 </packing>
 1503               </child>
 1504 
 1505               <child>
 1506                 <widget class="GtkVBox" id="vbox6">
 1507                   <property name="visible">True</property>
 1508                   <property name="homogeneous">False</property>
 1509                   <property name="spacing">0</property>
 1510 
 1511                   <child>
 1512                 <widget class="GtkHBox" id="hbox_sn_path">
 1513                   <property name="visible">True</property>
 1514                   <property name="homogeneous">False</property>
 1515                   <property name="spacing">0</property>
 1516 
 1517                   <child>
 1518                     <widget class="GtkOptionMenu" id="opt_sn_path">
 1519                       <property name="visible">True</property>
 1520                       <property name="can_focus">True</property>
 1521                       <property name="history">0</property>
 1522 
 1523                       <child internal-child="menu">
 1524                     <widget class="GtkMenu" id="convertwidget9">
 1525                       <property name="visible">True</property>
 1526 
 1527                       <child>
 1528                         <widget class="GtkMenuItem" id="convertwidget11">
 1529                           <property name="visible">True</property>
 1530                           <property name="label" translatable="yes">Conflicting files</property>
 1531                           <property name="use_underline">True</property>
 1532                         </widget>
 1533                       </child>
 1534 
 1535                       <child>
 1536                         <widget class="GtkMenuItem" id="convertwidget10">
 1537                           <property name="visible">True</property>
 1538                           <property name="label" translatable="yes">Aliases</property>
 1539                           <property name="use_underline">True</property>
 1540                         </widget>
 1541                       </child>
 1542                     </widget>
 1543                       </child>
 1544                     </widget>
 1545                     <packing>
 1546                       <property name="padding">0</property>
 1547                       <property name="expand">False</property>
 1548                       <property name="fill">False</property>
 1549                     </packing>
 1550                   </child>
 1551                 </widget>
 1552                 <packing>
 1553                   <property name="padding">0</property>
 1554                   <property name="expand">True</property>
 1555                   <property name="fill">True</property>
 1556                 </packing>
 1557                   </child>
 1558 
 1559                   <child>
 1560                 <widget class="GtkHBox" id="hbox_sn_paths">
 1561                   <property name="homogeneous">False</property>
 1562                   <property name="spacing">0</property>
 1563 
 1564                   <child>
 1565                     <widget class="GtkOptionMenu" id="opt_sn_paths">
 1566                       <property name="visible">True</property>
 1567                       <property name="can_focus">True</property>
 1568                       <property name="history">0</property>
 1569 
 1570                       <child internal-child="menu">
 1571                     <widget class="GtkMenu" id="convertwidget12">
 1572                       <property name="visible">True</property>
 1573 
 1574                       <child>
 1575                         <widget class="GtkMenuItem" id="convertwidget16">
 1576                           <property name="visible">True</property>
 1577                           <property name="label" translatable="yes">Case conflicts</property>
 1578                           <property name="use_underline">True</property>
 1579                         </widget>
 1580                       </child>
 1581 
 1582                       <child>
 1583                         <widget class="GtkMenuItem" id="convertwidget14">
 1584                           <property name="visible">True</property>
 1585                           <property name="label" translatable="yes">Same names</property>
 1586                           <property name="use_underline">True</property>
 1587                         </widget>
 1588                       </child>
 1589 
 1590                       <child>
 1591                         <widget class="GtkMenuItem" id="convertwidget15">
 1592                           <property name="visible">True</property>
 1593                           <property name="label" translatable="yes">Same names(ignore case)</property>
 1594                           <property name="use_underline">True</property>
 1595                         </widget>
 1596                       </child>
 1597 
 1598                       <child>
 1599                         <widget class="GtkMenuItem" id="convertwidget13">
 1600                           <property name="visible">True</property>
 1601                           <property name="label" translatable="yes">Aliases</property>
 1602                           <property name="use_underline">True</property>
 1603                         </widget>
 1604                       </child>
 1605                     </widget>
 1606                       </child>
 1607                     </widget>
 1608                     <packing>
 1609                       <property name="padding">0</property>
 1610                       <property name="expand">False</property>
 1611                       <property name="fill">False</property>
 1612                     </packing>
 1613                   </child>
 1614                 </widget>
 1615                 <packing>
 1616                   <property name="padding">0</property>
 1617                   <property name="expand">True</property>
 1618                   <property name="fill">True</property>
 1619                 </packing>
 1620                   </child>
 1621                 </widget>
 1622                 <packing>
 1623                   <property name="padding">0</property>
 1624                   <property name="expand">True</property>
 1625                   <property name="fill">True</property>
 1626                 </packing>
 1627               </child>
 1628             </widget>
 1629             <packing>
 1630               <property name="padding">0</property>
 1631               <property name="expand">False</property>
 1632               <property name="fill">False</property>
 1633             </packing>
 1634               </child>
 1635 
 1636               <child>
 1637             <widget class="GtkScrolledWindow" id="scrolledwindow6">
 1638               <property name="visible">True</property>
 1639               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 1640               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 1641               <property name="shadow_type">GTK_SHADOW_NONE</property>
 1642               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 1643 
 1644               <child>
 1645                 <widget class="GtkCList" id="clist_sn">
 1646                   <property name="border_width">1</property>
 1647                   <property name="visible">True</property>
 1648                   <property name="can_focus">True</property>
 1649                   <property name="n_columns">3</property>
 1650                   <property name="column_widths">80,80,80</property>
 1651                   <property name="selection_mode">GTK_SELECTION_MULTIPLE</property>
 1652                   <property name="show_titles">True</property>
 1653                   <property name="shadow_type">GTK_SHADOW_IN</property>
 1654                   <signal name="button_press_event" handler="on_selection_menu_button_press_event" last_modification_time="Mon, 18 Dec 2006 19:18:32 GMT"/>
 1655 
 1656                   <child>
 1657                 <widget class="GtkLabel" id="label24">
 1658                   <property name="label" translatable="yes">Name</property>
 1659                   <property name="use_underline">False</property>
 1660                   <property name="use_markup">False</property>
 1661                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 1662                   <property name="wrap">False</property>
 1663                   <property name="selectable">False</property>
 1664                   <property name="xalign">7.45058015283e-09</property>
 1665                   <property name="yalign">0.5</property>
 1666                   <property name="xpad">0</property>
 1667                   <property name="ypad">0</property>
 1668                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1669                   <property name="width_chars">-1</property>
 1670                   <property name="single_line_mode">False</property>
 1671                   <property name="angle">0</property>
 1672                 </widget>
 1673                   </child>
 1674 
 1675                   <child>
 1676                 <widget class="GtkLabel" id="label25">
 1677                   <property name="label" translatable="yes">Directory</property>
 1678                   <property name="use_underline">False</property>
 1679                   <property name="use_markup">False</property>
 1680                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 1681                   <property name="wrap">False</property>
 1682                   <property name="selectable">False</property>
 1683                   <property name="xalign">7.45058015283e-09</property>
 1684                   <property name="yalign">0.5</property>
 1685                   <property name="xpad">0</property>
 1686                   <property name="ypad">0</property>
 1687                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1688                   <property name="width_chars">-1</property>
 1689                   <property name="single_line_mode">False</property>
 1690                   <property name="angle">0</property>
 1691                 </widget>
 1692                   </child>
 1693 
 1694                   <child>
 1695                 <widget class="GtkLabel" id="label26">
 1696                   <property name="label" translatable="yes">Size</property>
 1697                   <property name="use_underline">False</property>
 1698                   <property name="use_markup">False</property>
 1699                   <property name="justify">GTK_JUSTIFY_RIGHT</property>
 1700                   <property name="wrap">False</property>
 1701                   <property name="selectable">False</property>
 1702                   <property name="xalign">7.45058015283e-09</property>
 1703                   <property name="yalign">0.5</property>
 1704                   <property name="xpad">0</property>
 1705                   <property name="ypad">0</property>
 1706                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1707                   <property name="width_chars">-1</property>
 1708                   <property name="single_line_mode">False</property>
 1709                   <property name="angle">0</property>
 1710                 </widget>
 1711                   </child>
 1712                 </widget>
 1713               </child>
 1714             </widget>
 1715             <packing>
 1716               <property name="padding">0</property>
 1717               <property name="expand">True</property>
 1718               <property name="fill">True</property>
 1719             </packing>
 1720               </child>
 1721             </widget>
 1722             <packing>
 1723               <property name="tab_expand">False</property>
 1724               <property name="tab_fill">True</property>
 1725             </packing>
 1726           </child>
 1727 
 1728           <child>
 1729             <widget class="GtkLabel" id="sn">
 1730               <property name="visible">True</property>
 1731               <property name="label" translatable="yes">Name clashes</property>
 1732               <property name="use_underline">False</property>
 1733               <property name="use_markup">False</property>
 1734               <property name="justify">GTK_JUSTIFY_CENTER</property>
 1735               <property name="wrap">False</property>
 1736               <property name="selectable">False</property>
 1737               <property name="xalign">0.5</property>
 1738               <property name="yalign">0.5</property>
 1739               <property name="xpad">0</property>
 1740               <property name="ypad">0</property>
 1741               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1742               <property name="width_chars">-1</property>
 1743               <property name="single_line_mode">False</property>
 1744               <property name="angle">0</property>
 1745             </widget>
 1746             <packing>
 1747               <property name="type">tab</property>
 1748             </packing>
 1749           </child>
 1750 
 1751           <child>
 1752             <widget class="GtkVBox" id="vbox7">
 1753               <property name="visible">True</property>
 1754               <property name="homogeneous">False</property>
 1755               <property name="spacing">0</property>
 1756 
 1757               <child>
 1758             <widget class="GtkHBox" id="hbox6">
 1759               <property name="visible">True</property>
 1760               <property name="homogeneous">False</property>
 1761               <property name="spacing">0</property>
 1762 
 1763               <child>
 1764                 <widget class="GtkCheckButton" id="chk_tf_core">
 1765                   <property name="visible">True</property>
 1766                   <property name="tooltip" translatable="yes">More restrictive search for core files</property>
 1767                   <property name="can_focus">True</property>
 1768                   <property name="label" translatable="yes">core file mode?</property>
 1769                   <property name="use_underline">True</property>
 1770                   <property name="relief">GTK_RELIEF_NORMAL</property>
 1771                   <property name="focus_on_click">True</property>
 1772                   <property name="active">False</property>
 1773                   <property name="inconsistent">False</property>
 1774                   <property name="draw_indicator">True</property>
 1775                 </widget>
 1776                 <packing>
 1777                   <property name="padding">0</property>
 1778                   <property name="expand">False</property>
 1779                   <property name="fill">False</property>
 1780                 </packing>
 1781               </child>
 1782 
 1783               <child>
 1784                 <widget class="GtkHBox" id="hbox7">
 1785                   <property name="visible">True</property>
 1786                   <property name="homogeneous">False</property>
 1787                   <property name="spacing">0</property>
 1788 
 1789                   <child>
 1790                 <widget class="GtkSpinButton" id="spin_tf_core">
 1791                   <property name="visible">True</property>
 1792                   <property name="tooltip" translatable="yes">days</property>
 1793                   <property name="can_focus">True</property>
 1794                   <property name="climb_rate">1</property>
 1795                   <property name="digits">0</property>
 1796                   <property name="numeric">True</property>
 1797                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
 1798                   <property name="snap_to_ticks">False</property>
 1799                   <property name="wrap">False</property>
 1800                   <property name="adjustment">0 0 9999 1 7 0</property>
 1801                 </widget>
 1802                 <packing>
 1803                   <property name="padding">0</property>
 1804                   <property name="expand">False</property>
 1805                   <property name="fill">False</property>
 1806                 </packing>
 1807                   </child>
 1808 
 1809                   <child>
 1810                 <widget class="GtkLabel" id="label33">
 1811                   <property name="visible">True</property>
 1812                   <property name="label" translatable="yes">minimum age</property>
 1813                   <property name="use_underline">False</property>
 1814                   <property name="use_markup">False</property>
 1815                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 1816                   <property name="wrap">False</property>
 1817                   <property name="selectable">False</property>
 1818                   <property name="xalign">0.5</property>
 1819                   <property name="yalign">0.5</property>
 1820                   <property name="xpad">0</property>
 1821                   <property name="ypad">0</property>
 1822                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1823                   <property name="width_chars">-1</property>
 1824                   <property name="single_line_mode">False</property>
 1825                   <property name="angle">0</property>
 1826                 </widget>
 1827                 <packing>
 1828                   <property name="padding">0</property>
 1829                   <property name="expand">False</property>
 1830                   <property name="fill">False</property>
 1831                 </packing>
 1832                   </child>
 1833                 </widget>
 1834                 <packing>
 1835                   <property name="padding">0</property>
 1836                   <property name="expand">True</property>
 1837                   <property name="fill">True</property>
 1838                 </packing>
 1839               </child>
 1840             </widget>
 1841             <packing>
 1842               <property name="padding">0</property>
 1843               <property name="expand">False</property>
 1844               <property name="fill">False</property>
 1845             </packing>
 1846               </child>
 1847 
 1848               <child>
 1849             <widget class="GtkScrolledWindow" id="scrolledwindow7">
 1850               <property name="visible">True</property>
 1851               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 1852               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 1853               <property name="shadow_type">GTK_SHADOW_NONE</property>
 1854               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 1855 
 1856               <child>
 1857                 <widget class="GtkCList" id="clist_tf">
 1858                   <property name="border_width">1</property>
 1859                   <property name="visible">True</property>
 1860                   <property name="can_focus">True</property>
 1861                   <property name="n_columns">4</property>
 1862                   <property name="column_widths">80,80,80,80</property>
 1863                   <property name="selection_mode">GTK_SELECTION_MULTIPLE</property>
 1864                   <property name="show_titles">True</property>
 1865                   <property name="shadow_type">GTK_SHADOW_IN</property>
 1866                   <signal name="button_press_event" handler="on_selection_menu_button_press_event" last_modification_time="Mon, 18 Dec 2006 19:18:52 GMT"/>
 1867 
 1868                   <child>
 1869                 <widget class="GtkLabel" id="label29">
 1870                   <property name="label" translatable="yes">Name</property>
 1871                   <property name="use_underline">False</property>
 1872                   <property name="use_markup">False</property>
 1873                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 1874                   <property name="wrap">False</property>
 1875                   <property name="selectable">False</property>
 1876                   <property name="xalign">7.45058015283e-09</property>
 1877                   <property name="yalign">0.5</property>
 1878                   <property name="xpad">0</property>
 1879                   <property name="ypad">0</property>
 1880                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1881                   <property name="width_chars">-1</property>
 1882                   <property name="single_line_mode">False</property>
 1883                   <property name="angle">0</property>
 1884                 </widget>
 1885                   </child>
 1886 
 1887                   <child>
 1888                 <widget class="GtkLabel" id="label30">
 1889                   <property name="label" translatable="yes">Directory</property>
 1890                   <property name="use_underline">False</property>
 1891                   <property name="use_markup">False</property>
 1892                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 1893                   <property name="wrap">False</property>
 1894                   <property name="selectable">False</property>
 1895                   <property name="xalign">7.45058015283e-09</property>
 1896                   <property name="yalign">0.5</property>
 1897                   <property name="xpad">0</property>
 1898                   <property name="ypad">0</property>
 1899                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1900                   <property name="width_chars">-1</property>
 1901                   <property name="single_line_mode">False</property>
 1902                   <property name="angle">0</property>
 1903                 </widget>
 1904                   </child>
 1905 
 1906                   <child>
 1907                 <widget class="GtkLabel" id="label31">
 1908                   <property name="label" translatable="yes">Size</property>
 1909                   <property name="use_underline">False</property>
 1910                   <property name="use_markup">False</property>
 1911                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 1912                   <property name="wrap">False</property>
 1913                   <property name="selectable">False</property>
 1914                   <property name="xalign">7.45058015283e-09</property>
 1915                   <property name="yalign">0.5</property>
 1916                   <property name="xpad">0</property>
 1917                   <property name="ypad">0</property>
 1918                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1919                   <property name="width_chars">-1</property>
 1920                   <property name="single_line_mode">False</property>
 1921                   <property name="angle">0</property>
 1922                 </widget>
 1923                   </child>
 1924 
 1925                   <child>
 1926                 <widget class="GtkLabel" id="label32">
 1927                   <property name="label" translatable="yes">Date</property>
 1928                   <property name="use_underline">False</property>
 1929                   <property name="use_markup">False</property>
 1930                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 1931                   <property name="wrap">False</property>
 1932                   <property name="selectable">False</property>
 1933                   <property name="xalign">7.45058015283e-09</property>
 1934                   <property name="yalign">0.5</property>
 1935                   <property name="xpad">0</property>
 1936                   <property name="ypad">0</property>
 1937                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1938                   <property name="width_chars">-1</property>
 1939                   <property name="single_line_mode">False</property>
 1940                   <property name="angle">0</property>
 1941                 </widget>
 1942                   </child>
 1943                 </widget>
 1944               </child>
 1945             </widget>
 1946             <packing>
 1947               <property name="padding">0</property>
 1948               <property name="expand">True</property>
 1949               <property name="fill">True</property>
 1950             </packing>
 1951               </child>
 1952             </widget>
 1953             <packing>
 1954               <property name="tab_expand">False</property>
 1955               <property name="tab_fill">True</property>
 1956             </packing>
 1957           </child>
 1958 
 1959           <child>
 1960             <widget class="GtkLabel" id="tf">
 1961               <property name="visible">True</property>
 1962               <property name="label" translatable="yes">Temp files</property>
 1963               <property name="use_underline">False</property>
 1964               <property name="use_markup">False</property>
 1965               <property name="justify">GTK_JUSTIFY_CENTER</property>
 1966               <property name="wrap">False</property>
 1967               <property name="selectable">False</property>
 1968               <property name="xalign">0.5</property>
 1969               <property name="yalign">0.5</property>
 1970               <property name="xpad">0</property>
 1971               <property name="ypad">0</property>
 1972               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 1973               <property name="width_chars">-1</property>
 1974               <property name="single_line_mode">False</property>
 1975               <property name="angle">0</property>
 1976             </widget>
 1977             <packing>
 1978               <property name="type">tab</property>
 1979             </packing>
 1980           </child>
 1981 
 1982           <child>
 1983             <widget class="GtkVBox" id="vbox8">
 1984               <property name="visible">True</property>
 1985               <property name="homogeneous">False</property>
 1986               <property name="spacing">0</property>
 1987 
 1988               <child>
 1989             <widget class="GtkHBox" id="hbox8">
 1990               <property name="visible">True</property>
 1991               <property name="homogeneous">False</property>
 1992               <property name="spacing">0</property>
 1993 
 1994               <child>
 1995                 <widget class="GtkRadioButton" id="opt_bl_dangling">
 1996                   <property name="visible">True</property>
 1997                   <property name="can_focus">True</property>
 1998                   <property name="label" translatable="yes">Dangling</property>
 1999                   <property name="use_underline">True</property>
 2000                   <property name="relief">GTK_RELIEF_NORMAL</property>
 2001                   <property name="focus_on_click">True</property>
 2002                   <property name="active">True</property>
 2003                   <property name="inconsistent">False</property>
 2004                   <property name="draw_indicator">True</property>
 2005                 </widget>
 2006                 <packing>
 2007                   <property name="padding">0</property>
 2008                   <property name="expand">False</property>
 2009                   <property name="fill">False</property>
 2010                 </packing>
 2011               </child>
 2012 
 2013               <child>
 2014                 <widget class="GtkRadioButton" id="opt_bl_suspect">
 2015                   <property name="visible">True</property>
 2016                   <property name="tooltip" translatable="yes">Absolute links to paths within or below the link's directory</property>
 2017                   <property name="can_focus">True</property>
 2018                   <property name="label" translatable="yes">Suspect</property>
 2019                   <property name="use_underline">True</property>
 2020                   <property name="relief">GTK_RELIEF_NORMAL</property>
 2021                   <property name="focus_on_click">True</property>
 2022                   <property name="active">False</property>
 2023                   <property name="inconsistent">False</property>
 2024                   <property name="draw_indicator">True</property>
 2025                   <property name="group">opt_bl_dangling</property>
 2026                 </widget>
 2027                 <packing>
 2028                   <property name="padding">0</property>
 2029                   <property name="expand">False</property>
 2030                   <property name="fill">False</property>
 2031                 </packing>
 2032               </child>
 2033 
 2034               <child>
 2035                 <widget class="GtkRadioButton" id="opt_bl_relative">
 2036                   <property name="visible">True</property>
 2037                   <property name="can_focus">True</property>
 2038                   <property name="label" translatable="yes">Relative</property>
 2039                   <property name="use_underline">True</property>
 2040                   <property name="relief">GTK_RELIEF_NORMAL</property>
 2041                   <property name="focus_on_click">True</property>
 2042                   <property name="active">False</property>
 2043                   <property name="inconsistent">False</property>
 2044                   <property name="draw_indicator">True</property>
 2045                   <property name="group">opt_bl_dangling</property>
 2046                 </widget>
 2047                 <packing>
 2048                   <property name="padding">0</property>
 2049                   <property name="expand">False</property>
 2050                   <property name="fill">False</property>
 2051                 </packing>
 2052               </child>
 2053 
 2054               <child>
 2055                 <widget class="GtkRadioButton" id="opt_bl_absolute">
 2056                   <property name="visible">True</property>
 2057                   <property name="can_focus">True</property>
 2058                   <property name="label" translatable="yes">Absolute</property>
 2059                   <property name="use_underline">True</property>
 2060                   <property name="relief">GTK_RELIEF_NORMAL</property>
 2061                   <property name="focus_on_click">True</property>
 2062                   <property name="active">False</property>
 2063                   <property name="inconsistent">False</property>
 2064                   <property name="draw_indicator">True</property>
 2065                   <property name="group">opt_bl_dangling</property>
 2066                 </widget>
 2067                 <packing>
 2068                   <property name="padding">0</property>
 2069                   <property name="expand">False</property>
 2070                   <property name="fill">False</property>
 2071                 </packing>
 2072               </child>
 2073 
 2074               <child>
 2075                 <widget class="GtkRadioButton" id="opt_bl_redundant">
 2076                   <property name="visible">True</property>
 2077                   <property name="tooltip" translatable="yes">/././. ///// /../ etc.</property>
 2078                   <property name="can_focus">True</property>
 2079                   <property name="label" translatable="yes">Redundant naming</property>
 2080                   <property name="use_underline">True</property>
 2081                   <property name="relief">GTK_RELIEF_NORMAL</property>
 2082                   <property name="focus_on_click">True</property>
 2083                   <property name="active">False</property>
 2084                   <property name="inconsistent">False</property>
 2085                   <property name="draw_indicator">True</property>
 2086                   <property name="group">opt_bl_dangling</property>
 2087                 </widget>
 2088                 <packing>
 2089                   <property name="padding">0</property>
 2090                   <property name="expand">False</property>
 2091                   <property name="fill">False</property>
 2092                 </packing>
 2093               </child>
 2094             </widget>
 2095             <packing>
 2096               <property name="padding">0</property>
 2097               <property name="expand">False</property>
 2098               <property name="fill">False</property>
 2099             </packing>
 2100               </child>
 2101 
 2102               <child>
 2103             <widget class="GtkScrolledWindow" id="scrolledwindow8">
 2104               <property name="visible">True</property>
 2105               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 2106               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 2107               <property name="shadow_type">GTK_SHADOW_NONE</property>
 2108               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 2109 
 2110               <child>
 2111                 <widget class="GtkCList" id="clist_bl">
 2112                   <property name="border_width">1</property>
 2113                   <property name="visible">True</property>
 2114                   <property name="can_focus">True</property>
 2115                   <property name="n_columns">3</property>
 2116                   <property name="column_widths">80,80,80</property>
 2117                   <property name="selection_mode">GTK_SELECTION_MULTIPLE</property>
 2118                   <property name="show_titles">True</property>
 2119                   <property name="shadow_type">GTK_SHADOW_IN</property>
 2120                   <signal name="button_press_event" handler="on_selection_menu_button_press_event" last_modification_time="Mon, 18 Dec 2006 19:19:04 GMT"/>
 2121 
 2122                   <child>
 2123                 <widget class="GtkLabel" id="label34">
 2124                   <property name="label" translatable="yes">Name</property>
 2125                   <property name="use_underline">False</property>
 2126                   <property name="use_markup">False</property>
 2127                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2128                   <property name="wrap">False</property>
 2129                   <property name="selectable">False</property>
 2130                   <property name="xalign">7.45058015283e-09</property>
 2131                   <property name="yalign">0.5</property>
 2132                   <property name="xpad">0</property>
 2133                   <property name="ypad">0</property>
 2134                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2135                   <property name="width_chars">-1</property>
 2136                   <property name="single_line_mode">False</property>
 2137                   <property name="angle">0</property>
 2138                 </widget>
 2139                   </child>
 2140 
 2141                   <child>
 2142                 <widget class="GtkLabel" id="label35">
 2143                   <property name="label" translatable="yes">Directory</property>
 2144                   <property name="use_underline">False</property>
 2145                   <property name="use_markup">False</property>
 2146                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2147                   <property name="wrap">False</property>
 2148                   <property name="selectable">False</property>
 2149                   <property name="xalign">7.45058015283e-09</property>
 2150                   <property name="yalign">0.5</property>
 2151                   <property name="xpad">0</property>
 2152                   <property name="ypad">0</property>
 2153                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2154                   <property name="width_chars">-1</property>
 2155                   <property name="single_line_mode">False</property>
 2156                   <property name="angle">0</property>
 2157                 </widget>
 2158                   </child>
 2159 
 2160                   <child>
 2161                 <widget class="GtkLabel" id="label36">
 2162                   <property name="label" translatable="yes">Target</property>
 2163                   <property name="use_underline">False</property>
 2164                   <property name="use_markup">False</property>
 2165                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2166                   <property name="wrap">False</property>
 2167                   <property name="selectable">False</property>
 2168                   <property name="xalign">7.45058015283e-09</property>
 2169                   <property name="yalign">0.5</property>
 2170                   <property name="xpad">0</property>
 2171                   <property name="ypad">0</property>
 2172                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2173                   <property name="width_chars">-1</property>
 2174                   <property name="single_line_mode">False</property>
 2175                   <property name="angle">0</property>
 2176                 </widget>
 2177                   </child>
 2178                 </widget>
 2179               </child>
 2180             </widget>
 2181             <packing>
 2182               <property name="padding">0</property>
 2183               <property name="expand">True</property>
 2184               <property name="fill">True</property>
 2185             </packing>
 2186               </child>
 2187             </widget>
 2188             <packing>
 2189               <property name="tab_expand">False</property>
 2190               <property name="tab_fill">True</property>
 2191             </packing>
 2192           </child>
 2193 
 2194           <child>
 2195             <widget class="GtkLabel" id="bl">
 2196               <property name="visible">True</property>
 2197               <property name="label" translatable="yes">Bad symlinks</property>
 2198               <property name="use_underline">False</property>
 2199               <property name="use_markup">False</property>
 2200               <property name="justify">GTK_JUSTIFY_CENTER</property>
 2201               <property name="wrap">False</property>
 2202               <property name="selectable">False</property>
 2203               <property name="xalign">0.5</property>
 2204               <property name="yalign">0.5</property>
 2205               <property name="xpad">0</property>
 2206               <property name="ypad">0</property>
 2207               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2208               <property name="width_chars">-1</property>
 2209               <property name="single_line_mode">False</property>
 2210               <property name="angle">0</property>
 2211             </widget>
 2212             <packing>
 2213               <property name="type">tab</property>
 2214             </packing>
 2215           </child>
 2216 
 2217           <child>
 2218             <widget class="GtkVBox" id="vbox2">
 2219               <property name="visible">True</property>
 2220               <property name="homogeneous">False</property>
 2221               <property name="spacing">0</property>
 2222 
 2223               <child>
 2224             <widget class="GtkScrolledWindow" id="scrolledwindow9">
 2225               <property name="visible">True</property>
 2226               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 2227               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 2228               <property name="shadow_type">GTK_SHADOW_NONE</property>
 2229               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 2230 
 2231               <child>
 2232                 <widget class="GtkCList" id="clist_id">
 2233                   <property name="border_width">1</property>
 2234                   <property name="visible">True</property>
 2235                   <property name="can_focus">True</property>
 2236                   <property name="n_columns">6</property>
 2237                   <property name="column_widths">80,80,41,47,80,80</property>
 2238                   <property name="selection_mode">GTK_SELECTION_MULTIPLE</property>
 2239                   <property name="show_titles">True</property>
 2240                   <property name="shadow_type">GTK_SHADOW_IN</property>
 2241                   <signal name="button_press_event" handler="on_selection_menu_button_press_event" last_modification_time="Mon, 18 Dec 2006 19:19:19 GMT"/>
 2242 
 2243                   <child>
 2244                 <widget class="GtkLabel" id="label37">
 2245                   <property name="label" translatable="yes">Name</property>
 2246                   <property name="use_underline">False</property>
 2247                   <property name="use_markup">False</property>
 2248                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2249                   <property name="wrap">False</property>
 2250                   <property name="selectable">False</property>
 2251                   <property name="xalign">1.22935006175e-07</property>
 2252                   <property name="yalign">0.5</property>
 2253                   <property name="xpad">0</property>
 2254                   <property name="ypad">0</property>
 2255                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2256                   <property name="width_chars">-1</property>
 2257                   <property name="single_line_mode">False</property>
 2258                   <property name="angle">0</property>
 2259                 </widget>
 2260                   </child>
 2261 
 2262                   <child>
 2263                 <widget class="GtkLabel" id="label38">
 2264                   <property name="label" translatable="yes">Directory</property>
 2265                   <property name="use_underline">False</property>
 2266                   <property name="use_markup">False</property>
 2267                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2268                   <property name="wrap">False</property>
 2269                   <property name="selectable">False</property>
 2270                   <property name="xalign">7.45058015283e-09</property>
 2271                   <property name="yalign">0.5</property>
 2272                   <property name="xpad">0</property>
 2273                   <property name="ypad">0</property>
 2274                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2275                   <property name="width_chars">-1</property>
 2276                   <property name="single_line_mode">False</property>
 2277                   <property name="angle">0</property>
 2278                 </widget>
 2279                   </child>
 2280 
 2281                   <child>
 2282                 <widget class="GtkLabel" id="label39">
 2283                   <property name="label" translatable="yes">UID</property>
 2284                   <property name="use_underline">False</property>
 2285                   <property name="use_markup">False</property>
 2286                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2287                   <property name="wrap">False</property>
 2288                   <property name="selectable">False</property>
 2289                   <property name="xalign">7.45058015283e-09</property>
 2290                   <property name="yalign">0.5</property>
 2291                   <property name="xpad">0</property>
 2292                   <property name="ypad">0</property>
 2293                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2294                   <property name="width_chars">-1</property>
 2295                   <property name="single_line_mode">False</property>
 2296                   <property name="angle">0</property>
 2297                 </widget>
 2298                   </child>
 2299 
 2300                   <child>
 2301                 <widget class="GtkLabel" id="label40">
 2302                   <property name="label" translatable="yes">GID</property>
 2303                   <property name="use_underline">False</property>
 2304                   <property name="use_markup">False</property>
 2305                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2306                   <property name="wrap">False</property>
 2307                   <property name="selectable">False</property>
 2308                   <property name="xalign">7.45058015283e-09</property>
 2309                   <property name="yalign">0.5</property>
 2310                   <property name="xpad">0</property>
 2311                   <property name="ypad">0</property>
 2312                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2313                   <property name="width_chars">-1</property>
 2314                   <property name="single_line_mode">False</property>
 2315                   <property name="angle">0</property>
 2316                 </widget>
 2317                   </child>
 2318 
 2319                   <child>
 2320                 <widget class="GtkLabel" id="label41">
 2321                   <property name="label" translatable="yes">Size</property>
 2322                   <property name="use_underline">False</property>
 2323                   <property name="use_markup">False</property>
 2324                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2325                   <property name="wrap">False</property>
 2326                   <property name="selectable">False</property>
 2327                   <property name="xalign">7.45058015283e-09</property>
 2328                   <property name="yalign">0.5</property>
 2329                   <property name="xpad">0</property>
 2330                   <property name="ypad">0</property>
 2331                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2332                   <property name="width_chars">-1</property>
 2333                   <property name="single_line_mode">False</property>
 2334                   <property name="angle">0</property>
 2335                 </widget>
 2336                   </child>
 2337 
 2338                   <child>
 2339                 <widget class="GtkLabel" id="label42">
 2340                   <property name="label" translatable="yes">Date</property>
 2341                   <property name="use_underline">False</property>
 2342                   <property name="use_markup">False</property>
 2343                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2344                   <property name="wrap">False</property>
 2345                   <property name="selectable">False</property>
 2346                   <property name="xalign">7.45058015283e-09</property>
 2347                   <property name="yalign">0.5</property>
 2348                   <property name="xpad">0</property>
 2349                   <property name="ypad">0</property>
 2350                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2351                   <property name="width_chars">-1</property>
 2352                   <property name="single_line_mode">False</property>
 2353                   <property name="angle">0</property>
 2354                 </widget>
 2355                   </child>
 2356                 </widget>
 2357               </child>
 2358             </widget>
 2359             <packing>
 2360               <property name="padding">0</property>
 2361               <property name="expand">True</property>
 2362               <property name="fill">True</property>
 2363             </packing>
 2364               </child>
 2365             </widget>
 2366             <packing>
 2367               <property name="tab_expand">False</property>
 2368               <property name="tab_fill">True</property>
 2369             </packing>
 2370           </child>
 2371 
 2372           <child>
 2373             <widget class="GtkLabel" id="id">
 2374               <property name="visible">True</property>
 2375               <property name="label" translatable="yes">Bad IDs</property>
 2376               <property name="use_underline">False</property>
 2377               <property name="use_markup">False</property>
 2378               <property name="justify">GTK_JUSTIFY_CENTER</property>
 2379               <property name="wrap">False</property>
 2380               <property name="selectable">False</property>
 2381               <property name="xalign">0.5</property>
 2382               <property name="yalign">0.5</property>
 2383               <property name="xpad">0</property>
 2384               <property name="ypad">0</property>
 2385               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2386               <property name="width_chars">-1</property>
 2387               <property name="single_line_mode">False</property>
 2388               <property name="angle">0</property>
 2389             </widget>
 2390             <packing>
 2391               <property name="type">tab</property>
 2392             </packing>
 2393           </child>
 2394 
 2395           <child>
 2396             <widget class="GtkScrolledWindow" id="scrolledwindow10">
 2397               <property name="visible">True</property>
 2398               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 2399               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 2400               <property name="shadow_type">GTK_SHADOW_NONE</property>
 2401               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 2402 
 2403               <child>
 2404             <widget class="GtkCList" id="clist_ed">
 2405               <property name="border_width">1</property>
 2406               <property name="visible">True</property>
 2407               <property name="can_focus">True</property>
 2408               <property name="n_columns">3</property>
 2409               <property name="column_widths">80,80,80</property>
 2410               <property name="selection_mode">GTK_SELECTION_MULTIPLE</property>
 2411               <property name="show_titles">True</property>
 2412               <property name="shadow_type">GTK_SHADOW_IN</property>
 2413               <signal name="button_press_event" handler="on_selection_menu_button_press_event" last_modification_time="Mon, 18 Dec 2006 19:19:32 GMT"/>
 2414 
 2415               <child>
 2416                 <widget class="GtkLabel" id="label43">
 2417                   <property name="label" translatable="yes">Name</property>
 2418                   <property name="use_underline">False</property>
 2419                   <property name="use_markup">False</property>
 2420                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2421                   <property name="wrap">False</property>
 2422                   <property name="selectable">False</property>
 2423                   <property name="xalign">7.45058015283e-09</property>
 2424                   <property name="yalign">0.5</property>
 2425                   <property name="xpad">0</property>
 2426                   <property name="ypad">0</property>
 2427                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2428                   <property name="width_chars">-1</property>
 2429                   <property name="single_line_mode">False</property>
 2430                   <property name="angle">0</property>
 2431                 </widget>
 2432               </child>
 2433 
 2434               <child>
 2435                 <widget class="GtkLabel" id="label53">
 2436                   <property name="label" translatable="yes">Directory</property>
 2437                   <property name="use_underline">False</property>
 2438                   <property name="use_markup">False</property>
 2439                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2440                   <property name="wrap">False</property>
 2441                   <property name="selectable">False</property>
 2442                   <property name="xalign">7.45058015283e-09</property>
 2443                   <property name="yalign">0.5</property>
 2444                   <property name="xpad">0</property>
 2445                   <property name="ypad">0</property>
 2446                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2447                   <property name="width_chars">-1</property>
 2448                   <property name="single_line_mode">False</property>
 2449                   <property name="angle">0</property>
 2450                 </widget>
 2451               </child>
 2452 
 2453               <child>
 2454                 <widget class="GtkLabel" id="label44">
 2455                   <property name="label" translatable="yes">Date</property>
 2456                   <property name="use_underline">False</property>
 2457                   <property name="use_markup">False</property>
 2458                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2459                   <property name="wrap">False</property>
 2460                   <property name="selectable">False</property>
 2461                   <property name="xalign">7.45058015283e-09</property>
 2462                   <property name="yalign">0.5</property>
 2463                   <property name="xpad">0</property>
 2464                   <property name="ypad">0</property>
 2465                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2466                   <property name="width_chars">-1</property>
 2467                   <property name="single_line_mode">False</property>
 2468                   <property name="angle">0</property>
 2469                 </widget>
 2470               </child>
 2471             </widget>
 2472               </child>
 2473             </widget>
 2474             <packing>
 2475               <property name="tab_expand">False</property>
 2476               <property name="tab_fill">True</property>
 2477             </packing>
 2478           </child>
 2479 
 2480           <child>
 2481             <widget class="GtkLabel" id="ed">
 2482               <property name="visible">True</property>
 2483               <property name="label" translatable="yes">Empty directories</property>
 2484               <property name="use_underline">False</property>
 2485               <property name="use_markup">False</property>
 2486               <property name="justify">GTK_JUSTIFY_CENTER</property>
 2487               <property name="wrap">False</property>
 2488               <property name="selectable">False</property>
 2489               <property name="xalign">0.5</property>
 2490               <property name="yalign">0.5</property>
 2491               <property name="xpad">0</property>
 2492               <property name="ypad">0</property>
 2493               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2494               <property name="width_chars">-1</property>
 2495               <property name="single_line_mode">False</property>
 2496               <property name="angle">0</property>
 2497             </widget>
 2498             <packing>
 2499               <property name="type">tab</property>
 2500             </packing>
 2501           </child>
 2502 
 2503           <child>
 2504             <widget class="GtkVBox" id="vbox9">
 2505               <property name="visible">True</property>
 2506               <property name="homogeneous">False</property>
 2507               <property name="spacing">0</property>
 2508 
 2509               <child>
 2510             <widget class="GtkCheckButton" id="chk_ns_path">
 2511               <property name="visible">True</property>
 2512               <property name="can_focus">True</property>
 2513               <property name="label" translatable="yes">Search $PATH</property>
 2514               <property name="use_underline">True</property>
 2515               <property name="relief">GTK_RELIEF_NORMAL</property>
 2516               <property name="focus_on_click">True</property>
 2517               <property name="active">True</property>
 2518               <property name="inconsistent">False</property>
 2519               <property name="draw_indicator">True</property>
 2520             </widget>
 2521             <packing>
 2522               <property name="padding">0</property>
 2523               <property name="expand">False</property>
 2524               <property name="fill">False</property>
 2525             </packing>
 2526               </child>
 2527 
 2528               <child>
 2529             <widget class="GtkScrolledWindow" id="scrolledwindow11">
 2530               <property name="visible">True</property>
 2531               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 2532               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 2533               <property name="shadow_type">GTK_SHADOW_NONE</property>
 2534               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 2535 
 2536               <child>
 2537                 <widget class="GtkCList" id="clist_ns">
 2538                   <property name="border_width">1</property>
 2539                   <property name="visible">True</property>
 2540                   <property name="can_focus">True</property>
 2541                   <property name="n_columns">4</property>
 2542                   <property name="column_widths">80,80,80,80</property>
 2543                   <property name="selection_mode">GTK_SELECTION_MULTIPLE</property>
 2544                   <property name="show_titles">True</property>
 2545                   <property name="shadow_type">GTK_SHADOW_IN</property>
 2546                   <signal name="button_press_event" handler="on_selection_menu_button_press_event" last_modification_time="Mon, 18 Dec 2006 19:19:47 GMT"/>
 2547 
 2548                   <child>
 2549                 <widget class="GtkLabel" id="label45">
 2550                   <property name="label" translatable="yes">Name</property>
 2551                   <property name="use_underline">False</property>
 2552                   <property name="use_markup">False</property>
 2553                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2554                   <property name="wrap">False</property>
 2555                   <property name="selectable">False</property>
 2556                   <property name="xalign">0</property>
 2557                   <property name="yalign">0.5</property>
 2558                   <property name="xpad">0</property>
 2559                   <property name="ypad">0</property>
 2560                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2561                   <property name="width_chars">-1</property>
 2562                   <property name="single_line_mode">False</property>
 2563                   <property name="angle">0</property>
 2564                 </widget>
 2565                   </child>
 2566 
 2567                   <child>
 2568                 <widget class="GtkLabel" id="label46">
 2569                   <property name="label" translatable="yes">Directory</property>
 2570                   <property name="use_underline">False</property>
 2571                   <property name="use_markup">False</property>
 2572                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2573                   <property name="wrap">False</property>
 2574                   <property name="selectable">False</property>
 2575                   <property name="xalign">7.45058015283e-09</property>
 2576                   <property name="yalign">0.5</property>
 2577                   <property name="xpad">0</property>
 2578                   <property name="ypad">0</property>
 2579                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2580                   <property name="width_chars">-1</property>
 2581                   <property name="single_line_mode">False</property>
 2582                   <property name="angle">0</property>
 2583                 </widget>
 2584                   </child>
 2585 
 2586                   <child>
 2587                 <widget class="GtkLabel" id="label47">
 2588                   <property name="label" translatable="yes">Size</property>
 2589                   <property name="use_underline">False</property>
 2590                   <property name="use_markup">False</property>
 2591                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2592                   <property name="wrap">False</property>
 2593                   <property name="selectable">False</property>
 2594                   <property name="xalign">7.45058015283e-09</property>
 2595                   <property name="yalign">0.5</property>
 2596                   <property name="xpad">0</property>
 2597                   <property name="ypad">0</property>
 2598                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2599                   <property name="width_chars">-1</property>
 2600                   <property name="single_line_mode">False</property>
 2601                   <property name="angle">0</property>
 2602                 </widget>
 2603                   </child>
 2604 
 2605                   <child>
 2606                 <widget class="GtkLabel" id="label52">
 2607                   <property name="label" translatable="yes">Date</property>
 2608                   <property name="use_underline">False</property>
 2609                   <property name="use_markup">False</property>
 2610                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2611                   <property name="wrap">False</property>
 2612                   <property name="selectable">False</property>
 2613                   <property name="xalign">7.45058015283e-09</property>
 2614                   <property name="yalign">0.5</property>
 2615                   <property name="xpad">0</property>
 2616                   <property name="ypad">0</property>
 2617                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2618                   <property name="width_chars">-1</property>
 2619                   <property name="single_line_mode">False</property>
 2620                   <property name="angle">0</property>
 2621                 </widget>
 2622                   </child>
 2623                 </widget>
 2624               </child>
 2625             </widget>
 2626             <packing>
 2627               <property name="padding">0</property>
 2628               <property name="expand">True</property>
 2629               <property name="fill">True</property>
 2630             </packing>
 2631               </child>
 2632             </widget>
 2633             <packing>
 2634               <property name="tab_expand">False</property>
 2635               <property name="tab_fill">True</property>
 2636             </packing>
 2637           </child>
 2638 
 2639           <child>
 2640             <widget class="GtkLabel" id="ns">
 2641               <property name="visible">True</property>
 2642               <property name="label" translatable="yes">Non stripped binaries</property>
 2643               <property name="use_underline">False</property>
 2644               <property name="use_markup">False</property>
 2645               <property name="justify">GTK_JUSTIFY_CENTER</property>
 2646               <property name="wrap">False</property>
 2647               <property name="selectable">False</property>
 2648               <property name="xalign">0.5</property>
 2649               <property name="yalign">0.5</property>
 2650               <property name="xpad">0</property>
 2651               <property name="ypad">0</property>
 2652               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2653               <property name="width_chars">-1</property>
 2654               <property name="single_line_mode">False</property>
 2655               <property name="angle">0</property>
 2656             </widget>
 2657             <packing>
 2658               <property name="type">tab</property>
 2659             </packing>
 2660           </child>
 2661 
 2662           <child>
 2663             <widget class="GtkVBox" id="vbox10">
 2664               <property name="visible">True</property>
 2665               <property name="homogeneous">False</property>
 2666               <property name="spacing">0</property>
 2667 
 2668               <child>
 2669             <widget class="GtkHBox" id="hbox24">
 2670               <property name="visible">True</property>
 2671               <property name="homogeneous">False</property>
 2672               <property name="spacing">2</property>
 2673 
 2674               <child>
 2675                 <widget class="GtkHBox" id="hbox25">
 2676                   <property name="visible">True</property>
 2677                   <property name="homogeneous">False</property>
 2678                   <property name="spacing">0</property>
 2679 
 2680                   <child>
 2681                 <widget class="GtkCheckButton" id="chkTabs">
 2682                   <property name="visible">True</property>
 2683                   <property name="can_focus">True</property>
 2684                   <property name="relief">GTK_RELIEF_NORMAL</property>
 2685                   <property name="focus_on_click">True</property>
 2686                   <property name="active">False</property>
 2687                   <property name="inconsistent">False</property>
 2688                   <property name="draw_indicator">True</property>
 2689 
 2690                   <child>
 2691                     <widget class="GtkAlignment" id="alignment15">
 2692                       <property name="visible">True</property>
 2693                       <property name="xalign">0.5</property>
 2694                       <property name="yalign">0.5</property>
 2695                       <property name="xscale">0</property>
 2696                       <property name="yscale">0</property>
 2697                       <property name="top_padding">0</property>
 2698                       <property name="bottom_padding">0</property>
 2699                       <property name="left_padding">0</property>
 2700                       <property name="right_padding">0</property>
 2701 
 2702                       <child>
 2703                     <widget class="GtkHBox" id="hbox27">
 2704                       <property name="visible">True</property>
 2705                       <property name="homogeneous">False</property>
 2706                       <property name="spacing">2</property>
 2707 
 2708                       <child>
 2709                         <widget class="GtkImage" id="image14">
 2710                           <property name="visible">True</property>
 2711                           <property name="stock">gtk-indent</property>
 2712                           <property name="icon_size">4</property>
 2713                           <property name="xalign">0.5</property>
 2714                           <property name="yalign">0.5</property>
 2715                           <property name="xpad">0</property>
 2716                           <property name="ypad">0</property>
 2717                         </widget>
 2718                         <packing>
 2719                           <property name="padding">0</property>
 2720                           <property name="expand">False</property>
 2721                           <property name="fill">False</property>
 2722                         </packing>
 2723                       </child>
 2724 
 2725                       <child>
 2726                         <widget class="GtkLabel" id="label73">
 2727                           <property name="visible">True</property>
 2728                           <property name="label" translatable="yes">bad indenting for indent width</property>
 2729                           <property name="use_underline">True</property>
 2730                           <property name="use_markup">False</property>
 2731                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 2732                           <property name="wrap">False</property>
 2733                           <property name="selectable">False</property>
 2734                           <property name="xalign">0.5</property>
 2735                           <property name="yalign">0.5</property>
 2736                           <property name="xpad">0</property>
 2737                           <property name="ypad">0</property>
 2738                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2739                           <property name="width_chars">-1</property>
 2740                           <property name="single_line_mode">False</property>
 2741                           <property name="angle">0</property>
 2742                         </widget>
 2743                         <packing>
 2744                           <property name="padding">0</property>
 2745                           <property name="expand">False</property>
 2746                           <property name="fill">False</property>
 2747                         </packing>
 2748                       </child>
 2749                     </widget>
 2750                       </child>
 2751                     </widget>
 2752                   </child>
 2753                 </widget>
 2754                 <packing>
 2755                   <property name="padding">0</property>
 2756                   <property name="expand">False</property>
 2757                   <property name="fill">False</property>
 2758                 </packing>
 2759                   </child>
 2760 
 2761                   <child>
 2762                 <widget class="GtkSpinButton" id="spinTabs">
 2763                   <property name="visible">True</property>
 2764                   <property name="can_focus">True</property>
 2765                   <property name="climb_rate">1</property>
 2766                   <property name="digits">0</property>
 2767                   <property name="numeric">True</property>
 2768                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
 2769                   <property name="snap_to_ticks">False</property>
 2770                   <property name="wrap">False</property>
 2771                   <property name="adjustment">8 2 16 1 4 0</property>
 2772                 </widget>
 2773                 <packing>
 2774                   <property name="padding">0</property>
 2775                   <property name="expand">False</property>
 2776                   <property name="fill">False</property>
 2777                   <property name="pack_type">GTK_PACK_END</property>
 2778                 </packing>
 2779                   </child>
 2780                 </widget>
 2781                 <packing>
 2782                   <property name="padding">0</property>
 2783                   <property name="expand">False</property>
 2784                   <property name="fill">False</property>
 2785                 </packing>
 2786               </child>
 2787 
 2788               <child>
 2789                 <widget class="GtkCheckButton" id="chkWhitespace">
 2790                   <property name="visible">True</property>
 2791                   <property name="can_focus">True</property>
 2792                   <property name="relief">GTK_RELIEF_NORMAL</property>
 2793                   <property name="focus_on_click">True</property>
 2794                   <property name="active">True</property>
 2795                   <property name="inconsistent">False</property>
 2796                   <property name="draw_indicator">True</property>
 2797 
 2798                   <child>
 2799                 <widget class="GtkAlignment" id="alignment14">
 2800                   <property name="visible">True</property>
 2801                   <property name="xalign">0.5</property>
 2802                   <property name="yalign">0.5</property>
 2803                   <property name="xscale">0</property>
 2804                   <property name="yscale">0</property>
 2805                   <property name="top_padding">0</property>
 2806                   <property name="bottom_padding">0</property>
 2807                   <property name="left_padding">0</property>
 2808                   <property name="right_padding">0</property>
 2809 
 2810                   <child>
 2811                     <widget class="GtkHBox" id="hbox26">
 2812                       <property name="visible">True</property>
 2813                       <property name="homogeneous">False</property>
 2814                       <property name="spacing">2</property>
 2815 
 2816                       <child>
 2817                     <widget class="GtkImage" id="image13">
 2818                       <property name="visible">True</property>
 2819                       <property name="stock">gtk-unindent</property>
 2820                       <property name="icon_size">4</property>
 2821                       <property name="xalign">0.5</property>
 2822                       <property name="yalign">0.5</property>
 2823                       <property name="xpad">0</property>
 2824                       <property name="ypad">0</property>
 2825                     </widget>
 2826                     <packing>
 2827                       <property name="padding">0</property>
 2828                       <property name="expand">False</property>
 2829                       <property name="fill">False</property>
 2830                     </packing>
 2831                       </child>
 2832 
 2833                       <child>
 2834                     <widget class="GtkLabel" id="label72">
 2835                       <property name="visible">True</property>
 2836                       <property name="label" translatable="yes">whitespace at end of line</property>
 2837                       <property name="use_underline">True</property>
 2838                       <property name="use_markup">False</property>
 2839                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 2840                       <property name="wrap">False</property>
 2841                       <property name="selectable">False</property>
 2842                       <property name="xalign">0.5</property>
 2843                       <property name="yalign">0.5</property>
 2844                       <property name="xpad">0</property>
 2845                       <property name="ypad">0</property>
 2846                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2847                       <property name="width_chars">-1</property>
 2848                       <property name="single_line_mode">False</property>
 2849                       <property name="angle">0</property>
 2850                     </widget>
 2851                     <packing>
 2852                       <property name="padding">0</property>
 2853                       <property name="expand">False</property>
 2854                       <property name="fill">False</property>
 2855                     </packing>
 2856                       </child>
 2857                     </widget>
 2858                   </child>
 2859                 </widget>
 2860                   </child>
 2861                 </widget>
 2862                 <packing>
 2863                   <property name="padding">0</property>
 2864                   <property name="expand">False</property>
 2865                   <property name="fill">False</property>
 2866                   <property name="pack_type">GTK_PACK_END</property>
 2867                 </packing>
 2868               </child>
 2869             </widget>
 2870             <packing>
 2871               <property name="padding">0</property>
 2872               <property name="expand">False</property>
 2873               <property name="fill">True</property>
 2874             </packing>
 2875               </child>
 2876 
 2877               <child>
 2878             <widget class="GtkScrolledWindow" id="scrolledwindow12">
 2879               <property name="visible">True</property>
 2880               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 2881               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 2882               <property name="shadow_type">GTK_SHADOW_NONE</property>
 2883               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 2884 
 2885               <child>
 2886                 <widget class="GtkCList" id="clist_rs">
 2887                   <property name="border_width">1</property>
 2888                   <property name="visible">True</property>
 2889                   <property name="can_focus">True</property>
 2890                   <property name="n_columns">4</property>
 2891                   <property name="column_widths">80,80,80,80</property>
 2892                   <property name="selection_mode">GTK_SELECTION_MULTIPLE</property>
 2893                   <property name="show_titles">True</property>
 2894                   <property name="shadow_type">GTK_SHADOW_IN</property>
 2895                   <signal name="button_press_event" handler="on_selection_menu_button_press_event" last_modification_time="Mon, 18 Dec 2006 19:20:00 GMT"/>
 2896 
 2897                   <child>
 2898                 <widget class="GtkLabel" id="label48">
 2899                   <property name="label" translatable="yes">Name</property>
 2900                   <property name="use_underline">False</property>
 2901                   <property name="use_markup">False</property>
 2902                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2903                   <property name="wrap">False</property>
 2904                   <property name="selectable">False</property>
 2905                   <property name="xalign">7.45058015283e-09</property>
 2906                   <property name="yalign">0.5</property>
 2907                   <property name="xpad">0</property>
 2908                   <property name="ypad">0</property>
 2909                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2910                   <property name="width_chars">-1</property>
 2911                   <property name="single_line_mode">False</property>
 2912                   <property name="angle">0</property>
 2913                 </widget>
 2914                   </child>
 2915 
 2916                   <child>
 2917                 <widget class="GtkLabel" id="label49">
 2918                   <property name="label" translatable="yes">Directory</property>
 2919                   <property name="use_underline">False</property>
 2920                   <property name="use_markup">False</property>
 2921                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2922                   <property name="wrap">False</property>
 2923                   <property name="selectable">False</property>
 2924                   <property name="xalign">7.45058015283e-09</property>
 2925                   <property name="yalign">0.5</property>
 2926                   <property name="xpad">0</property>
 2927                   <property name="ypad">0</property>
 2928                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2929                   <property name="width_chars">-1</property>
 2930                   <property name="single_line_mode">False</property>
 2931                   <property name="angle">0</property>
 2932                 </widget>
 2933                   </child>
 2934 
 2935                   <child>
 2936                 <widget class="GtkLabel" id="label50">
 2937                   <property name="label" translatable="yes">Size</property>
 2938                   <property name="use_underline">False</property>
 2939                   <property name="use_markup">False</property>
 2940                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2941                   <property name="wrap">False</property>
 2942                   <property name="selectable">False</property>
 2943                   <property name="xalign">7.45058015283e-09</property>
 2944                   <property name="yalign">0.5</property>
 2945                   <property name="xpad">0</property>
 2946                   <property name="ypad">0</property>
 2947                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2948                   <property name="width_chars">-1</property>
 2949                   <property name="single_line_mode">False</property>
 2950                   <property name="angle">0</property>
 2951                 </widget>
 2952                   </child>
 2953 
 2954                   <child>
 2955                 <widget class="GtkLabel" id="label51">
 2956                   <property name="label" translatable="yes">Date</property>
 2957                   <property name="use_underline">False</property>
 2958                   <property name="use_markup">False</property>
 2959                   <property name="justify">GTK_JUSTIFY_CENTER</property>
 2960                   <property name="wrap">False</property>
 2961                   <property name="selectable">False</property>
 2962                   <property name="xalign">7.45058015283e-09</property>
 2963                   <property name="yalign">0.5</property>
 2964                   <property name="xpad">0</property>
 2965                   <property name="ypad">0</property>
 2966                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 2967                   <property name="width_chars">-1</property>
 2968                   <property name="single_line_mode">False</property>
 2969                   <property name="angle">0</property>
 2970                 </widget>
 2971                   </child>
 2972                 </widget>
 2973               </child>
 2974             </widget>
 2975             <packing>
 2976               <property name="padding">0</property>
 2977               <property name="expand">True</property>
 2978               <property name="fill">True</property>
 2979             </packing>
 2980               </child>
 2981             </widget>
 2982             <packing>
 2983               <property name="tab_expand">False</property>
 2984               <property name="tab_fill">True</property>
 2985             </packing>
 2986           </child>
 2987 
 2988           <child>
 2989             <widget class="GtkLabel" id="rs">
 2990               <property name="visible">True</property>
 2991               <property name="label" translatable="yes">Redundant whitespace</property>
 2992               <property name="use_underline">False</property>
 2993               <property name="use_markup">False</property>
 2994               <property name="justify">GTK_JUSTIFY_CENTER</property>
 2995               <property name="wrap">False</property>
 2996               <property name="selectable">False</property>
 2997               <property name="xalign">0.5</property>
 2998               <property name="yalign">0.5</property>
 2999               <property name="xpad">0</property>
 3000               <property name="ypad">0</property>
 3001               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 3002               <property name="width_chars">-1</property>
 3003               <property name="single_line_mode">False</property>
 3004               <property name="angle">0</property>
 3005             </widget>
 3006             <packing>
 3007               <property name="type">tab</property>
 3008             </packing>
 3009           </child>
 3010         </widget>
 3011         <packing>
 3012           <property name="padding">3</property>
 3013           <property name="expand">True</property>
 3014           <property name="fill">True</property>
 3015         </packing>
 3016           </child>
 3017 
 3018           <child>
 3019         <widget class="GtkHBox" id="hbox20">
 3020           <property name="visible">True</property>
 3021           <property name="homogeneous">False</property>
 3022           <property name="spacing">0</property>
 3023 
 3024           <child>
 3025             <widget class="GtkHBox" id="control_buttons">
 3026               <property name="visible">True</property>
 3027               <property name="homogeneous">False</property>
 3028               <property name="spacing">0</property>
 3029               <signal name="key_press_event" handler="on_control_buttons_keypress" last_modification_time="Wed, 15 Jul 2009 10:32:48 GMT"/>
 3030 
 3031               <child>
 3032             <widget class="GtkButton" id="find">
 3033               <property name="visible">True</property>
 3034               <property name="can_default">True</property>
 3035               <property name="can_focus">True</property>
 3036               <property name="relief">GTK_RELIEF_NORMAL</property>
 3037               <property name="focus_on_click">True</property>
 3038               <signal name="clicked" handler="on_find_clicked"/>
 3039 
 3040               <child>
 3041                 <widget class="GtkAlignment" id="alignment12">
 3042                   <property name="visible">True</property>
 3043                   <property name="xalign">0.5</property>
 3044                   <property name="yalign">0.5</property>
 3045                   <property name="xscale">0</property>
 3046                   <property name="yscale">0</property>
 3047                   <property name="top_padding">0</property>
 3048                   <property name="bottom_padding">0</property>
 3049                   <property name="left_padding">0</property>
 3050                   <property name="right_padding">2</property>
 3051 
 3052                   <child>
 3053                 <widget class="GtkHBox" id="hbox21">
 3054                   <property name="visible">True</property>
 3055                   <property name="homogeneous">False</property>
 3056                   <property name="spacing">2</property>
 3057 
 3058                   <child>
 3059                     <widget class="GtkImage" id="image12">
 3060                       <property name="visible">True</property>
 3061                       <property name="stock">gtk-find</property>
 3062                       <property name="icon_size">4</property>
 3063                       <property name="xalign">0.5</property>
 3064                       <property name="yalign">0.5</property>
 3065                       <property name="xpad">0</property>
 3066                       <property name="ypad">0</property>
 3067                     </widget>
 3068                     <packing>
 3069                       <property name="padding">0</property>
 3070                       <property name="expand">False</property>
 3071                       <property name="fill">False</property>
 3072                     </packing>
 3073                   </child>
 3074 
 3075                   <child>
 3076                     <widget class="GtkLabel" id="label66">
 3077                       <property name="visible">True</property>
 3078                       <property name="label" translatable="yes">Find</property>
 3079                       <property name="use_underline">True</property>
 3080                       <property name="use_markup">False</property>
 3081                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 3082                       <property name="wrap">False</property>
 3083                       <property name="selectable">False</property>
 3084                       <property name="xalign">0.5</property>
 3085                       <property name="yalign">0.5</property>
 3086                       <property name="xpad">0</property>
 3087                       <property name="ypad">0</property>
 3088                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 3089                       <property name="width_chars">-1</property>
 3090                       <property name="single_line_mode">False</property>
 3091                       <property name="angle">0</property>
 3092                     </widget>
 3093                     <packing>
 3094                       <property name="padding">0</property>
 3095                       <property name="expand">False</property>
 3096                       <property name="fill">False</property>
 3097                     </packing>
 3098                   </child>
 3099                 </widget>
 3100                   </child>
 3101                 </widget>
 3102               </child>
 3103             </widget>
 3104             <packing>
 3105               <property name="padding">1</property>
 3106               <property name="expand">False</property>
 3107               <property name="fill">False</property>
 3108             </packing>
 3109               </child>
 3110 
 3111               <child>
 3112             <widget class="GtkButton" id="stop">
 3113               <property name="can_default">True</property>
 3114               <property name="can_focus">True</property>
 3115               <property name="relief">GTK_RELIEF_NORMAL</property>
 3116               <property name="focus_on_click">True</property>
 3117               <signal name="clicked" handler="on_stop_clicked" last_modification_time="Thu, 06 Mar 2003 19:09:18 GMT"/>
 3118 
 3119               <child>
 3120                 <widget class="GtkAlignment" id="alignment4">
 3121                   <property name="visible">True</property>
 3122                   <property name="xalign">0.5</property>
 3123                   <property name="yalign">0.5</property>
 3124                   <property name="xscale">0</property>
 3125                   <property name="yscale">0</property>
 3126                   <property name="top_padding">0</property>
 3127                   <property name="bottom_padding">0</property>
 3128                   <property name="left_padding">0</property>
 3129                   <property name="right_padding">2</property>
 3130 
 3131                   <child>
 3132                 <widget class="GtkHBox" id="hbox12">
 3133                   <property name="visible">True</property>
 3134                   <property name="homogeneous">False</property>
 3135                   <property name="spacing">2</property>
 3136 
 3137                   <child>
 3138                     <widget class="GtkImage" id="image4">
 3139                       <property name="visible">True</property>
 3140                       <property name="stock">gtk-stop</property>
 3141                       <property name="icon_size">4</property>
 3142                       <property name="xalign">0.5</property>
 3143                       <property name="yalign">0.5</property>
 3144                       <property name="xpad">0</property>
 3145                       <property name="ypad">0</property>
 3146                     </widget>
 3147                     <packing>
 3148                       <property name="padding">0</property>
 3149                       <property name="expand">False</property>
 3150                       <property name="fill">False</property>
 3151                     </packing>
 3152                   </child>
 3153 
 3154                   <child>
 3155                     <widget class="GtkLabel" id="label58">
 3156                       <property name="visible">True</property>
 3157                       <property name="label" translatable="yes">Stop</property>
 3158                       <property name="use_underline">True</property>
 3159                       <property name="use_markup">False</property>
 3160                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 3161                       <property name="wrap">False</property>
 3162                       <property name="selectable">False</property>
 3163                       <property name="xalign">0.5</property>
 3164                       <property name="yalign">0.5</property>
 3165                       <property name="xpad">0</property>
 3166                       <property name="ypad">0</property>
 3167                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 3168                       <property name="width_chars">-1</property>
 3169                       <property name="single_line_mode">False</property>
 3170                       <property name="angle">0</property>
 3171                     </widget>
 3172                     <packing>
 3173                       <property name="padding">0</property>
 3174                       <property name="expand">False</property>
 3175                       <property name="fill">False</property>
 3176                     </packing>
 3177                   </child>
 3178                 </widget>
 3179                   </child>
 3180                 </widget>
 3181               </child>
 3182             </widget>
 3183             <packing>
 3184               <property name="padding">1</property>
 3185               <property name="expand">False</property>
 3186               <property name="fill">False</property>
 3187             </packing>
 3188               </child>
 3189 
 3190               <child>
 3191             <widget class="GtkButton" id="pause">
 3192               <property name="can_default">True</property>
 3193               <property name="can_focus">True</property>
 3194               <property name="relief">GTK_RELIEF_NORMAL</property>
 3195               <property name="focus_on_click">True</property>
 3196               <signal name="clicked" handler="on_pause_clicked" last_modification_time="Tue, 07 Jul 2009 21:28:03 GMT"/>
 3197 
 3198               <child>
 3199                 <widget class="GtkAlignment" id="alignment17">
 3200                   <property name="visible">True</property>
 3201                   <property name="xalign">0.5</property>
 3202                   <property name="yalign">0.5</property>
 3203                   <property name="xscale">0</property>
 3204                   <property name="yscale">0</property>
 3205                   <property name="top_padding">0</property>
 3206                   <property name="bottom_padding">0</property>
 3207                   <property name="left_padding">0</property>
 3208                   <property name="right_padding">2</property>
 3209 
 3210                   <child>
 3211                 <widget class="GtkHBox" id="hbox29">
 3212                   <property name="visible">True</property>
 3213                   <property name="homogeneous">False</property>
 3214                   <property name="spacing">2</property>
 3215 
 3216                   <child>
 3217                     <widget class="GtkImage" id="image17">
 3218                       <property name="visible">True</property>
 3219                       <property name="stock">gtk-media-pause</property>
 3220                       <property name="icon_size">4</property>
 3221                       <property name="xalign">0.5</property>
 3222                       <property name="yalign">0.5</property>
 3223                       <property name="xpad">0</property>
 3224                       <property name="ypad">0</property>
 3225                     </widget>
 3226                     <packing>
 3227                       <property name="padding">0</property>
 3228                       <property name="expand">False</property>
 3229                       <property name="fill">False</property>
 3230                     </packing>
 3231                   </child>
 3232 
 3233                   <child>
 3234                     <widget class="GtkLabel" id="label75">
 3235                       <property name="visible">True</property>
 3236                       <property name="label" translatable="yes">Pause</property>
 3237                       <property name="use_underline">True</property>
 3238                       <property name="use_markup">False</property>
 3239                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 3240                       <property name="wrap">False</property>
 3241                       <property name="selectable">False</property>
 3242                       <property name="xalign">0.5</property>
 3243                       <property name="yalign">0.5</property>
 3244                       <property name="xpad">0</property>
 3245                       <property name="ypad">0</property>
 3246                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 3247                       <property name="width_chars">-1</property>
 3248                       <property name="single_line_mode">False</property>
 3249                       <property name="angle">0</property>
 3250                     </widget>
 3251                     <packing>
 3252                       <property name="padding">0</property>
 3253                       <property name="expand">False</property>
 3254                       <property name="fill">False</property>
 3255                     </packing>
 3256                   </child>
 3257                 </widget>
 3258                   </child>
 3259                 </widget>
 3260               </child>
 3261             </widget>
 3262             <packing>
 3263               <property name="padding">1</property>
 3264               <property name="expand">False</property>
 3265               <property name="fill">False</property>
 3266             </packing>
 3267               </child>
 3268 
 3269               <child>
 3270             <widget class="GtkButton" id="resume">
 3271               <property name="can_default">True</property>
 3272               <property name="can_focus">True</property>
 3273               <property name="relief">GTK_RELIEF_NORMAL</property>
 3274               <property name="focus_on_click">True</property>
 3275               <signal name="clicked" handler="on_pause_clicked" last_modification_time="Tue, 07 Jul 2009 21:28:33 GMT"/>
 3276 
 3277               <child>
 3278                 <widget class="GtkAlignment" id="alignment18">
 3279                   <property name="visible">True</property>
 3280                   <property name="xalign">0.5</property>
 3281                   <property name="yalign">0.5</property>
 3282                   <property name="xscale">0</property>
 3283                   <property name="yscale">0</property>
 3284                   <property name="top_padding">0</property>
 3285                   <property name="bottom_padding">0</property>
 3286                   <property name="left_padding">0</property>
 3287                   <property name="right_padding">2</property>
 3288 
 3289                   <child>
 3290                 <widget class="GtkHBox" id="hbox30">
 3291                   <property name="visible">True</property>
 3292                   <property name="homogeneous">False</property>
 3293                   <property name="spacing">2</property>
 3294 
 3295                   <child>
 3296                     <widget class="GtkImage" id="image18">
 3297                       <property name="visible">True</property>
 3298                       <property name="stock">gtk-media-play</property>
 3299                       <property name="icon_size">4</property>
 3300                       <property name="xalign">0.5</property>
 3301                       <property name="yalign">0.5</property>
 3302                       <property name="xpad">0</property>
 3303                       <property name="ypad">0</property>
 3304                     </widget>
 3305                     <packing>
 3306                       <property name="padding">0</property>
 3307                       <property name="expand">False</property>
 3308                       <property name="fill">False</property>
 3309                     </packing>
 3310                   </child>
 3311 
 3312                   <child>
 3313                     <widget class="GtkLabel" id="label76">
 3314                       <property name="visible">True</property>
 3315                       <property name="label" translatable="yes">Resume</property>
 3316                       <property name="use_underline">True</property>
 3317                       <property name="use_markup">False</property>
 3318                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 3319                       <property name="wrap">False</property>
 3320                       <property name="selectable">False</property>
 3321                       <property name="xalign">0.5</property>
 3322                       <property name="yalign">0.5</property>
 3323                       <property name="xpad">0</property>
 3324                       <property name="ypad">0</property>
 3325                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 3326                       <property name="width_chars">-1</property>
 3327                       <property name="single_line_mode">False</property>
 3328                       <property name="angle">0</property>
 3329                     </widget>
 3330                     <packing>
 3331                       <property name="padding">0</property>
 3332                       <property name="expand">False</property>
 3333                       <property name="fill">False</property>
 3334                     </packing>
 3335                   </child>
 3336                 </widget>
 3337                   </child>
 3338                 </widget>
 3339               </child>
 3340             </widget>
 3341             <packing>
 3342               <property name="padding">1</property>
 3343               <property name="expand">False</property>
 3344               <property name="fill">False</property>
 3345             </packing>
 3346               </child>
 3347             </widget>
 3348             <packing>
 3349               <property name="padding">0</property>
 3350               <property name="expand">True</property>
 3351               <property name="fill">True</property>
 3352             </packing>
 3353           </child>
 3354 
 3355           <child>
 3356             <widget class="GtkHButtonBox" id="action_buttons">
 3357               <property name="visible">True</property>
 3358               <property name="layout_style">GTK_BUTTONBOX_END</property>
 3359               <property name="spacing">2</property>
 3360 
 3361               <child>
 3362             <widget class="GtkButton" id="selection">
 3363               <property name="visible">True</property>
 3364               <property name="can_default">True</property>
 3365               <property name="can_focus">True</property>
 3366               <property name="relief">GTK_RELIEF_NORMAL</property>
 3367               <property name="focus_on_click">True</property>
 3368               <signal name="clicked" handler="on_selection_clicked" last_modification_time="Mon, 18 Dec 2006 08:20:59 GMT"/>
 3369 
 3370               <child>
 3371                 <widget class="GtkAlignment" id="alignment5">
 3372                   <property name="visible">True</property>
 3373                   <property name="xalign">0.5</property>
 3374                   <property name="yalign">0.5</property>
 3375                   <property name="xscale">0</property>
 3376                   <property name="yscale">0</property>
 3377                   <property name="top_padding">0</property>
 3378                   <property name="bottom_padding">0</property>
 3379                   <property name="left_padding">0</property>
 3380                   <property name="right_padding">0</property>
 3381 
 3382                   <child>
 3383                 <widget class="GtkHBox" id="hbox13">
 3384                   <property name="visible">True</property>
 3385                   <property name="homogeneous">False</property>
 3386                   <property name="spacing">2</property>
 3387 
 3388                   <child>
 3389                     <widget class="GtkImage" id="image5">
 3390                       <property name="visible">True</property>
 3391                       <property name="stock">gtk-index</property>
 3392                       <property name="icon_size">4</property>
 3393                       <property name="xalign">0.5</property>
 3394                       <property name="yalign">0.5</property>
 3395                       <property name="xpad">0</property>
 3396                       <property name="ypad">0</property>
 3397                     </widget>
 3398                     <packing>
 3399                       <property name="padding">0</property>
 3400                       <property name="expand">False</property>
 3401                       <property name="fill">False</property>
 3402                     </packing>
 3403                   </child>
 3404 
 3405                   <child>
 3406                     <widget class="GtkLabel" id="label59">
 3407                       <property name="visible">True</property>
 3408                       <property name="label" translatable="yes">Select</property>
 3409                       <property name="use_underline">True</property>
 3410                       <property name="use_markup">False</property>
 3411                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 3412                       <property name="wrap">False</property>
 3413                       <property name="selectable">False</property>
 3414                       <property name="xalign">0.5</property>
 3415                       <property name="yalign">0.5</property>
 3416                       <property name="xpad">0</property>
 3417                       <property name="ypad">0</property>
 3418                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 3419                       <property name="width_chars">-1</property>
 3420                       <property name="single_line_mode">False</property>
 3421                       <property name="angle">0</property>
 3422                     </widget>
 3423                     <packing>
 3424                       <property name="padding">0</property>
 3425                       <property name="expand">False</property>
 3426                       <property name="fill">False</property>
 3427                     </packing>
 3428                   </child>
 3429                 </widget>
 3430                   </child>
 3431                 </widget>
 3432               </child>
 3433             </widget>
 3434               </child>
 3435 
 3436               <child>
 3437             <widget class="GtkButton" id="saveAs">
 3438               <property name="visible">True</property>
 3439               <property name="tooltip" translatable="yes">Save (selected) list to file</property>
 3440               <property name="can_default">True</property>
 3441               <property name="can_focus">True</property>
 3442               <property name="relief">GTK_RELIEF_NORMAL</property>
 3443               <property name="focus_on_click">True</property>
 3444               <signal name="clicked" handler="on_saveAs_clicked"/>
 3445 
 3446               <child>
 3447                 <widget class="GtkAlignment" id="alignment6">
 3448                   <property name="visible">True</property>
 3449                   <property name="xalign">0.5</property>
 3450                   <property name="yalign">0.5</property>
 3451                   <property name="xscale">0</property>
 3452                   <property name="yscale">0</property>
 3453                   <property name="top_padding">0</property>
 3454                   <property name="bottom_padding">0</property>
 3455                   <property name="left_padding">0</property>
 3456                   <property name="right_padding">0</property>
 3457 
 3458                   <child>
 3459                 <widget class="GtkHBox" id="hbox14">
 3460                   <property name="visible">True</property>
 3461                   <property name="homogeneous">False</property>
 3462                   <property name="spacing">2</property>
 3463 
 3464                   <child>
 3465                     <widget class="GtkImage" id="image6">
 3466                       <property name="visible">True</property>
 3467                       <property name="stock">gtk-save-as</property>
 3468                       <property name="icon_size">4</property>
 3469                       <property name="xalign">0.5</property>
 3470                       <property name="yalign">0.5</property>
 3471                       <property name="xpad">0</property>
 3472                       <property name="ypad">0</property>
 3473                     </widget>
 3474                     <packing>
 3475                       <property name="padding">0</property>
 3476                       <property name="expand">False</property>
 3477                       <property name="fill">False</property>
 3478                     </packing>
 3479                   </child>
 3480 
 3481                   <child>
 3482                     <widget class="GtkLabel" id="label60">
 3483                       <property name="visible">True</property>
 3484                       <property name="label" translatable="yes">Save</property>
 3485                       <property name="use_underline">True</property>
 3486                       <property name="use_markup">False</property>
 3487                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 3488                       <property name="wrap">False</property>
 3489                       <property name="selectable">False</property>
 3490                       <property name="xalign">0.5</property>
 3491                       <property name="yalign">0.5</property>
 3492                       <property name="xpad">0</property>
 3493                       <property name="ypad">0</property>
 3494                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 3495                       <property name="width_chars">-1</property>
 3496                       <property name="single_line_mode">False</property>
 3497                       <property name="angle">0</property>
 3498                     </widget>
 3499                     <packing>
 3500                       <property name="padding">0</property>
 3501                       <property name="expand">False</property>
 3502                       <property name="fill">False</property>
 3503                     </packing>
 3504                   </child>
 3505                 </widget>
 3506                   </child>
 3507                 </widget>
 3508               </child>
 3509             </widget>
 3510               </child>
 3511 
 3512               <child>
 3513             <widget class="GtkButton" id="delSelected">
 3514               <property name="visible">True</property>
 3515               <property name="tooltip" translatable="yes">selected</property>
 3516               <property name="can_default">True</property>
 3517               <property name="can_focus">True</property>
 3518               <property name="relief">GTK_RELIEF_NORMAL</property>
 3519               <property name="focus_on_click">True</property>
 3520               <signal name="clicked" handler="on_delSelected_clicked"/>
 3521 
 3522               <child>
 3523                 <widget class="GtkAlignment" id="alignment7">
 3524                   <property name="visible">True</property>
 3525                   <property name="xalign">0.5</property>
 3526                   <property name="yalign">0.5</property>
 3527                   <property name="xscale">0</property>
 3528                   <property name="yscale">0</property>
 3529                   <property name="top_padding">0</property>
 3530                   <property name="bottom_padding">0</property>
 3531                   <property name="left_padding">0</property>
 3532                   <property name="right_padding">0</property>
 3533 
 3534                   <child>
 3535                 <widget class="GtkHBox" id="hbox15">
 3536                   <property name="visible">True</property>
 3537                   <property name="homogeneous">False</property>
 3538                   <property name="spacing">2</property>
 3539 
 3540                   <child>
 3541                     <widget class="GtkImage" id="image7">
 3542                       <property name="visible">True</property>
 3543                       <property name="stock">gtk-delete</property>
 3544                       <property name="icon_size">4</property>
 3545                       <property name="xalign">0.5</property>
 3546                       <property name="yalign">0.5</property>
 3547                       <property name="xpad">0</property>
 3548                       <property name="ypad">0</property>
 3549                     </widget>
 3550                     <packing>
 3551                       <property name="padding">0</property>
 3552                       <property name="expand">False</property>
 3553                       <property name="fill">False</property>
 3554                     </packing>
 3555                   </child>
 3556 
 3557                   <child>
 3558                     <widget class="GtkLabel" id="label61">
 3559                       <property name="visible">True</property>
 3560                       <property name="label" translatable="yes">Delete</property>
 3561                       <property name="use_underline">True</property>
 3562                       <property name="use_markup">False</property>
 3563                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 3564                       <property name="wrap">False</property>
 3565                       <property name="selectable">False</property>
 3566                       <property name="xalign">0.5</property>
 3567                       <property name="yalign">0.5</property>
 3568                       <property name="xpad">0</property>
 3569                       <property name="ypad">0</property>
 3570                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 3571                       <property name="width_chars">-1</property>
 3572                       <property name="single_line_mode">False</property>
 3573                       <property name="angle">0</property>
 3574                     </widget>
 3575                     <packing>
 3576                       <property name="padding">0</property>
 3577                       <property name="expand">False</property>
 3578                       <property name="fill">False</property>
 3579                     </packing>
 3580                   </child>
 3581                 </widget>
 3582                   </child>
 3583                 </widget>
 3584               </child>
 3585             </widget>
 3586               </child>
 3587 
 3588               <child>
 3589             <widget class="GtkButton" id="autoMerge">
 3590               <property name="visible">True</property>
 3591               <property name="tooltip" translatable="yes">All (except selected) using hardlinks
 3592 (or symlinks if on a different filesystem)</property>
 3593               <property name="can_default">True</property>
 3594               <property name="can_focus">True</property>
 3595               <property name="relief">GTK_RELIEF_NORMAL</property>
 3596               <property name="focus_on_click">True</property>
 3597               <signal name="clicked" handler="on_autoMerge_clicked"/>
 3598 
 3599               <child>
 3600                 <widget class="GtkAlignment" id="alignment9">
 3601                   <property name="visible">True</property>
 3602                   <property name="xalign">0.5</property>
 3603                   <property name="yalign">0.5</property>
 3604                   <property name="xscale">0</property>
 3605                   <property name="yscale">0</property>
 3606                   <property name="top_padding">0</property>
 3607                   <property name="bottom_padding">0</property>
 3608                   <property name="left_padding">0</property>
 3609                   <property name="right_padding">0</property>
 3610 
 3611                   <child>
 3612                 <widget class="GtkHBox" id="hbox17">
 3613                   <property name="visible">True</property>
 3614                   <property name="homogeneous">False</property>
 3615                   <property name="spacing">2</property>
 3616 
 3617                   <child>
 3618                     <widget class="GtkImage" id="image9">
 3619                       <property name="visible">True</property>
 3620                       <property name="stock">gtk-media-forward</property>
 3621                       <property name="icon_size">4</property>
 3622                       <property name="xalign">0.5</property>
 3623                       <property name="yalign">0.5</property>
 3624                       <property name="xpad">0</property>
 3625                       <property name="ypad">0</property>
 3626                     </widget>
 3627                     <packing>
 3628                       <property name="padding">0</property>
 3629                       <property name="expand">False</property>
 3630                       <property name="fill">False</property>
 3631                     </packing>
 3632                   </child>
 3633 
 3634                   <child>
 3635                     <widget class="GtkLabel" id="label63">
 3636                       <property name="visible">True</property>
 3637                       <property name="label" translatable="yes">Merge</property>
 3638                       <property name="use_underline">True</property>
 3639                       <property name="use_markup">False</property>
 3640                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 3641                       <property name="wrap">False</property>
 3642                       <property name="selectable">False</property>
 3643                       <property name="xalign">0.5</property>
 3644                       <property name="yalign">0.5</property>
 3645                       <property name="xpad">0</property>
 3646                       <property name="ypad">0</property>
 3647                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 3648                       <property name="width_chars">-1</property>
 3649                       <property name="single_line_mode">False</property>
 3650                       <property name="angle">0</property>
 3651                     </widget>
 3652                     <packing>
 3653                       <property name="padding">0</property>
 3654                       <property name="expand">False</property>
 3655                       <property name="fill">False</property>
 3656                     </packing>
 3657                   </child>
 3658                 </widget>
 3659                   </child>
 3660                 </widget>
 3661               </child>
 3662             </widget>
 3663               </child>
 3664 
 3665               <child>
 3666             <widget class="GtkButton" id="autoClean">
 3667               <property name="tooltip" translatable="yes">selected</property>
 3668               <property name="can_default">True</property>
 3669               <property name="can_focus">True</property>
 3670               <property name="relief">GTK_RELIEF_NORMAL</property>
 3671               <property name="focus_on_click">True</property>
 3672               <signal name="clicked" handler="on_autoClean_clicked"/>
 3673 
 3674               <child>
 3675                 <widget class="GtkAlignment" id="alignment8">
 3676                   <property name="visible">True</property>
 3677                   <property name="xalign">0.5</property>
 3678                   <property name="yalign">0.5</property>
 3679                   <property name="xscale">0</property>
 3680                   <property name="yscale">0</property>
 3681                   <property name="top_padding">0</property>
 3682                   <property name="bottom_padding">0</property>
 3683                   <property name="left_padding">0</property>
 3684                   <property name="right_padding">0</property>
 3685 
 3686                   <child>
 3687                 <widget class="GtkHBox" id="hbox16">
 3688                   <property name="visible">True</property>
 3689                   <property name="homogeneous">False</property>
 3690                   <property name="spacing">2</property>
 3691 
 3692                   <child>
 3693                     <widget class="GtkImage" id="image8">
 3694                       <property name="visible">True</property>
 3695                       <property name="stock">gtk-clear</property>
 3696                       <property name="icon_size">4</property>
 3697                       <property name="xalign">0.5</property>
 3698                       <property name="yalign">0.5</property>
 3699                       <property name="xpad">0</property>
 3700                       <property name="ypad">0</property>
 3701                     </widget>
 3702                     <packing>
 3703                       <property name="padding">0</property>
 3704                       <property name="expand">False</property>
 3705                       <property name="fill">False</property>
 3706                     </packing>
 3707                   </child>
 3708 
 3709                   <child>
 3710                     <widget class="GtkLabel" id="label62">
 3711                       <property name="visible">True</property>
 3712                       <property name="label" translatable="yes">Clean</property>
 3713                       <property name="use_underline">True</property>
 3714                       <property name="use_markup">False</property>
 3715                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 3716                       <property name="wrap">False</property>
 3717                       <property name="selectable">False</property>
 3718                       <property name="xalign">0.5</property>
 3719                       <property name="yalign">0.5</property>
 3720                       <property name="xpad">0</property>
 3721                       <property name="ypad">0</property>
 3722                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 3723                       <property name="width_chars">-1</property>
 3724                       <property name="single_line_mode">False</property>
 3725                       <property name="angle">0</property>
 3726                     </widget>
 3727                     <packing>
 3728                       <property name="padding">0</property>
 3729                       <property name="expand">False</property>
 3730                       <property name="fill">False</property>
 3731                     </packing>
 3732                   </child>
 3733                 </widget>
 3734                   </child>
 3735                 </widget>
 3736               </child>
 3737             </widget>
 3738               </child>
 3739 
 3740               <child>
 3741             <widget class="GtkButton" id="autoSymlink">
 3742               <property name="visible">True</property>
 3743               <property name="tooltip" translatable="yes">All (except selected) using symbolic links</property>
 3744               <property name="can_default">True</property>
 3745               <property name="can_focus">True</property>
 3746               <property name="relief">GTK_RELIEF_NORMAL</property>
 3747               <property name="focus_on_click">True</property>
 3748               <signal name="clicked" handler="on_autoSymlink_clicked" last_modification_time="Sat, 21 Jan 2017 13:58:13 GMT"/>
 3749 
 3750               <child>
 3751                 <widget class="GtkAlignment" id="alignment19">
 3752                   <property name="visible">True</property>
 3753                   <property name="xalign">0.5</property>
 3754                   <property name="yalign">0.5</property>
 3755                   <property name="xscale">0</property>
 3756                   <property name="yscale">0</property>
 3757                   <property name="top_padding">0</property>
 3758                   <property name="bottom_padding">0</property>
 3759                   <property name="left_padding">0</property>
 3760                   <property name="right_padding">0</property>
 3761 
 3762                   <child>
 3763                 <widget class="GtkHBox" id="hbox32">
 3764                   <property name="visible">True</property>
 3765                   <property name="homogeneous">False</property>
 3766                   <property name="spacing">2</property>
 3767 
 3768                   <child>
 3769                     <widget class="GtkImage" id="image19">
 3770                       <property name="visible">True</property>
 3771                       <property name="stock">gtk-go-forward</property>
 3772                       <property name="icon_size">4</property>
 3773                       <property name="xalign">0.5</property>
 3774                       <property name="yalign">0.5</property>
 3775                       <property name="xpad">0</property>
 3776                       <property name="ypad">0</property>
 3777                     </widget>
 3778                     <packing>
 3779                       <property name="padding">0</property>
 3780                       <property name="expand">False</property>
 3781                       <property name="fill">False</property>
 3782                     </packing>
 3783                   </child>
 3784 
 3785                   <child>
 3786                     <widget class="GtkLabel" id="label78">
 3787                       <property name="visible">True</property>
 3788                       <property name="label" translatable="yes">Symlink</property>
 3789                       <property name="use_underline">True</property>
 3790                       <property name="use_markup">False</property>
 3791                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 3792                       <property name="wrap">False</property>
 3793                       <property name="selectable">False</property>
 3794                       <property name="xalign">0.5</property>
 3795                       <property name="yalign">0.5</property>
 3796                       <property name="xpad">0</property>
 3797                       <property name="ypad">0</property>
 3798                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 3799                       <property name="width_chars">-1</property>
 3800                       <property name="single_line_mode">False</property>
 3801                       <property name="angle">0</property>
 3802                     </widget>
 3803                     <packing>
 3804                       <property name="padding">0</property>
 3805                       <property name="expand">False</property>
 3806                       <property name="fill">False</property>
 3807                     </packing>
 3808                   </child>
 3809                 </widget>
 3810                   </child>
 3811                 </widget>
 3812               </child>
 3813             </widget>
 3814               </child>
 3815             </widget>
 3816             <packing>
 3817               <property name="padding">0</property>
 3818               <property name="expand">False</property>
 3819               <property name="fill">False</property>
 3820             </packing>
 3821           </child>
 3822         </widget>
 3823         <packing>
 3824           <property name="padding">0</property>
 3825           <property name="expand">False</property>
 3826           <property name="fill">False</property>
 3827         </packing>
 3828           </child>
 3829 
 3830           <child>
 3831         <widget class="GtkScrolledWindow" id="scrolledwindow13">
 3832           <property name="visible">True</property>
 3833           <property name="can_focus">True</property>
 3834           <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 3835           <property name="vscrollbar_policy">GTK_POLICY_NEVER</property>
 3836           <property name="shadow_type">GTK_SHADOW_IN</property>
 3837           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 3838 
 3839           <child>
 3840             <widget class="GtkViewport" id="viewport1">
 3841               <property name="visible">True</property>
 3842               <property name="shadow_type">GTK_SHADOW_NONE</property>
 3843 
 3844               <child>
 3845             <widget class="GtkEntry" id="status">
 3846               <property name="visible">True</property>
 3847               <property name="can_focus">True</property>
 3848               <property name="editable">False</property>
 3849               <property name="visibility">True</property>
 3850               <property name="max_length">0</property>
 3851               <property name="text"></property>
 3852               <property name="has_frame">False</property>
 3853               <property name="invisible_char">*</property>
 3854               <property name="activates_default">False</property>
 3855             </widget>
 3856               </child>
 3857             </widget>
 3858           </child>
 3859         </widget>
 3860         <packing>
 3861           <property name="padding">3</property>
 3862           <property name="expand">False</property>
 3863           <property name="fill">False</property>
 3864         </packing>
 3865           </child>
 3866         </widget>
 3867         <packing>
 3868           <property name="shrink">True</property>
 3869           <property name="resize">True</property>
 3870         </packing>
 3871       </child>
 3872 
 3873       <child>
 3874         <widget class="GtkScrolledWindow" id="scrolledwindow14">
 3875           <property name="visible">True</property>
 3876           <property name="can_focus">True</property>
 3877           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 3878           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 3879           <property name="shadow_type">GTK_SHADOW_IN</property>
 3880           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 3881 
 3882           <child>
 3883         <widget class="GtkTextView" id="errors">
 3884           <property name="visible">True</property>
 3885           <property name="can_focus">True</property>
 3886           <property name="editable">False</property>
 3887           <property name="overwrite">False</property>
 3888           <property name="accepts_tab">True</property>
 3889           <property name="justification">GTK_JUSTIFY_LEFT</property>
 3890           <property name="wrap_mode">GTK_WRAP_NONE</property>
 3891           <property name="cursor_visible">True</property>
 3892           <property name="pixels_above_lines">0</property>
 3893           <property name="pixels_below_lines">0</property>
 3894           <property name="pixels_inside_wrap">0</property>
 3895           <property name="left_margin">0</property>
 3896           <property name="right_margin">0</property>
 3897           <property name="indent">0</property>
 3898           <property name="text" translatable="yes"></property>
 3899         </widget>
 3900           </child>
 3901         </widget>
 3902         <packing>
 3903           <property name="shrink">True</property>
 3904           <property name="resize">True</property>
 3905         </packing>
 3906       </child>
 3907     </widget>
 3908     <packing>
 3909       <property name="padding">3</property>
 3910       <property name="expand">True</property>
 3911       <property name="fill">True</property>
 3912     </packing>
 3913       </child>
 3914     </widget>
 3915   </child>
 3916 </widget>
 3917 
 3918 <widget class="GtkFileChooserDialog" id="PathChoose">
 3919   <property name="border_width">5</property>
 3920   <property name="action">GTK_FILE_CHOOSER_ACTION_SELECT_FOLDER</property>
 3921   <property name="local_only">True</property>
 3922   <property name="select_multiple">False</property>
 3923   <property name="show_hidden">False</property>
 3924   <property name="do_overwrite_confirmation">False</property>
 3925   <property name="title" translatable="yes">Select Path</property>
 3926   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 3927   <property name="window_position">GTK_WIN_POS_NONE</property>
 3928   <property name="modal">True</property>
 3929   <property name="resizable">True</property>
 3930   <property name="destroy_with_parent">False</property>
 3931   <property name="role">GtkFileChooserDialog</property>
 3932   <property name="decorated">True</property>
 3933   <property name="skip_taskbar_hint">False</property>
 3934   <property name="skip_pager_hint">False</property>
 3935   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 3936   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 3937   <property name="focus_on_map">True</property>
 3938   <property name="urgency_hint">False</property>
 3939   <signal name="delete_event" handler="quit" last_modification_time="Mon, 22 Jun 2009 18:33:11 GMT"/>
 3940 
 3941   <child internal-child="vbox">
 3942     <widget class="GtkVBox" id="dialog-vbox2">
 3943       <property name="visible">True</property>
 3944       <property name="homogeneous">False</property>
 3945       <property name="spacing">2</property>
 3946 
 3947       <child internal-child="action_area">
 3948     <widget class="GtkHButtonBox" id="dialog-action_area2">
 3949       <property name="visible">True</property>
 3950       <property name="layout_style">GTK_BUTTONBOX_END</property>
 3951 
 3952       <child>
 3953         <widget class="GtkButton" id="cancel_path">
 3954           <property name="visible">True</property>
 3955           <property name="can_default">True</property>
 3956           <property name="can_focus">True</property>
 3957           <property name="label">gtk-cancel</property>
 3958           <property name="use_stock">True</property>
 3959           <property name="relief">GTK_RELIEF_NORMAL</property>
 3960           <property name="focus_on_click">True</property>
 3961           <property name="response_id">0</property>
 3962           <signal name="clicked" handler="quit" last_modification_time="Mon, 22 Jun 2009 18:30:54 GMT"/>
 3963         </widget>
 3964       </child>
 3965 
 3966       <child>
 3967         <widget class="GtkButton" id="ok_path">
 3968           <property name="visible">True</property>
 3969           <property name="can_default">True</property>
 3970           <property name="has_default">True</property>
 3971           <property name="can_focus">True</property>
 3972           <property name="label">gtk-ok</property>
 3973           <property name="use_stock">True</property>
 3974           <property name="relief">GTK_RELIEF_NORMAL</property>
 3975           <property name="focus_on_click">True</property>
 3976           <property name="response_id">0</property>
 3977           <signal name="clicked" handler="on_ok_clicked" last_modification_time="Tue, 23 Jun 2009 01:04:14 GMT"/>
 3978         </widget>
 3979       </child>
 3980     </widget>
 3981     <packing>
 3982       <property name="padding">0</property>
 3983       <property name="expand">False</property>
 3984       <property name="fill">True</property>
 3985       <property name="pack_type">GTK_PACK_END</property>
 3986     </packing>
 3987       </child>
 3988     </widget>
 3989   </child>
 3990 </widget>
 3991 
 3992 <widget class="GtkDialog" id="UserInteraction">
 3993   <property name="title" translatable="yes"></property>
 3994   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 3995   <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
 3996   <property name="modal">True</property>
 3997   <property name="default_width">150</property>
 3998   <property name="default_height">100</property>
 3999   <property name="resizable">True</property>
 4000   <property name="destroy_with_parent">False</property>
 4001   <property name="decorated">True</property>
 4002   <property name="skip_taskbar_hint">False</property>
 4003   <property name="skip_pager_hint">False</property>
 4004   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 4005   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 4006   <property name="focus_on_map">True</property>
 4007   <property name="urgency_hint">False</property>
 4008   <property name="has_separator">True</property>
 4009   <signal name="destroy" handler="quit"/>
 4010 
 4011   <child internal-child="vbox">
 4012     <widget class="GtkVBox" id="dialog-vbox1">
 4013       <property name="visible">True</property>
 4014       <property name="homogeneous">False</property>
 4015       <property name="spacing">0</property>
 4016 
 4017       <child internal-child="action_area">
 4018     <widget class="GtkHButtonBox" id="dialog-action_area1">
 4019       <property name="visible">True</property>
 4020       <property name="layout_style">GTK_BUTTONBOX_END</property>
 4021 
 4022       <child>
 4023         <placeholder/>
 4024       </child>
 4025     </widget>
 4026     <packing>
 4027       <property name="padding">0</property>
 4028       <property name="expand">True</property>
 4029       <property name="fill">True</property>
 4030       <property name="pack_type">GTK_PACK_END</property>
 4031     </packing>
 4032       </child>
 4033 
 4034       <child>
 4035     <widget class="GtkHBox" id="hbox23">
 4036       <property name="visible">True</property>
 4037       <property name="homogeneous">False</property>
 4038       <property name="spacing">0</property>
 4039 
 4040       <child>
 4041         <widget class="GtkLabel" id="lblmsg">
 4042           <property name="visible">True</property>
 4043           <property name="label" translatable="yes"></property>
 4044           <property name="use_underline">False</property>
 4045           <property name="use_markup">False</property>
 4046           <property name="justify">GTK_JUSTIFY_CENTER</property>
 4047           <property name="wrap">False</property>
 4048           <property name="selectable">False</property>
 4049           <property name="xalign">0.5</property>
 4050           <property name="yalign">0.5</property>
 4051           <property name="xpad">3</property>
 4052           <property name="ypad">0</property>
 4053           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 4054           <property name="width_chars">-1</property>
 4055           <property name="single_line_mode">False</property>
 4056           <property name="angle">0</property>
 4057         </widget>
 4058         <packing>
 4059           <property name="padding">0</property>
 4060           <property name="expand">False</property>
 4061           <property name="fill">False</property>
 4062         </packing>
 4063       </child>
 4064 
 4065       <child>
 4066         <widget class="GtkEntry" id="entry">
 4067           <property name="visible">True</property>
 4068           <property name="can_focus">True</property>
 4069           <property name="editable">True</property>
 4070           <property name="visibility">True</property>
 4071           <property name="max_length">0</property>
 4072           <property name="text" translatable="yes"></property>
 4073           <property name="has_frame">True</property>
 4074           <property name="invisible_char">*</property>
 4075           <property name="activates_default">True</property>
 4076         </widget>
 4077         <packing>
 4078           <property name="padding">0</property>
 4079           <property name="expand">True</property>
 4080           <property name="fill">True</property>
 4081           <property name="pack_type">GTK_PACK_END</property>
 4082         </packing>
 4083       </child>
 4084     </widget>
 4085     <packing>
 4086       <property name="padding">3</property>
 4087       <property name="expand">True</property>
 4088       <property name="fill">True</property>
 4089     </packing>
 4090       </child>
 4091 
 4092       <child>
 4093     <widget class="GtkAlignment" id="alignment13">
 4094       <property name="visible">True</property>
 4095       <property name="xalign">1</property>
 4096       <property name="yalign">0.5</property>
 4097       <property name="xscale">0</property>
 4098       <property name="yscale">1</property>
 4099       <property name="top_padding">0</property>
 4100       <property name="bottom_padding">0</property>
 4101       <property name="left_padding">0</property>
 4102       <property name="right_padding">6</property>
 4103 
 4104       <child>
 4105         <widget class="GtkCheckButton" id="chkAgain">
 4106           <property name="label" translatable="yes">ask me this in future?</property>
 4107           <property name="use_underline">True</property>
 4108           <property name="relief">GTK_RELIEF_NORMAL</property>
 4109           <property name="focus_on_click">False</property>
 4110           <property name="active">True</property>
 4111           <property name="inconsistent">False</property>
 4112           <property name="draw_indicator">True</property>
 4113         </widget>
 4114       </child>
 4115     </widget>
 4116     <packing>
 4117       <property name="padding">2</property>
 4118       <property name="expand">False</property>
 4119       <property name="fill">False</property>
 4120       <property name="pack_type">GTK_PACK_END</property>
 4121     </packing>
 4122       </child>
 4123     </widget>
 4124   </child>
 4125 </widget>
 4126 
 4127 </glade-interface>