gtk/glade/avt.glade

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
   3 <!--Generated with glade3 3.4.0 on Mon Apr  7 11:28:20 2008 -->
   4 <glade-interface>
   5   <widget class="GtkWindow" id="avt">
   6     <property name="width_request">800</property>
   7     <property name="height_request">600</property>
   8     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   9     <property name="title" translatable="yes">Alignment Visualization Tool</property>
  10     <property name="role">main_window</property>
  11     <property name="default_width">800</property>
  12     <property name="default_height">600</property>
  13     <child>
  14       <widget class="GtkVBox" id="vbox1">
  15         <property name="visible">True</property>
  16         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  17         <child>
  18           <widget class="GtkMenuBar" id="menubar">
  19             <property name="visible">True</property>
  20             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  21             <child>
  22               <widget class="GtkMenuItem" id="menuitem1">
  23                 <property name="visible">True</property>
  24                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  25                 <property name="label" translatable="yes">_File</property>
  26                 <property name="use_underline">True</property>
  27                 <child>
  28                   <widget class="GtkMenu" id="menu1">
  29                     <property name="visible">True</property>
  30                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  31                     <child>
  32                       <widget class="GtkImageMenuItem" id="open">
  33                         <property name="visible">True</property>
  34                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  35                         <property name="label" translatable="yes">gtk-open</property>
  36                         <property name="use_underline">True</property>
  37                         <property name="use_stock">True</property>
  38                       </widget>
  39                     </child>
  40                     <child>
  41                       <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">
  42                         <property name="visible">True</property>
  43                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  44                       </widget>
  45                     </child>
  46                     <child>
  47                       <widget class="GtkImageMenuItem" id="quit">
  48                         <property name="visible">True</property>
  49                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  50                         <property name="label" translatable="yes">gtk-quit</property>
  51                         <property name="use_underline">True</property>
  52                         <property name="use_stock">True</property>
  53                       </widget>
  54                     </child>
  55                   </widget>
  56                 </child>
  57               </widget>
  58             </child>
  59           </widget>
  60           <packing>
  61             <property name="expand">False</property>
  62           </packing>
  63         </child>
  64         <child>
  65           <widget class="GtkVPaned" id="vpaned1">
  66             <property name="visible">True</property>
  67             <property name="can_focus">True</property>
  68             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  69             <child>
  70               <widget class="GtkNotebook" id="vis_notebook">
  71                 <property name="height_request">350</property>
  72                 <property name="visible">True</property>
  73                 <property name="can_focus">True</property>
  74                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  75                 <child>
  76                   <widget class="GtkViewport" id="viewport1">
  77                     <property name="visible">True</property>
  78                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  79                     <property name="resize_mode">GTK_RESIZE_QUEUE</property>
  80                     <child>
  81                       <widget class="GtkEventBox" id="canvas_eventbox">
  82                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_KEY_PRESS_MASK | GDK_KEY_RELEASE_MASK</property>
  83                         <property name="visible_window">False</property>
  84                         <child>
  85                           <widget class="GtkScrolledWindow" id="scrolledwindow6">
  86                             <property name="visible">True</property>
  87                             <property name="can_focus">True</property>
  88                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  89                             <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  90                             <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  91                             <child>
  92                               <widget class="GtkLayout" id="canvas">
  93                                 <property name="visible">True</property>
  94                                 <property name="can_focus">True</property>
  95                                 <property name="has_focus">True</property>
  96                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  97                               </widget>
  98                             </child>
  99                           </widget>
 100                         </child>
 101                       </widget>
 102                     </child>
 103                   </widget>
 104                 </child>
 105                 <child>
 106                   <widget class="GtkLabel" id="line_label">
 107                     <property name="visible">True</property>
 108                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 109                     <property name="label" translatable="yes">Line</property>
 110                   </widget>
 111                   <packing>
 112                     <property name="type">tab</property>
 113                     <property name="tab_fill">False</property>
 114                   </packing>
 115                 </child>
 116               </widget>
 117               <packing>
 118                 <property name="resize">False</property>
 119                 <property name="shrink">False</property>
 120               </packing>
 121             </child>
 122             <child>
 123               <widget class="GtkHBox" id="info_box">
 124                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 125                 <property name="no_show_all">True</property>
 126                 <child>
 127                   <widget class="GtkNotebook" id="stats_notebook">
 128                     <property name="visible">True</property>
 129                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 130                     <child>
 131                       <widget class="GtkScrolledWindow" id="scrolledwindow1">
 132                         <property name="visible">True</property>
 133                         <property name="can_focus">False</property>
 134                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 135                         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 136                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 137                         <property name="shadow_type">GTK_SHADOW_IN</property>
 138                         <child>
 139                           <widget class="GtkTreeView" id="stats_treeview">
 140                             <property name="visible">True</property>
 141                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 142                             <property name="headers_visible">False</property>
 143                             <property name="headers_clickable">True</property>
 144                             <property name="enable_search">False</property>
 145                             <property name="enable_grid_lines">GTK_TREE_VIEW_GRID_LINES_BOTH</property>
 146                           </widget>
 147                         </child>
 148                       </widget>
 149                     </child>
 150                     <child>
 151                       <widget class="GtkLabel" id="stats_label">
 152                         <property name="visible">True</property>
 153                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 154                         <property name="label" translatable="yes">Stats</property>
 155                       </widget>
 156                       <packing>
 157                         <property name="type">tab</property>
 158                         <property name="tab_fill">False</property>
 159                       </packing>
 160                     </child>
 161                   </widget>
 162                 </child>
 163                 <child>
 164                   <widget class="GtkNotebook" id="td_notebook">
 165                     <property name="visible">True</property>
 166                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 167                     <child>
 168                       <widget class="GtkScrolledWindow" id="scrolledwindow2">
 169                         <property name="visible">True</property>
 170                         <property name="can_focus">False</property>
 171                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 172                         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 173                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 174                         <property name="shadow_type">GTK_SHADOW_IN</property>
 175                         <child>
 176                           <widget class="GtkTreeView" id="trans_treeview">
 177                             <property name="visible">True</property>
 178                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 179                             <property name="headers_clickable">True</property>
 180                             <property name="enable_search">False</property>
 181                             <property name="enable_grid_lines">GTK_TREE_VIEW_GRID_LINES_BOTH</property>
 182                           </widget>
 183                         </child>
 184                       </widget>
 185                     </child>
 186                     <child>
 187                       <widget class="GtkLabel" id="trans_label">
 188                         <property name="visible">True</property>
 189                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 190                         <property name="label" translatable="yes">Translation</property>
 191                       </widget>
 192                       <packing>
 193                         <property name="type">tab</property>
 194                         <property name="tab_fill">False</property>
 195                       </packing>
 196                     </child>
 197                     <child>
 198                       <widget class="GtkScrolledWindow" id="scrolledwindow3">
 199                         <property name="visible">True</property>
 200                         <property name="can_focus">False</property>
 201                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 202                         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 203                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 204                         <property name="shadow_type">GTK_SHADOW_IN</property>
 205                         <child>
 206                           <widget class="GtkTreeView" id="dist_treeview">
 207                             <property name="visible">True</property>
 208                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 209                             <property name="headers_clickable">True</property>
 210                             <property name="enable_search">False</property>
 211                             <property name="enable_grid_lines">GTK_TREE_VIEW_GRID_LINES_BOTH</property>
 212                           </widget>
 213                         </child>
 214                       </widget>
 215                       <packing>
 216                         <property name="position">1</property>
 217                       </packing>
 218                     </child>
 219                     <child>
 220                       <widget class="GtkLabel" id="dist_label">
 221                         <property name="visible">True</property>
 222                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 223                         <property name="label" translatable="yes">Distortion</property>
 224                       </widget>
 225                       <packing>
 226                         <property name="type">tab</property>
 227                         <property name="position">1</property>
 228                         <property name="tab_fill">False</property>
 229                       </packing>
 230                     </child>
 231                   </widget>
 232                   <packing>
 233                     <property name="position">1</property>
 234                   </packing>
 235                 </child>
 236                 <child>
 237                   <widget class="GtkNotebook" id="nf_notebook">
 238                     <property name="visible">True</property>
 239                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 240                     <child>
 241                       <widget class="GtkScrolledWindow" id="scrolledwindow4">
 242                         <property name="visible">True</property>
 243                         <property name="can_focus">False</property>
 244                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 245                         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 246                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 247                         <property name="shadow_type">GTK_SHADOW_IN</property>
 248                         <child>
 249                           <widget class="GtkTreeView" id="ngram_treeview">
 250                             <property name="visible">True</property>
 251                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 252                             <property name="headers_clickable">True</property>
 253                             <property name="enable_search">False</property>
 254                             <property name="enable_grid_lines">GTK_TREE_VIEW_GRID_LINES_BOTH</property>
 255                           </widget>
 256                         </child>
 257                       </widget>
 258                     </child>
 259                     <child>
 260                       <widget class="GtkLabel" id="ngram_label">
 261                         <property name="visible">True</property>
 262                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 263                         <property name="label" translatable="yes">N-gram</property>
 264                       </widget>
 265                       <packing>
 266                         <property name="type">tab</property>
 267                         <property name="tab_fill">False</property>
 268                       </packing>
 269                     </child>
 270                     <child>
 271                       <widget class="GtkScrolledWindow" id="scrolledwindow5">
 272                         <property name="visible">True</property>
 273                         <property name="can_focus">False</property>
 274                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 275                         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 276                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 277                         <property name="shadow_type">GTK_SHADOW_IN</property>
 278                         <child>
 279                           <widget class="GtkTreeView" id="fert_treeview">
 280                             <property name="visible">True</property>
 281                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 282                             <property name="headers_clickable">True</property>
 283                             <property name="enable_search">False</property>
 284                             <property name="enable_grid_lines">GTK_TREE_VIEW_GRID_LINES_BOTH</property>
 285                           </widget>
 286                         </child>
 287                       </widget>
 288                       <packing>
 289                         <property name="position">1</property>
 290                       </packing>
 291                     </child>
 292                     <child>
 293                       <widget class="GtkLabel" id="fert_label">
 294                         <property name="visible">True</property>
 295                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 296                         <property name="label" translatable="yes">Fertility</property>
 297                       </widget>
 298                       <packing>
 299                         <property name="type">tab</property>
 300                         <property name="position">1</property>
 301                         <property name="tab_fill">False</property>
 302                       </packing>
 303                     </child>
 304                   </widget>
 305                   <packing>
 306                     <property name="position">2</property>
 307                   </packing>
 308                 </child>
 309               </widget>
 310               <packing>
 311                 <property name="resize">True</property>
 312                 <property name="shrink">True</property>
 313               </packing>
 314             </child>
 315           </widget>
 316           <packing>
 317             <property name="position">1</property>
 318           </packing>
 319         </child>
 320       </widget>
 321     </child>
 322   </widget>
 323   <widget class="GtkFileChooserDialog" id="file_chooser_dialog">
 324     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 325     <property name="border_width">5</property>
 326     <property name="title" translatable="yes">Open alignment file</property>
 327     <property name="role">file_chooser_dialog</property>
 328     <property name="modal">True</property>
 329     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
 330     <property name="destroy_with_parent">True</property>
 331     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 332     <property name="has_separator">False</property>
 333     <child internal-child="vbox">
 334       <widget class="GtkVBox" id="dialog-vbox1">
 335         <property name="visible">True</property>
 336         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 337         <property name="spacing">2</property>
 338         <child internal-child="action_area">
 339           <widget class="GtkHButtonBox" id="dialog-action_area1">
 340             <property name="visible">True</property>
 341             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 342             <property name="layout_style">GTK_BUTTONBOX_END</property>
 343             <child>
 344               <placeholder/>
 345             </child>
 346             <child>
 347               <placeholder/>
 348             </child>
 349           </widget>
 350           <packing>
 351             <property name="expand">False</property>
 352             <property name="pack_type">GTK_PACK_END</property>
 353           </packing>
 354         </child>
 355       </widget>
 356     </child>
 357   </widget>
 358   <widget class="GtkDialog" id="opacity_adjustment_dialog">
 359     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 360     <property name="border_width">5</property>
 361     <property name="title" translatable="yes">Opacity Adjustment</property>
 362     <property name="modal">True</property>
 363     <property name="window_position">GTK_WIN_POS_MOUSE</property>
 364     <property name="destroy_with_parent">True</property>
 365     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 366     <property name="has_separator">False</property>
 367     <child internal-child="vbox">
 368       <widget class="GtkVBox" id="dialog-vbox2">
 369         <property name="visible">True</property>
 370         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 371         <property name="spacing">2</property>
 372         <child>
 373           <widget class="GtkTable" id="table1">
 374             <property name="visible">True</property>
 375             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 376             <property name="n_rows">2</property>
 377             <property name="n_columns">2</property>
 378             <property name="column_spacing">5</property>
 379             <child>
 380               <widget class="GtkLabel" id="label1">
 381                 <property name="visible">True</property>
 382                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 383                 <property name="label" translatable="yes">Presets:</property>
 384                 <property name="single_line_mode">True</property>
 385               </widget>
 386               <packing>
 387                 <property name="y_options">GTK_FILL</property>
 388               </packing>
 389             </child>
 390             <child>
 391               <widget class="GtkLabel" id="label2">
 392                 <property name="visible">True</property>
 393                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 394                 <property name="label" translatable="yes">Manual Adjustment:</property>
 395                 <property name="single_line_mode">True</property>
 396               </widget>
 397               <packing>
 398                 <property name="top_attach">1</property>
 399                 <property name="bottom_attach">2</property>
 400                 <property name="y_options">GTK_FILL</property>
 401               </packing>
 402             </child>
 403             <child>
 404               <widget class="GtkVBox" id="vbox2">
 405                 <property name="visible">True</property>
 406                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 407                 <child>
 408                   <widget class="GtkHScale" id="opacity_scale">
 409                     <property name="visible">True</property>
 410                     <property name="can_focus">True</property>
 411                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 412                     <property name="adjustment">0 -1 1 1 0.20000000000000001 0</property>
 413                     <property name="digits">2</property>
 414                   </widget>
 415                   <packing>
 416                     <property name="expand">False</property>
 417                   </packing>
 418                 </child>
 419                 <child>
 420                   <widget class="GtkHBox" id="hbox1">
 421                     <property name="visible">True</property>
 422                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 423                     <property name="spacing">10</property>
 424                     <child>
 425                       <widget class="GtkLabel" id="label3">
 426                         <property name="visible">True</property>
 427                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 428                         <property name="label" translatable="yes">Leaves</property>
 429                         <property name="single_line_mode">True</property>
 430                       </widget>
 431                       <packing>
 432                         <property name="expand">False</property>
 433                       </packing>
 434                     </child>
 435                     <child>
 436                       <widget class="GtkLabel" id="label4">
 437                         <property name="visible">True</property>
 438                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 439                         <property name="label" translatable="yes">Both</property>
 440                         <property name="justify">GTK_JUSTIFY_CENTER</property>
 441                         <property name="single_line_mode">True</property>
 442                       </widget>
 443                       <packing>
 444                         <property name="position">1</property>
 445                       </packing>
 446                     </child>
 447                     <child>
 448                       <widget class="GtkLabel" id="label5">
 449                         <property name="visible">True</property>
 450                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 451                         <property name="label" translatable="yes">Root</property>
 452                         <property name="single_line_mode">True</property>
 453                       </widget>
 454                       <packing>
 455                         <property name="expand">False</property>
 456                         <property name="position">2</property>
 457                       </packing>
 458                     </child>
 459                   </widget>
 460                   <packing>
 461                     <property name="expand">False</property>
 462                     <property name="position">1</property>
 463                   </packing>
 464                 </child>
 465               </widget>
 466               <packing>
 467                 <property name="left_attach">1</property>
 468                 <property name="right_attach">2</property>
 469                 <property name="top_attach">1</property>
 470                 <property name="bottom_attach">2</property>
 471                 <property name="y_options">GTK_FILL</property>
 472               </packing>
 473             </child>
 474             <child>
 475               <widget class="GtkComboBox" id="opacity_presets">
 476                 <property name="visible">True</property>
 477                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 478                 <property name="items" translatable="yes">Both
 479 Leaves Only
 480 Root Only</property>
 481               </widget>
 482               <packing>
 483                 <property name="left_attach">1</property>
 484                 <property name="right_attach">2</property>
 485                 <property name="y_options">GTK_FILL</property>
 486               </packing>
 487             </child>
 488           </widget>
 489           <packing>
 490             <property name="position">1</property>
 491           </packing>
 492         </child>
 493         <child internal-child="action_area">
 494           <widget class="GtkHButtonBox" id="dialog-action_area2">
 495             <property name="visible">True</property>
 496             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 497             <property name="layout_style">GTK_BUTTONBOX_END</property>
 498             <child>
 499               <placeholder/>
 500             </child>
 501             <child>
 502               <placeholder/>
 503             </child>
 504           </widget>
 505           <packing>
 506             <property name="expand">False</property>
 507             <property name="pack_type">GTK_PACK_END</property>
 508           </packing>
 509         </child>
 510       </widget>
 511     </child>
 512   </widget>
 513   <widget class="GtkDialog" id="level_spacing_dialog">
 514     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 515     <property name="border_width">5</property>
 516     <property name="title" translatable="yes">Set Level Spacing</property>
 517     <property name="resizable">False</property>
 518     <property name="modal">True</property>
 519     <property name="window_position">GTK_WIN_POS_MOUSE</property>
 520     <property name="destroy_with_parent">True</property>
 521     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 522     <child internal-child="vbox">
 523       <widget class="GtkVBox" id="dialog-vbox3">
 524         <property name="visible">True</property>
 525         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 526         <property name="spacing">2</property>
 527         <child>
 528           <widget class="GtkHBox" id="hbox2">
 529             <property name="visible">True</property>
 530             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 531             <property name="spacing">5</property>
 532             <child>
 533               <widget class="GtkLabel" id="label6">
 534                 <property name="visible">True</property>
 535                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 536                 <property name="label" translatable="yes">Spacing:</property>
 537                 <property name="single_line_mode">True</property>
 538               </widget>
 539               <packing>
 540                 <property name="expand">False</property>
 541               </packing>
 542             </child>
 543             <child>
 544               <widget class="GtkSpinButton" id="level_spacing_spinbutton">
 545                 <property name="visible">True</property>
 546                 <property name="can_focus">True</property>
 547                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 548                 <property name="adjustment">0 0 100 1 10 10</property>
 549                 <property name="numeric">True</property>
 550               </widget>
 551               <packing>
 552                 <property name="expand">False</property>
 553                 <property name="position">1</property>
 554               </packing>
 555             </child>
 556           </widget>
 557           <packing>
 558             <property name="expand">False</property>
 559             <property name="position">2</property>
 560           </packing>
 561         </child>
 562         <child internal-child="action_area">
 563           <widget class="GtkHButtonBox" id="dialog-action_area3">
 564             <property name="visible">True</property>
 565             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 566             <property name="layout_style">GTK_BUTTONBOX_END</property>
 567             <child>
 568               <placeholder/>
 569             </child>
 570             <child>
 571               <placeholder/>
 572             </child>
 573           </widget>
 574           <packing>
 575             <property name="expand">False</property>
 576             <property name="pack_type">GTK_PACK_END</property>
 577           </packing>
 578         </child>
 579       </widget>
 580     </child>
 581   </widget>
 582 </glade-interface>