src/frontends/gnome/dialogs/GPreamble.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="GPreamble">
   7   <property name="title" translatable="yes">LaTeX Preamble</property>
   8   <property name="type">GTK_WINDOW_TOPLEVEL</property>
   9   <property name="window_position">GTK_WIN_POS_NONE</property>
  10   <property name="modal">False</property>
  11   <property name="resizable">True</property>
  12   <property name="destroy_with_parent">False</property>
  13   <property name="has_separator">True</property>
  14
  15   <child internal-child="vbox">
  16     <widget class="GtkVBox" id="dialog-vbox1">
  17       <property name="border_width">2</property>
  18       <property name="visible">True</property>
  19       <property name="homogeneous">False</property>
  20       <property name="spacing">8</property>
  21
  22       <child internal-child="action_area">
  23         <widget class="GtkHButtonBox" id="dialog-action_area1">
  24           <property name="border_width">5</property>
  25           <property name="visible">True</property>
  26           <property name="layout_style">GTK_BUTTONBOX_END</property>
  27           <property name="spacing">10</property>
  28
  29           <child>
  30             <widget class="GtkButton" id="r_ok_btn">
  31               <property name="visible">True</property>
  32               <property name="can_default">True</property>
  33               <property name="can_focus">True</property>
  34               <property name="label">gtk-ok</property>
  35               <property name="use_stock">True</property>
  36               <property name="relief">GTK_RELIEF_NORMAL</property>
  37               <property name="response_id">0</property>
  38             </widget>
  39           </child>
  40
  41           <child>
  42             <widget class="GtkButton" id="r_apply_btn">
  43               <property name="visible">True</property>
  44               <property name="can_default">True</property>
  45               <property name="can_focus">True</property>
  46               <property name="label">gtk-apply</property>
  47               <property name="use_stock">True</property>
  48               <property name="relief">GTK_RELIEF_NORMAL</property>
  49               <property name="response_id">0</property>
  50             </widget>
  51           </child>
  52
  53           <child>
  54             <widget class="GtkButton" id="r_cancel_btn">
  55               <property name="visible">True</property>
  56               <property name="can_default">True</property>
  57               <property name="can_focus">True</property>
  58               <property name="label">gtk-close</property>
  59               <property name="use_stock">True</property>
  60               <property name="relief">GTK_RELIEF_NORMAL</property>
  61               <property name="response_id">0</property>
  62             </widget>
  63           </child>
  64         </widget>
  65         <packing>
  66           <property name="padding">0</property>
  67           <property name="expand">False</property>
  68           <property name="fill">True</property>
  69           <property name="pack_type">GTK_PACK_END</property>
  70         </packing>
  71       </child>
  72
  73       <child>
  74         <widget class="GtkScrolledWindow" id="scrolledwindow1">
  75           <property name="visible">True</property>
  76           <property name="can_focus">True</property>
  77           <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
  78           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
  79           <property name="shadow_type">GTK_SHADOW_NONE</property>
  80           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  81
  82           <child>
  83             <widget class="GtkTextView" id="r_preamble">
  84               <property name="visible">True</property>
  85               <property name="can_focus">True</property>
  86               <property name="editable">True</property>
  87               <property name="justification">GTK_JUSTIFY_LEFT</property>
  88               <property name="wrap_mode">GTK_WRAP_NONE</property>
  89               <property name="cursor_visible">True</property>
  90               <property name="pixels_above_lines">0</property>
  91               <property name="pixels_below_lines">0</property>
  92               <property name="pixels_inside_wrap">0</property>
  93               <property name="left_margin">0</property>
  94               <property name="right_margin">0</property>
  95               <property name="indent">0</property>
  96               <property name="text" translatable="yes"></property>
  97             </widget>
  98           </child>
  99         </widget>
 100         <packing>
 101           <property name="padding">0</property>
 102           <property name="expand">True</property>
 103           <property name="fill">True</property>
 104         </packing>
 105       </child>
 106     </widget>
 107   </child>
 108 </widget>
 109
 110 </glade-interface>