plugins/language-support-vala/anjuta-vala.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <interface>
   3   <requires lib="gtk+" version="2.16"/>
   4   <!-- interface-requires anjuta 0.0 -->
   5   <object class="GtkAdjustment" id="adjustment1">
   6     <property name="upper">100</property>
   7     <property name="step_increment">1</property>
   8     <property name="page_increment">10</property>
   9   </object>
  10   <object class="GtkAdjustment" id="adjustment2">
  11     <property name="upper">100</property>
  12     <property name="value">4</property>
  13     <property name="step_increment">1</property>
  14     <property name="page_increment">10</property>
  15   </object>
  16   <object class="GtkAdjustment" id="adjustment3">
  17     <property name="upper">50</property>
  18     <property name="value">10</property>
  19     <property name="step_increment">1</property>
  20     <property name="page_increment">10</property>
  21   </object>
  22   <object class="GtkAdjustment" id="adjustment4">
  23     <property name="upper">100</property>
  24     <property name="step_increment">1</property>
  25     <property name="page_increment">10</property>
  26   </object>
  27   <object class="GtkListStore" id="liststore1"/>
  28   <object class="GtkWindow" id="preferences_dialog">
  29     <property name="can_focus">False</property>
  30     <property name="title" translatable="yes">window1</property>
  31     <child>
  32       <object class="GtkVBox" id="preferences">
  33         <property name="visible">True</property>
  34         <property name="can_focus">False</property>
  35         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  36         <child>
  37           <object class="GtkFrame" id="frame45">
  38             <property name="visible">True</property>
  39             <property name="can_focus">False</property>
  40             <property name="label_xalign">0</property>
  41             <property name="label_yalign">0</property>
  42             <property name="shadow_type">none</property>
  43             <child>
  44               <object class="GtkVBox" id="vbox1118">
  45                 <property name="visible">True</property>
  46                 <property name="can_focus">False</property>
  47                 <child>
  48                   <object class="GtkCheckButton" id="preferences:completion-enable">
  49                     <property name="label" translatable="yes">Enable code completion</property>
  50                     <property name="visible">True</property>
  51                     <property name="can_focus">True</property>
  52                     <property name="receives_default">False</property>
  53                     <property name="border_width">5</property>
  54                     <property name="use_action_appearance">False</property>
  55                     <property name="use_underline">True</property>
  56                     <property name="draw_indicator">True</property>
  57                   </object>
  58                   <packing>
  59                     <property name="expand">False</property>
  60                     <property name="fill">False</property>
  61                     <property name="position">0</property>
  62                   </packing>
  63                 </child>
  64                 <child>
  65                   <object class="GtkFrame" id="frame3">
  66                     <property name="visible">True</property>
  67                     <property name="can_focus">False</property>
  68                     <property name="label_xalign">0</property>
  69                     <property name="shadow_type">none</property>
  70                     <child>
  71                       <object class="GtkAlignment" id="alignment3">
  72                         <property name="visible">True</property>
  73                         <property name="can_focus">False</property>
  74                         <property name="left_padding">12</property>
  75                         <child>
  76                           <object class="GtkVBox" id="vbox3">
  77                             <property name="visible">True</property>
  78                             <property name="can_focus">False</property>
  79                             <child>
  80                               <object class="GtkCheckButton" id="preferences:completion-space-after-func">
  81                                 <property name="label" translatable="yes">Add a space after function call autocompletion</property>
  82                                 <property name="visible">True</property>
  83                                 <property name="can_focus">True</property>
  84                                 <property name="receives_default">False</property>
  85                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  86                                 <property name="border_width">5</property>
  87                                 <property name="use_action_appearance">False</property>
  88                                 <property name="draw_indicator">True</property>
  89                               </object>
  90                               <packing>
  91                                 <property name="expand">True</property>
  92                                 <property name="fill">True</property>
  93                                 <property name="position">0</property>
  94                               </packing>
  95                             </child>
  96                             <child>
  97                               <object class="GtkCheckButton" id="preferences:completion-brace-after-func">
  98                                 <property name="label" translatable="yes">Add '(' after function call autocompletion</property>
  99                                 <property name="visible">True</property>
 100                                 <property name="can_focus">True</property>
 101                                 <property name="receives_default">False</property>
 102                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 103                                 <property name="border_width">5</property>
 104                                 <property name="use_action_appearance">False</property>
 105                                 <property name="draw_indicator">True</property>
 106                               </object>
 107                               <packing>
 108                                 <property name="expand">True</property>
 109                                 <property name="fill">True</property>
 110                                 <property name="position">1</property>
 111                               </packing>
 112                             </child>
 113                           </object>
 114                         </child>
 115                       </object>
 116                     </child>
 117                     <child type="label_item">
 118                       <placeholder/>
 119                     </child>
 120                   </object>
 121                   <packing>
 122                     <property name="expand">True</property>
 123                     <property name="fill">True</property>
 124                     <property name="position">1</property>
 125                   </packing>
 126                 </child>
 127               </object>
 128             </child>
 129             <child type="label">
 130               <object class="GtkLabel" id="label12334">
 131                 <property name="visible">True</property>
 132                 <property name="can_focus">False</property>
 133                 <property name="xalign">0</property>
 134                 <property name="yalign">0</property>
 135                 <property name="label" translatable="yes">Autocompletion</property>
 136                 <attributes>
 137                   <attribute name="weight" value="bold"/>
 138                 </attributes>
 139               </object>
 140             </child>
 141           </object>
 142           <packing>
 143             <property name="expand">False</property>
 144             <property name="fill">False</property>
 145             <property name="position">0</property>
 146           </packing>
 147         </child>
 148         <child>
 149           <object class="GtkFrame" id="frame1">
 150             <property name="visible">True</property>
 151             <property name="can_focus">False</property>
 152             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 153             <property name="border_width">5</property>
 154             <property name="label_xalign">0</property>
 155             <property name="label_yalign">0</property>
 156             <property name="shadow_type">none</property>
 157             <child>
 158               <object class="GtkAlignment" id="alignment1">
 159                 <property name="visible">True</property>
 160                 <property name="can_focus">False</property>
 161                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 162                 <child>
 163                   <object class="GtkHBox" id="hbox1">
 164                     <property name="visible">True</property>
 165                     <property name="can_focus">False</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                       <object class="GtkCheckButton" id="preferences:calltip-enable">
 169                         <property name="label" translatable="yes">Show calltips</property>
 170                         <property name="visible">True</property>
 171                         <property name="can_focus">True</property>
 172                         <property name="receives_default">False</property>
 173                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 174                         <property name="border_width">5</property>
 175                         <property name="use_action_appearance">False</property>
 176                         <property name="draw_indicator">True</property>
 177                       </object>
 178                       <packing>
 179                         <property name="expand">False</property>
 180                         <property name="fill">False</property>
 181                         <property name="position">0</property>
 182                       </packing>
 183                     </child>
 184                   </object>
 185                 </child>
 186               </object>
 187             </child>
 188             <child type="label">
 189               <object class="GtkLabel" id="label2">
 190                 <property name="visible">True</property>
 191                 <property name="can_focus">False</property>
 192                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 193                 <property name="label" translatable="yes">Calltips</property>
 194                 <attributes>
 195                   <attribute name="weight" value="bold"/>
 196                 </attributes>
 197               </object>
 198             </child>
 199           </object>
 200           <packing>
 201             <property name="expand">False</property>
 202             <property name="fill">False</property>
 203             <property name="position">1</property>
 204           </packing>
 205         </child>
 206       </object>
 207     </child>
 208   </object>
 209 </interface>