src/frontends/gtk/glade/texinfo.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">Lyx: LaTeX Information</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">200</property>
  12   <property name="default_height">400</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="Close">
  35               <property name="visible">True</property>
  36               <property name="can_default">True</property>
  37               <property name="can_focus">True</property>
  38               <property name="label">gtk-close</property>
  39               <property name="use_stock">True</property>
  40               <property name="relief">GTK_RELIEF_NORMAL</property>
  41               <property name="focus_on_click">True</property>
  42               <property name="response_id">-7</property>
  43             </widget>
  44           </child>
  45         </widget>
  46         <packing>
  47           <property name="padding">0</property>
  48           <property name="expand">False</property>
  49           <property name="fill">True</property>
  50           <property name="pack_type">GTK_PACK_END</property>
  51         </packing>
  52       </child>
  53
  54       <child>
  55         <widget class="GtkVBox" id="vbox1">
  56           <property name="border_width">6</property>
  57           <property name="visible">True</property>
  58           <property name="homogeneous">False</property>
  59           <property name="spacing">0</property>
  60
  61           <child>
  62             <widget class="GtkHBox" id="hbox1">
  63               <property name="visible">True</property>
  64               <property name="homogeneous">False</property>
  65               <property name="spacing">0</property>
  66
  67               <child>
  68                 <widget class="GtkComboBox" id="Type">
  69                   <property name="visible">True</property>
  70                 </widget>
  71                 <packing>
  72                   <property name="padding">0</property>
  73                   <property name="expand">True</property>
  74                   <property name="fill">True</property>
  75                 </packing>
  76               </child>
  77
  78               <child>
  79                 <widget class="GtkCheckButton" id="FullPath">
  80                   <property name="visible">True</property>
  81                   <property name="tooltip" translatable="yes">Show the full path instead of just the file name</property>
  82                   <property name="can_focus">True</property>
  83                   <property name="label" translatable="yes">Show Full _Path</property>
  84                   <property name="use_underline">True</property>
  85                   <property name="relief">GTK_RELIEF_NORMAL</property>
  86                   <property name="focus_on_click">True</property>
  87                   <property name="active">False</property>
  88                   <property name="inconsistent">False</property>
  89                   <property name="draw_indicator">True</property>
  90                 </widget>
  91                 <packing>
  92                   <property name="padding">6</property>
  93                   <property name="expand">False</property>
  94                   <property name="fill">False</property>
  95                 </packing>
  96               </child>
  97             </widget>
  98             <packing>
  99               <property name="padding">6</property>
 100               <property name="expand">False</property>
 101               <property name="fill">True</property>
 102             </packing>
 103           </child>
 104
 105           <child>
 106             <widget class="GtkScrolledWindow" id="scrolledwindow1">
 107               <property name="visible">True</property>
 108               <property name="can_focus">True</property>
 109               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 110               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 111               <property name="shadow_type">GTK_SHADOW_IN</property>
 112               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 113
 114               <child>
 115                 <widget class="GtkTreeView" id="Items">
 116                   <property name="visible">True</property>
 117                   <property name="tooltip" translatable="yes">Double click to view contents of file</property>
 118                   <property name="can_focus">True</property>
 119                   <property name="headers_visible">False</property>
 120                   <property name="rules_hint">False</property>
 121                   <property name="reorderable">False</property>
 122                   <property name="enable_search">True</property>
 123                 </widget>
 124               </child>
 125             </widget>
 126             <packing>
 127               <property name="padding">0</property>
 128               <property name="expand">True</property>
 129               <property name="fill">True</property>
 130             </packing>
 131           </child>
 132
 133           <child>
 134             <widget class="GtkButton" id="Refresh">
 135               <property name="visible">True</property>
 136               <property name="tooltip" translatable="yes">Build new file lists</property>
 137               <property name="can_focus">True</property>
 138               <property name="relief">GTK_RELIEF_NORMAL</property>
 139               <property name="focus_on_click">True</property>
 140
 141               <child>
 142                 <widget class="GtkAlignment" id="alignment2">
 143                   <property name="visible">True</property>
 144                   <property name="xalign">0.5</property>
 145                   <property name="yalign">0.5</property>
 146                   <property name="xscale">0</property>
 147                   <property name="yscale">0</property>
 148                   <property name="top_padding">0</property>
 149                   <property name="bottom_padding">0</property>
 150                   <property name="left_padding">0</property>
 151                   <property name="right_padding">0</property>
 152
 153                   <child>
 154                     <widget class="GtkHBox" id="hbox4">
 155                       <property name="visible">True</property>
 156                       <property name="homogeneous">False</property>
 157                       <property name="spacing">2</property>
 158
 159                       <child>
 160                         <widget class="GtkImage" id="image2">
 161                           <property name="visible">True</property>
 162                           <property name="stock">gtk-refresh</property>
 163                           <property name="icon_size">4</property>
 164                           <property name="xalign">0.5</property>
 165                           <property name="yalign">0.5</property>
 166                           <property name="xpad">0</property>
 167                           <property name="ypad">0</property>
 168                         </widget>
 169                         <packing>
 170                           <property name="padding">0</property>
 171                           <property name="expand">False</property>
 172                           <property name="fill">False</property>
 173                         </packing>
 174                       </child>
 175
 176                       <child>
 177                         <widget class="GtkLabel" id="label2">
 178                           <property name="visible">True</property>
 179                           <property name="label" translatable="yes">_Refresh List</property>
 180                           <property name="use_underline">True</property>
 181                           <property name="use_markup">False</property>
 182                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 183                           <property name="wrap">False</property>
 184                           <property name="selectable">False</property>
 185                           <property name="xalign">0.5</property>
 186                           <property name="yalign">0.5</property>
 187                           <property name="xpad">0</property>
 188                           <property name="ypad">0</property>
 189                         </widget>
 190                         <packing>
 191                           <property name="padding">0</property>
 192                           <property name="expand">False</property>
 193                           <property name="fill">False</property>
 194                         </packing>
 195                       </child>
 196                     </widget>
 197                   </child>
 198                 </widget>
 199               </child>
 200             </widget>
 201             <packing>
 202               <property name="padding">6</property>
 203               <property name="expand">False</property>
 204               <property name="fill">False</property>
 205             </packing>
 206           </child>
 207         </widget>
 208         <packing>
 209           <property name="padding">0</property>
 210           <property name="expand">True</property>
 211           <property name="fill">True</property>
 212         </packing>
 213       </child>
 214     </widget>
 215   </child>
 216 </widget>
 217
 218 </glade-interface>