glade/preferences-plugins.ui

   1 <?xml version="1.0"?>
   2 <!--*- mode: xml -*-->
   3 <interface>
   4   <object class="GtkVBox" id="plugin_stats_vbox">
   5     <property name="visible">True</property>
   6     <property name="spacing">6</property>
   7     <child>
   8       <object class="GtkLabel" id="label160">
   9         <property name="visible">True</property>
  10         <property name="xalign">0</property>
  11         <property name="label" translatable="yes">&lt;b&gt;Loaded Plugins:&lt;/b&gt;</property>
  12         <property name="use_markup">True</property>
  13       </object>
  14       <packing>
  15         <property name="expand">False</property>
  16         <property name="fill">False</property>
  17       </packing>
  18     </child>
  19     <child>
  20       <object class="GtkScrolledWindow" id="scrolledwindow10">
  21         <property name="visible">True</property>
  22         <property name="can_focus">True</property>
  23         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  24         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  25         <property name="shadow_type">GTK_SHADOW_IN</property>
  26         <child>
  27           <object class="GtkTreeView" id="plugin_stats_tree">
  28             <property name="visible">True</property>
  29             <property name="can_focus">True</property>
  30             <property name="rules_hint">True</property>
  31           </object>
  32         </child>
  33       </object>
  34       <packing>
  35         <property name="position">1</property>
  36       </packing>
  37     </child>
  38   </object>
  39 </interface>