src/frontends/gtk/glade/mathDelim.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="GtkWindow" id="dialog">
   7   <property name="border_width">5</property>
   8   <property name="title" translatable="yes">LyX: Math Delimiters</property>
   9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10   <property name="window_position">GTK_WIN_POS_NONE</property>
  11   <property name="modal">False</property>
  12   <property name="resizable">True</property>
  13   <property name="destroy_with_parent">False</property>
  14   <property name="decorated">True</property>
  15   <property name="skip_taskbar_hint">False</property>
  16   <property name="skip_pager_hint">False</property>
  17   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  18   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  19
  20   <child>
  21     <widget class="GtkVBox" id="vbox1">
  22       <property name="visible">True</property>
  23       <property name="homogeneous">False</property>
  24       <property name="spacing">5</property>
  25
  26       <child>
  27         <widget class="GtkHBox" id="hbox2">
  28           <property name="border_width">5</property>
  29           <property name="visible">True</property>
  30           <property name="homogeneous">True</property>
  31           <property name="spacing">4</property>
  32
  33           <child>
  34             <widget class="GtkRadioButton" id="Left">
  35               <property name="visible">True</property>
  36               <property name="can_focus">True</property>
  37               <property name="label" translatable="yes">(_Left</property>
  38               <property name="use_underline">True</property>
  39               <property name="relief">GTK_RELIEF_NORMAL</property>
  40               <property name="focus_on_click">True</property>
  41               <property name="active">False</property>
  42               <property name="inconsistent">False</property>
  43               <property name="draw_indicator">True</property>
  44             </widget>
  45             <packing>
  46               <property name="padding">0</property>
  47               <property name="expand">False</property>
  48               <property name="fill">False</property>
  49             </packing>
  50           </child>
  51
  52           <child>
  53             <widget class="GtkRadioButton" id="Both">
  54               <property name="visible">True</property>
  55               <property name="can_focus">True</property>
  56               <property name="label" translatable="yes">()_Both</property>
  57               <property name="use_underline">True</property>
  58               <property name="relief">GTK_RELIEF_NORMAL</property>
  59               <property name="focus_on_click">True</property>
  60               <property name="active">False</property>
  61               <property name="inconsistent">False</property>
  62               <property name="draw_indicator">True</property>
  63               <property name="group">Left</property>
  64             </widget>
  65             <packing>
  66               <property name="padding">0</property>
  67               <property name="expand">False</property>
  68               <property name="fill">False</property>
  69             </packing>
  70           </child>
  71
  72           <child>
  73             <widget class="GtkRadioButton" id="Right">
  74               <property name="visible">True</property>
  75               <property name="can_focus">True</property>
  76               <property name="label" translatable="yes">)_Right</property>
  77               <property name="use_underline">True</property>
  78               <property name="relief">GTK_RELIEF_NORMAL</property>
  79               <property name="focus_on_click">True</property>
  80               <property name="active">False</property>
  81               <property name="inconsistent">False</property>
  82               <property name="draw_indicator">True</property>
  83               <property name="group">Left</property>
  84             </widget>
  85             <packing>
  86               <property name="padding">0</property>
  87               <property name="expand">False</property>
  88               <property name="fill">False</property>
  89             </packing>
  90           </child>
  91         </widget>
  92         <packing>
  93           <property name="padding">0</property>
  94           <property name="expand">False</property>
  95           <property name="fill">False</property>
  96         </packing>
  97       </child>
  98
  99       <child>
 100         <widget class="GtkHBox" id="hbox3">
 101           <property name="visible">True</property>
 102           <property name="homogeneous">False</property>
 103           <property name="spacing">0</property>
 104
 105           <child>
 106             <widget class="GtkButton" id="Demo">
 107               <property name="visible">True</property>
 108               <property name="can_focus">True</property>
 109               <property name="relief">GTK_RELIEF_NORMAL</property>
 110               <property name="focus_on_click">True</property>
 111
 112               <child>
 113                 <placeholder/>
 114               </child>
 115             </widget>
 116             <packing>
 117               <property name="padding">0</property>
 118               <property name="expand">True</property>
 119               <property name="fill">False</property>
 120             </packing>
 121           </child>
 122         </widget>
 123         <packing>
 124           <property name="padding">0</property>
 125           <property name="expand">False</property>
 126           <property name="fill">False</property>
 127         </packing>
 128       </child>
 129
 130       <child>
 131         <widget class="GtkHBox" id="Box">
 132           <property name="visible">True</property>
 133           <property name="homogeneous">False</property>
 134           <property name="spacing">0</property>
 135
 136           <child>
 137             <placeholder/>
 138           </child>
 139         </widget>
 140         <packing>
 141           <property name="padding">0</property>
 142           <property name="expand">False</property>
 143           <property name="fill">False</property>
 144         </packing>
 145       </child>
 146
 147       <child>
 148         <widget class="GtkHBox" id="hbox1">
 149           <property name="border_width">5</property>
 150           <property name="visible">True</property>
 151           <property name="homogeneous">False</property>
 152           <property name="spacing">0</property>
 153
 154           <child>
 155             <widget class="GtkButton" id="OK">
 156               <property name="visible">True</property>
 157               <property name="can_default">True</property>
 158               <property name="can_focus">True</property>
 159               <property name="has_focus">True</property>
 160               <property name="label">gtk-ok</property>
 161               <property name="use_stock">True</property>
 162               <property name="relief">GTK_RELIEF_NORMAL</property>
 163               <property name="focus_on_click">True</property>
 164             </widget>
 165             <packing>
 166               <property name="padding">0</property>
 167               <property name="expand">True</property>
 168               <property name="fill">False</property>
 169             </packing>
 170           </child>
 171
 172           <child>
 173             <widget class="GtkButton" id="Apply">
 174               <property name="visible">True</property>
 175               <property name="can_focus">True</property>
 176               <property name="label">gtk-apply</property>
 177               <property name="use_stock">True</property>
 178               <property name="relief">GTK_RELIEF_NORMAL</property>
 179               <property name="focus_on_click">True</property>
 180             </widget>
 181             <packing>
 182               <property name="padding">0</property>
 183               <property name="expand">True</property>
 184               <property name="fill">False</property>
 185             </packing>
 186           </child>
 187
 188           <child>
 189             <widget class="GtkButton" id="Close">
 190               <property name="visible">True</property>
 191               <property name="can_focus">True</property>
 192               <property name="label">gtk-close</property>
 193               <property name="use_stock">True</property>
 194               <property name="relief">GTK_RELIEF_NORMAL</property>
 195               <property name="focus_on_click">True</property>
 196             </widget>
 197             <packing>
 198               <property name="padding">0</property>
 199               <property name="expand">True</property>
 200               <property name="fill">False</property>
 201             </packing>
 202           </child>
 203         </widget>
 204         <packing>
 205           <property name="padding">0</property>
 206           <property name="expand">False</property>
 207           <property name="fill">False</property>
 208         </packing>
 209       </child>
 210     </widget>
 211   </child>
 212 </widget>
 213
 214 </glade-interface>