src/frontends/gtk/glade/mathPanel.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="visible">True</property>
   8   <property name="title" translatable="yes">LyX: Math Panel</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="default_width">300</property>
  13   <property name="default_height">260</property>
  14   <property name="resizable">True</property>
  15   <property name="destroy_with_parent">False</property>
  16   <property name="decorated">True</property>
  17   <property name="skip_taskbar_hint">False</property>
  18   <property name="skip_pager_hint">False</property>
  19   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  20   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  21
  22   <child>
  23     <widget class="GtkHBox" id="hbox1">
  24       <property name="border_width">5</property>
  25       <property name="visible">True</property>
  26       <property name="homogeneous">False</property>
  27       <property name="spacing">10</property>
  28
  29       <child>
  30         <widget class="GtkVBox" id="Vbox">
  31           <property name="visible">True</property>
  32           <property name="homogeneous">False</property>
  33           <property name="spacing">20</property>
  34
  35           <child>
  36             <placeholder/>
  37           </child>
  38
  39           <child>
  40             <placeholder/>
  41           </child>
  42         </widget>
  43         <packing>
  44           <property name="padding">0</property>
  45           <property name="expand">False</property>
  46           <property name="fill">False</property>
  47         </packing>
  48       </child>
  49
  50       <child>
  51         <widget class="GtkVBox" id="vbox2">
  52           <property name="visible">True</property>
  53           <property name="homogeneous">False</property>
  54           <property name="spacing">3</property>
  55
  56           <child>
  57             <widget class="GtkScrolledWindow" id="scrolledwindow1">
  58               <property name="border_width">3</property>
  59               <property name="visible">True</property>
  60               <property name="can_focus">True</property>
  61               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  62               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  63               <property name="shadow_type">GTK_SHADOW_NONE</property>
  64               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  65
  66               <child>
  67                 <widget class="GtkTreeView" id="Functions">
  68                   <property name="visible">True</property>
  69                   <property name="can_focus">True</property>
  70                   <property name="headers_visible">True</property>
  71                   <property name="rules_hint">False</property>
  72                   <property name="reorderable">False</property>
  73                   <property name="enable_search">True</property>
  74                 </widget>
  75               </child>
  76             </widget>
  77             <packing>
  78               <property name="padding">0</property>
  79               <property name="expand">True</property>
  80               <property name="fill">True</property>
  81             </packing>
  82           </child>
  83
  84           <child>
  85             <widget class="GtkButton" id="Close">
  86               <property name="visible">True</property>
  87               <property name="can_default">True</property>
  88               <property name="has_default">True</property>
  89               <property name="can_focus">True</property>
  90               <property name="label">gtk-close</property>
  91               <property name="use_stock">True</property>
  92               <property name="relief">GTK_RELIEF_NORMAL</property>
  93               <property name="focus_on_click">True</property>
  94               <accelerator key="Escape" modifiers="0" signal="clicked"/>
  95             </widget>
  96             <packing>
  97               <property name="padding">0</property>
  98               <property name="expand">False</property>
  99               <property name="fill">False</property>
 100             </packing>
 101           </child>
 102         </widget>
 103         <packing>
 104           <property name="padding">0</property>
 105           <property name="expand">True</property>
 106           <property name="fill">True</property>
 107         </packing>
 108       </child>
 109     </widget>
 110   </child>
 111 </widget>
 112
 113 </glade-interface>