plugins/gdb/anjuta-gdb.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <interface>
   3   <requires lib="gtk+" version="2.16"/>
   4   <!-- interface-naming-policy project-wide -->
   5   <object class="GtkWindow" id="gdb_preferences_window">
   6     <child>
   7       <object class="GtkVBox" id="gdb_preferences_container">
   8         <property name="visible">True</property>
   9         <signal name="destroy" handler="gdb_on_destroy_preferences" swapped="no"/>
  10         <child>
  11           <object class="GtkFrame" id="frame2">
  12             <property name="visible">True</property>
  13             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  14             <property name="label_xalign">0</property>
  15             <property name="shadow_type">none</property>
  16             <child>
  17               <object class="GtkAlignment" id="alignment1">
  18                 <property name="visible">True</property>
  19                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  20                 <property name="left_padding">12</property>
  21                 <child>
  22                   <object class="GtkHBox" id="hbox1">
  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="spacing">6</property>
  26                     <child>
  27                       <object class="GtkScrolledWindow" id="scrolledwindow1">
  28                         <property name="visible">True</property>
  29                         <property name="can_focus">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                         <property name="hscrollbar_policy">automatic</property>
  32                         <property name="vscrollbar_policy">automatic</property>
  33                         <property name="shadow_type">in</property>
  34                         <child>
  35                           <object class="GtkTreeView" id="printers_treeview">
  36                             <property name="visible">True</property>
  37                             <property name="can_focus">True</property>
  38                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_STRUCTURE_MASK</property>
  39                           </object>
  40                         </child>
  41                       </object>
  42                       <packing>
  43                         <property name="position">0</property>
  44                       </packing>
  45                     </child>
  46                     <child>
  47                       <object class="GtkVButtonBox" id="vbuttonbox1">
  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="border_width">5</property>
  51                         <property name="spacing">6</property>
  52                         <property name="layout_style">start</property>
  53                         <child>
  54                           <object class="GtkButton" id="add_button">
  55                             <property name="label">gtk-add</property>
  56                             <property name="visible">True</property>
  57                             <property name="can_focus">True</property>
  58                             <property name="receives_default">True</property>
  59                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  60                             <property name="use_action_appearance">False</property>
  61                             <property name="use_stock">True</property>
  62                             <signal name="clicked" handler="gdb_on_printer_add" swapped="no"/>
  63                           </object>
  64                           <packing>
  65                             <property name="expand">False</property>
  66                             <property name="fill">False</property>
  67                             <property name="position">0</property>
  68                           </packing>
  69                         </child>
  70                         <child>
  71                           <object class="GtkButton" id="remove_button">
  72                             <property name="label">gtk-remove</property>
  73                             <property name="visible">True</property>
  74                             <property name="can_focus">True</property>
  75                             <property name="receives_default">True</property>
  76                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  77                             <property name="use_action_appearance">False</property>
  78                             <property name="use_stock">True</property>
  79                             <signal name="clicked" handler="gdb_on_printer_remove" swapped="no"/>
  80                           </object>
  81                           <packing>
  82                             <property name="expand">False</property>
  83                             <property name="fill">False</property>
  84                             <property name="position">1</property>
  85                           </packing>
  86                         </child>
  87                       </object>
  88                       <packing>
  89                         <property name="expand">False</property>
  90                         <property name="position">1</property>
  91                       </packing>
  92                     </child>
  93                   </object>
  94                 </child>
  95               </object>
  96             </child>
  97             <child type="label">
  98               <object class="GtkLabel" id="label1">
  99                 <property name="visible">True</property>
 100                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 101                 <property name="ypad">6</property>
 102                 <property name="label" translatable="yes">Available pretty printers</property>
 103                 <attributes>
 104                   <attribute name="weight" value="bold"/>
 105                 </attributes>
 106               </object>
 107             </child>
 108           </object>
 109           <packing>
 110             <property name="position">0</property>
 111           </packing>
 112         </child>
 113         <child>
 114           <placeholder/>
 115         </child>
 116         <child>
 117           <placeholder/>
 118         </child>
 119       </object>
 120     </child>
 121   </object>
 122 </interface>