plugins/symbol-db/anjuta-symbol-db.ui

   1 <?xml version="1.0"?>
   2 <interface>
   3   <requires lib="gtk+" version="2.16"/>
   4   <!-- interface-naming-policy toplevel-contextual -->
   5   <object class="GtkWindow" id="symbol_db_pref_window">
   6     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   7     <child>
   8       <object class="GtkVBox" id="symbol_prefs">
   9         <property name="visible">True</property>
  10         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  11         <property name="spacing">1</property>
  12         <child>
  13           <object class="GtkFrame" id="frame1">
  14             <property name="visible">True</property>
  15             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  16             <property name="label_xalign">0</property>
  17             <property name="shadow_type">none</property>
  18             <child>
  19               <object class="GtkAlignment" id="alignment1">
  20                 <property name="visible">True</property>
  21                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  22                 <property name="left_padding">12</property>
  23                 <child>
  24                   <object class="GtkVBox" id="vbox1">
  25                     <property name="visible">True</property>
  26                     <property name="orientation">vertical</property>
  27                     <child>
  28                       <placeholder/>
  29                     </child>
  30                     <child>
  31                       <object class="GtkHBox" id="hbox4">
  32                         <property name="visible">True</property>
  33                         <child>
  34                           <object class="GtkCheckButton" id="preferences_toggle:bool:1:1:symboldb-parallel-scan">
  35                             <property name="label" translatable="yes">Parallel scan of project and global symbols</property>
  36                             <property name="visible">True</property>
  37                             <property name="can_focus">True</property>
  38                             <property name="receives_default">False</property>
  39                             <property name="has_tooltip">True</property>
  40                             <property name="tooltip_text" translatable="yes">This option means that the global system packages will be scanned simultaneously with the project's ones</property>
  41                             <property name="draw_indicator">True</property>
  42                           </object>
  43                           <packing>
  44                             <property name="position">0</property>
  45                           </packing>
  46                         </child>
  47                       </object>
  48                       <packing>
  49                         <property name="position">2</property>
  50                       </packing>
  51                     </child>
  52                     <child>
  53                       <object class="GtkHBox" id="hbox5">
  54                         <property name="visible">True</property>
  55                         <child>
  56                           <object class="GtkCheckButton" id="preferences_toggle:bool:1:1:symboldb-buffer-update">
  57                             <property name="label" translatable="yes">Automatically update symbols without saving file</property>
  58                             <property name="visible">True</property>
  59                             <property name="can_focus">True</property>
  60                             <property name="receives_default">False</property>
  61                             <property name="has_tooltip">True</property>
  62                             <property name="tooltip_text" translatable="yes">Automatically update the file's symbols without saving. The update occurs after 10 seconds without keypresses by the user.</property>
  63                             <property name="active">True</property>
  64                             <property name="draw_indicator">True</property>
  65                           </object>
  66                           <packing>
  67                             <property name="pack_type">end</property>
  68                             <property name="position">1</property>
  69                           </packing>
  70                         </child>
  71                       </object>
  72                       <packing>
  73                         <property name="position">3</property>
  74                       </packing>
  75                     </child>
  76                   </object>
  77                 </child>
  78               </object>
  79             </child>
  80             <child type="label">
  81               <object class="GtkLabel" id="label1">
  82                 <property name="visible">True</property>
  83                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  84                 <property name="label" translatable="yes">Global</property>
  85                 <attributes>
  86                   <attribute name="weight" value="bold"/>
  87                 </attributes>
  88               </object>
  89             </child>
  90           </object>
  91           <packing>
  92             <property name="expand">False</property>
  93             <property name="padding">5</property>
  94             <property name="position">0</property>
  95           </packing>
  96         </child>
  97       </object>
  98     </child>
  99   </object>
 100 </interface>