ROX-Filer/Templates.glade

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
   3 <!--*- mode: xml -*-->
   4 <glade-interface>
   5   <widget class="GtkDialog" id="Log viewer">
   6     <property name="visible">True</property>
   7     <property name="title" translatable="yes">ROX-Filer log viewer</property>
   8     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
   9     <property name="has_separator">False</property>
  10     <child internal-child="vbox">
  11       <widget class="GtkVBox" id="dialog-vbox1">
  12         <property name="visible">True</property>
  13         <child>
  14           <widget class="GtkVBox" id="vbox1">
  15             <property name="visible">True</property>
  16             <property name="border_width">4</property>
  17             <property name="spacing">4</property>
  18             <child>
  19               <widget class="GtkLabel" id="label1">
  20                 <property name="visible">True</property>
  21                 <property name="xalign">0</property>
  22                 <property name="label" translatable="yes">Recently performed actions...</property>
  23               </widget>
  24               <packing>
  25                 <property name="expand">False</property>
  26                 <property name="fill">False</property>
  27               </packing>
  28             </child>
  29             <child>
  30               <widget class="GtkScrolledWindow" id="scrolledwindow1">
  31                 <property name="visible">True</property>
  32                 <property name="can_focus">True</property>
  33                 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  34                 <property name="shadow_type">GTK_SHADOW_IN</property>
  35                 <child>
  36                   <widget class="GtkTreeView" id="log_list">
  37                     <property name="visible">True</property>
  38                     <property name="can_focus">True</property>
  39                   </widget>
  40                 </child>
  41               </widget>
  42               <packing>
  43                 <property name="position">1</property>
  44               </packing>
  45             </child>
  46             <child>
  47               <widget class="GtkHButtonBox" id="hbuttonbox1">
  48                 <property name="layout_style">GTK_BUTTONBOX_START</property>
  49                 <child>
  50                   <widget class="GtkButton" id="button3">
  51                     <property name="visible">True</property>
  52                     <property name="can_focus">True</property>
  53                     <property name="can_default">True</property>
  54                     <property name="response_id">0</property>
  55                     <child>
  56                       <widget class="GtkAlignment" id="alignment1">
  57                         <property name="visible">True</property>
  58                         <property name="xscale">0</property>
  59                         <property name="yscale">0</property>
  60                         <child>
  61                           <widget class="GtkHBox" id="hbox1">
  62                             <property name="visible">True</property>
  63                             <property name="spacing">2</property>
  64                             <child>
  65                               <widget class="GtkImage" id="image1">
  66                                 <property name="visible">True</property>
  67                                 <property name="stock">gtk-open</property>
  68                               </widget>
  69                               <packing>
  70                                 <property name="expand">False</property>
  71                                 <property name="fill">False</property>
  72                               </packing>
  73                             </child>
  74                             <child>
  75                               <widget class="GtkLabel" id="label2">
  76                                 <property name="visible">True</property>
  77                                 <property name="label" translatable="yes">Open Directory</property>
  78                                 <property name="use_underline">True</property>
  79                               </widget>
  80                               <packing>
  81                                 <property name="expand">False</property>
  82                                 <property name="fill">False</property>
  83                                 <property name="position">1</property>
  84                               </packing>
  85                             </child>
  86                           </widget>
  87                         </child>
  88                       </widget>
  89                     </child>
  90                   </widget>
  91                 </child>
  92               </widget>
  93               <packing>
  94                 <property name="expand">False</property>
  95                 <property name="position">2</property>
  96               </packing>
  97             </child>
  98           </widget>
  99           <packing>
 100             <property name="position">1</property>
 101           </packing>
 102         </child>
 103         <child internal-child="action_area">
 104           <widget class="GtkHButtonBox" id="dialog-action_area1">
 105             <property name="visible">True</property>
 106             <property name="layout_style">GTK_BUTTONBOX_END</property>
 107             <child>
 108               <widget class="GtkButton" id="closebutton1">
 109                 <property name="visible">True</property>
 110                 <property name="can_focus">True</property>
 111                 <property name="can_default">True</property>
 112                 <property name="label">gtk-close</property>
 113                 <property name="use_stock">True</property>
 114                 <property name="response_id">-7</property>
 115               </widget>
 116             </child>
 117           </widget>
 118           <packing>
 119             <property name="expand">False</property>
 120             <property name="pack_type">GTK_PACK_END</property>
 121           </packing>
 122         </child>
 123       </widget>
 124     </child>
 125   </widget>
 126   <widget class="GtkDialog" id="Panel Options">
 127     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 128     <property name="border_width">5</property>
 129     <property name="title" translatable="yes">Panel Options</property>
 130     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
 131     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 132     <property name="has_separator">False</property>
 133     <signal name="close" handler="gtk_widget_destroy"/>
 134     <signal name="response" handler="gtk_widget_destroy"/>
 135     <child internal-child="vbox">
 136       <widget class="GtkVBox" id="dialog-vbox2">
 137         <property name="visible">True</property>
 138         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 139         <property name="spacing">2</property>
 140         <child>
 141           <widget class="GtkVBox" id="vbox2">
 142             <property name="visible">True</property>
 143             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 144             <property name="spacing">10</property>
 145             <child>
 146               <widget class="GtkFrame" id="frame1">
 147                 <property name="visible">True</property>
 148                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 149                 <property name="label_xalign">0</property>
 150                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 151                 <child>
 152                   <widget class="GtkAlignment" id="alignment2">
 153                     <property name="visible">True</property>
 154                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 155                     <property name="left_padding">12</property>
 156                     <child>
 157                       <widget class="GtkVBox" id="vbox3">
 158                         <property name="visible">True</property>
 159                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 160                         <child>
 161                           <widget class="GtkVBox" id="vbox4">
 162                             <property name="visible">True</property>
 163                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 164                             <child>
 165                               <widget class="GtkRadioButton" id="panel_style_radio_0">
 166                                 <property name="visible">True</property>
 167                                 <property name="can_focus">True</property>
 168                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 169                                 <property name="tooltip" translatable="yes">Every icon on this panel is shown with an image and some text.</property>
 170                                 <property name="label" translatable="yes">Image and Text</property>
 171                                 <property name="response_id">0</property>
 172                                 <property name="active">True</property>
 173                                 <property name="draw_indicator">True</property>
 174                                 <signal name="toggled" handler="panel_style_radio_0_toggled_cb"/>
 175                               </widget>
 176                               <packing>
 177                                 <property name="expand">False</property>
 178                                 <property name="fill">False</property>
 179                               </packing>
 180                             </child>
 181                             <child>
 182                               <widget class="GtkRadioButton" id="panel_style_radio_1">
 183                                 <property name="visible">True</property>
 184                                 <property name="can_focus">True</property>
 185                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 186                                 <property name="tooltip" translatable="yes">Applications in this panel have just an image, everything else has both an image and text.</property>
 187                                 <property name="label" translatable="yes">Image only for applications</property>
 188                                 <property name="response_id">0</property>
 189                                 <property name="active">True</property>
 190                                 <property name="draw_indicator">True</property>
 191                                 <property name="group">panel_style_radio_0</property>
 192                                 <signal name="toggled" handler="panel_style_radio_1_toggled_cb"/>
 193                               </widget>
 194                               <packing>
 195                                 <property name="expand">False</property>
 196                                 <property name="fill">False</property>
 197                                 <property name="position">1</property>
 198                               </packing>
 199                             </child>
 200                             <child>
 201                               <widget class="GtkRadioButton" id="panel_style_radio_2">
 202                                 <property name="visible">True</property>
 203                                 <property name="can_focus">True</property>
 204                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 205                                 <property name="tooltip" translatable="yes">Only the image is shown for icons in this panel.</property>
 206                                 <property name="label" translatable="yes">Image only</property>
 207                                 <property name="response_id">0</property>
 208                                 <property name="active">True</property>
 209                                 <property name="draw_indicator">True</property>
 210                                 <property name="group">panel_style_radio_0</property>
 211                                 <signal name="toggled" handler="panel_style_radio_2_toggled_cb"/>
 212                               </widget>
 213                               <packing>
 214                                 <property name="expand">False</property>
 215                                 <property name="fill">False</property>
 216                                 <property name="position">2</property>
 217                               </packing>
 218                             </child>
 219                           </widget>
 220                           <packing>
 221                             <property name="expand">False</property>
 222                             <property name="fill">False</property>
 223                             <property name="padding">4</property>
 224                           </packing>
 225                         </child>
 226                         <child>
 227                           <widget class="GtkHBox" id="hbox2">
 228                             <property name="visible">True</property>
 229                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 230                             <property name="spacing">6</property>
 231                             <child>
 232                               <widget class="GtkLabel" id="label4">
 233                                 <property name="visible">True</property>
 234                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 235                                 <property name="label" translatable="yes">Panel width</property>
 236                               </widget>
 237                               <packing>
 238                                 <property name="expand">False</property>
 239                                 <property name="fill">False</property>
 240                               </packing>
 241                             </child>
 242                             <child>
 243                               <widget class="GtkSpinButton" id="panel_width">
 244                                 <property name="visible">True</property>
 245                                 <property name="can_focus">True</property>
 246                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 247                                 <property name="tooltip" translatable="yes">The size of this panel.</property>
 248                                 <property name="adjustment">32 16 96 1 10 10</property>
 249                                 <signal name="value_changed" handler="panel_width_changed_cb"/>
 250                               </widget>
 251                               <packing>
 252                                 <property name="position">1</property>
 253                               </packing>
 254                             </child>
 255                             <child>
 256                               <widget class="GtkLabel" id="label6">
 257                                 <property name="visible">True</property>
 258                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 259                                 <property name="label" translatable="yes">px</property>
 260                               </widget>
 261                               <packing>
 262                                 <property name="expand">False</property>
 263                                 <property name="fill">False</property>
 264                                 <property name="position">2</property>
 265                               </packing>
 266                             </child>
 267                           </widget>
 268                           <packing>
 269                             <property name="padding">4</property>
 270                             <property name="position">1</property>
 271                           </packing>
 272                         </child>
 273                         <child>
 274                           <widget class="GtkCheckButton" id="panel_avoid">
 275                             <property name="visible">True</property>
 276                             <property name="can_focus">True</property>
 277                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 278                             <property name="tooltip" translatable="yes">Ask the window manager not to cover this panel when maximising windows, otherwise leave just 2 pixels at the edge of the screen to allow auto-raising. Some window managers may not honour this setting.</property>
 279                             <property name="label" translatable="yes">Do not cover panel</property>
 280                             <property name="response_id">0</property>
 281                             <property name="draw_indicator">True</property>
 282                             <signal name="toggled" handler="panel_avoid_toggled_cb"/>
 283                           </widget>
 284                           <packing>
 285                             <property name="padding">4</property>
 286                             <property name="position">2</property>
 287                           </packing>
 288                         </child>
 289                       </widget>
 290                     </child>
 291                   </widget>
 292                 </child>
 293                 <child>
 294                   <widget class="GtkLabel" id="label3">
 295                     <property name="visible">True</property>
 296                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 297                     <property name="label" translatable="yes">&lt;b&gt;Panel style&lt;/b&gt;</property>
 298                     <property name="use_markup">True</property>
 299                   </widget>
 300                   <packing>
 301                     <property name="type">label_item</property>
 302                   </packing>
 303                 </child>
 304               </widget>
 305             </child>
 306             <child>
 307               <widget class="GtkFrame" id="frame2">
 308                 <property name="visible">True</property>
 309                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 310                 <property name="label_xalign">0</property>
 311                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 312                 <child>
 313                   <widget class="GtkAlignment" id="alignment3">
 314                     <property name="visible">True</property>
 315                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 316                     <property name="left_padding">12</property>
 317                     <child>
 318                       <widget class="GtkVBox" id="vbox5">
 319                         <property name="visible">True</property>
 320                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 321                         <child>
 322                           <widget class="GtkHBox" id="hbox3">
 323                             <property name="visible">True</property>
 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="spacing">6</property>
 326                             <child>
 327                               <widget class="GtkCheckButton" id="panel_xinerama_confine">
 328                                 <property name="visible">True</property>
 329                                 <property name="can_focus">True</property>
 330                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 331                                 <property name="tooltip" translatable="yes">If you use multiple monitors with Xinerama, use this option to confine the panel to one monitor.</property>
 332                                 <property name="label" translatable="yes">Confine to Xinerama monitor</property>
 333                                 <property name="response_id">0</property>
 334                                 <property name="draw_indicator">True</property>
 335                                 <signal name="toggled" handler="panel_xinerama_confine_toggled_cb"/>
 336                               </widget>
 337                               <packing>
 338                                 <property name="expand">False</property>
 339                                 <property name="fill">False</property>
 340                               </packing>
 341                             </child>
 342                             <child>
 343                               <widget class="GtkSpinButton" id="panel_xinerama_monitor">
 344                                 <property name="visible">True</property>
 345                                 <property name="can_focus">True</property>
 346                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 347                                 <property name="tooltip" translatable="yes">The monitor this panel is confined to when using Xinerama. The numbering starts from zero.</property>
 348                                 <property name="adjustment">0 0 100 1 10 10</property>
 349                                 <signal name="value_changed" handler="panel_xinerama_monitor_changed_cb"/>
 350                               </widget>
 351                               <packing>
 352                                 <property name="expand">False</property>
 353                                 <property name="fill">False</property>
 354                                 <property name="position">1</property>
 355                               </packing>
 356                             </child>
 357                           </widget>
 358                           <packing>
 359                             <property name="expand">False</property>
 360                             <property name="fill">False</property>
 361                             <property name="padding">4</property>
 362                           </packing>
 363                         </child>
 364                       </widget>
 365                     </child>
 366                   </widget>
 367                 </child>
 368                 <child>
 369                   <widget class="GtkLabel" id="label7">
 370                     <property name="visible">True</property>
 371                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 372                     <property name="label" translatable="yes">&lt;b&gt;Xinerama&lt;/b&gt;</property>
 373                     <property name="use_markup">True</property>
 374                   </widget>
 375                   <packing>
 376                     <property name="type">label_item</property>
 377                   </packing>
 378                 </child>
 379               </widget>
 380               <packing>
 381                 <property name="position">1</property>
 382               </packing>
 383             </child>
 384             <child>
 385               <widget class="GtkFrame" id="frame3">
 386                 <property name="visible">True</property>
 387                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 388                 <property name="label_xalign">0</property>
 389                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 390                 <child>
 391                   <widget class="GtkAlignment" id="alignment4">
 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="left_padding">12</property>
 395                     <child>
 396                       <widget class="GtkTable" id="table1">
 397                         <property name="visible">True</property>
 398                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 399                         <property name="n_rows">3</property>
 400                         <property name="n_columns">3</property>
 401                         <property name="homogeneous">True</property>
 402                         <child>
 403                           <widget class="GtkRadioButton" id="panel_pos_right">
 404                             <property name="visible">True</property>
 405                             <property name="can_focus">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                             <property name="label" translatable="yes">Right edge</property>
 408                             <property name="response_id">0</property>
 409                             <property name="active">True</property>
 410                             <property name="draw_indicator">True</property>
 411                             <property name="group">panel_pos_top</property>
 412                             <signal name="toggled" handler="panel_pos_right_toggled_cb"/>
 413                           </widget>
 414                           <packing>
 415                             <property name="left_attach">2</property>
 416                             <property name="right_attach">3</property>
 417                             <property name="top_attach">1</property>
 418                             <property name="bottom_attach">2</property>
 419                           </packing>
 420                         </child>
 421                         <child>
 422                           <widget class="GtkRadioButton" id="panel_pos_left">
 423                             <property name="visible">True</property>
 424                             <property name="can_focus">True</property>
 425                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 426                             <property name="label" translatable="yes">Left edge</property>
 427                             <property name="response_id">0</property>
 428                             <property name="active">True</property>
 429                             <property name="draw_indicator">True</property>
 430                             <property name="group">panel_pos_top</property>
 431                             <signal name="toggled" handler="panel_pos_left_toggled_cb"/>
 432                           </widget>
 433                           <packing>
 434                             <property name="top_attach">1</property>
 435                             <property name="bottom_attach">2</property>
 436                           </packing>
 437                         </child>
 438                         <child>
 439                           <widget class="GtkRadioButton" id="panel_pos_bottom">
 440                             <property name="visible">True</property>
 441                             <property name="can_focus">True</property>
 442                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 443                             <property name="label" translatable="yes">Bottom edge</property>
 444                             <property name="response_id">0</property>
 445                             <property name="active">True</property>
 446                             <property name="draw_indicator">True</property>
 447                             <property name="group">panel_pos_top</property>
 448                             <signal name="toggled" handler="panel_pos_bottom_toggled_cb"/>
 449                           </widget>
 450                           <packing>
 451                             <property name="left_attach">1</property>
 452                             <property name="right_attach">2</property>
 453                             <property name="top_attach">2</property>
 454                             <property name="bottom_attach">3</property>
 455                           </packing>
 456                         </child>
 457                         <child>
 458                           <widget class="GtkRadioButton" id="panel_pos_top">
 459                             <property name="visible">True</property>
 460                             <property name="can_focus">True</property>
 461                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 462                             <property name="label" translatable="yes">Top edge</property>
 463                             <property name="response_id">0</property>
 464                             <property name="active">True</property>
 465                             <property name="draw_indicator">True</property>
 466                             <signal name="toggled" handler="panel_pos_top_toggled_cb"/>
 467                           </widget>
 468                           <packing>
 469                             <property name="left_attach">1</property>
 470                             <property name="right_attach">2</property>
 471                           </packing>
 472                         </child>
 473                         <child>
 474                           <placeholder/>
 475                         </child>
 476                         <child>
 477                           <placeholder/>
 478                         </child>
 479                         <child>
 480                           <placeholder/>
 481                         </child>
 482                         <child>
 483                           <placeholder/>
 484                         </child>
 485                         <child>
 486                           <placeholder/>
 487                         </child>
 488                       </widget>
 489                     </child>
 490                   </widget>
 491                 </child>
 492                 <child>
 493                   <widget class="GtkLabel" id="label5">
 494                     <property name="visible">True</property>
 495                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 496                     <property name="label" translatable="yes">&lt;b&gt;Position&lt;/b&gt;</property>
 497                     <property name="use_markup">True</property>
 498                   </widget>
 499                   <packing>
 500                     <property name="type">label_item</property>
 501                   </packing>
 502                 </child>
 503               </widget>
 504               <packing>
 505                 <property name="position">2</property>
 506               </packing>
 507             </child>
 508           </widget>
 509           <packing>
 510             <property name="padding">4</property>
 511             <property name="position">1</property>
 512           </packing>
 513         </child>
 514         <child internal-child="action_area">
 515           <widget class="GtkHButtonBox" id="dialog-action_area2">
 516             <property name="visible">True</property>
 517             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 518             <property name="layout_style">GTK_BUTTONBOX_END</property>
 519             <child>
 520               <widget class="GtkButton" id="panel_opts_close">
 521                 <property name="visible">True</property>
 522                 <property name="can_focus">True</property>
 523                 <property name="receives_default">True</property>
 524                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 525                 <property name="label">gtk-close</property>
 526                 <property name="use_stock">True</property>
 527                 <property name="response_id">-7</property>
 528               </widget>
 529             </child>
 530           </widget>
 531           <packing>
 532             <property name="expand">False</property>
 533             <property name="pack_type">GTK_PACK_END</property>
 534           </packing>
 535         </child>
 536       </widget>
 537     </child>
 538   </widget>
 539 </glade-interface>