src/frontends/gtk/glade/toc.glade

   1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
   2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
   3
   4 <glade-interface>
   5
   6 <widget class="GtkDialog" id="dialog">
   7   <property name="title" translatable="yes">Table of Contents</property>
   8   <property name="type">GTK_WINDOW_TOPLEVEL</property>
   9   <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  10   <property name="modal">False</property>
  11   <property name="default_width">400</property>
  12   <property name="default_height">300</property>
  13   <property name="resizable">True</property>
  14   <property name="destroy_with_parent">False</property>
  15   <property name="decorated">True</property>
  16   <property name="skip_taskbar_hint">False</property>
  17   <property name="skip_pager_hint">False</property>
  18   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  19   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  20   <property name="has_separator">False</property>
  21
  22   <child internal-child="vbox">
  23     <widget class="GtkVBox" id="dialog-vbox1">
  24       <property name="visible">True</property>
  25       <property name="homogeneous">False</property>
  26       <property name="spacing">0</property>
  27
  28       <child internal-child="action_area">
  29         <widget class="GtkHButtonBox" id="dialog-action_area1">
  30           <property name="visible">True</property>
  31           <property name="layout_style">GTK_BUTTONBOX_END</property>
  32
  33           <child>
  34             <widget class="GtkButton" id="Refresh">
  35               <property name="visible">True</property>
  36               <property name="can_default">True</property>
  37               <property name="has_default">True</property>
  38               <property name="can_focus">True</property>
  39               <property name="label">gtk-refresh</property>
  40               <property name="use_stock">True</property>
  41               <property name="relief">GTK_RELIEF_NORMAL</property>
  42               <property name="focus_on_click">True</property>
  43               <property name="response_id">0</property>
  44             </widget>
  45           </child>
  46
  47           <child>
  48             <widget class="GtkButton" id="Close">
  49               <property name="visible">True</property>
  50               <property name="can_default">True</property>
  51               <property name="can_focus">True</property>
  52               <property name="label">gtk-close</property>
  53               <property name="use_stock">True</property>
  54               <property name="relief">GTK_RELIEF_NORMAL</property>
  55               <property name="focus_on_click">True</property>
  56               <property name="response_id">-7</property>
  57               <accelerator key="Escape" modifiers="0" signal="clicked"/>
  58             </widget>
  59           </child>
  60         </widget>
  61         <packing>
  62           <property name="padding">0</property>
  63           <property name="expand">False</property>
  64           <property name="fill">True</property>
  65           <property name="pack_type">GTK_PACK_END</property>
  66         </packing>
  67       </child>
  68
  69       <child>
  70         <widget class="GtkVBox" id="vbox1">
  71           <property name="border_width">12</property>
  72           <property name="visible">True</property>
  73           <property name="homogeneous">False</property>
  74           <property name="spacing">0</property>
  75
  76           <child>
  77             <widget class="GtkHBox" id="hbox1">
  78               <property name="visible">True</property>
  79               <property name="homogeneous">False</property>
  80               <property name="spacing">0</property>
  81
  82               <child>
  83                 <widget class="GtkLabel" id="label2">
  84                   <property name="visible">True</property>
  85                   <property name="label" translatable="yes"> </property>
  86                   <property name="use_underline">False</property>
  87                   <property name="use_markup">False</property>
  88                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  89                   <property name="wrap">False</property>
  90                   <property name="selectable">False</property>
  91                   <property name="xalign">0.5</property>
  92                   <property name="yalign">0.5</property>
  93                   <property name="xpad">0</property>
  94                   <property name="ypad">0</property>
  95                 </widget>
  96                 <packing>
  97                   <property name="padding">0</property>
  98                   <property name="expand">True</property>
  99                   <property name="fill">True</property>
 100                 </packing>
 101               </child>
 102
 103               <child>
 104                 <widget class="GtkLabel" id="label1">
 105                   <property name="visible">True</property>
 106                   <property name="label" translatable="yes">_Type:</property>
 107                   <property name="use_underline">True</property>
 108                   <property name="use_markup">False</property>
 109                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 110                   <property name="wrap">False</property>
 111                   <property name="selectable">False</property>
 112                   <property name="xalign">0.5</property>
 113                   <property name="yalign">0.5</property>
 114                   <property name="xpad">0</property>
 115                   <property name="ypad">0</property>
 116                 </widget>
 117                 <packing>
 118                   <property name="padding">6</property>
 119                   <property name="expand">False</property>
 120                   <property name="fill">False</property>
 121                 </packing>
 122               </child>
 123
 124               <child>
 125                 <widget class="GtkComboBox" id="Type">
 126                   <property name="visible">True</property>
 127                 </widget>
 128                 <packing>
 129                   <property name="padding">0</property>
 130                   <property name="expand">False</property>
 131                   <property name="fill">False</property>
 132                   <property name="pack_type">GTK_PACK_END</property>
 133                 </packing>
 134               </child>
 135             </widget>
 136             <packing>
 137               <property name="padding">0</property>
 138               <property name="expand">False</property>
 139               <property name="fill">True</property>
 140             </packing>
 141           </child>
 142
 143           <child>
 144             <widget class="GtkScrolledWindow" id="scrolledwindow1">
 145               <property name="visible">True</property>
 146               <property name="can_focus">True</property>
 147               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 148               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 149               <property name="shadow_type">GTK_SHADOW_IN</property>
 150               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 151
 152               <child>
 153                 <widget class="GtkTreeView" id="Contents">
 154                   <property name="visible">True</property>
 155                   <property name="can_focus">True</property>
 156                   <property name="headers_visible">False</property>
 157                   <property name="rules_hint">False</property>
 158                   <property name="reorderable">False</property>
 159                   <property name="enable_search">True</property>
 160                 </widget>
 161               </child>
 162             </widget>
 163             <packing>
 164               <property name="padding">6</property>
 165               <property name="expand">True</property>
 166               <property name="fill">True</property>
 167             </packing>
 168           </child>
 169         </widget>
 170         <packing>
 171           <property name="padding">0</property>
 172           <property name="expand">True</property>
 173           <property name="fill">True</property>
 174         </packing>
 175       </child>
 176     </widget>
 177   </child>
 178 </widget>
 179
 180 </glade-interface>