starmath/uiconfig/smath/ui/catalogdialog.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!-- Generated with glade 3.18.3 -->
   3 <interface>
   4   <requires lib="gtk+" version="3.0"/>
   5   <requires lib="LibreOffice" version="1.0"/>
   6   <object class="GtkDialog" id="CatalogDialog">
   7     <property name="can_focus">False</property>
   8     <property name="border_width">6</property>
   9     <property name="title" translatable="yes">Symbols</property>
  10     <property name="resizable">False</property>
  11     <property name="modal">True</property>
  12     <property name="type_hint">dialog</property>
  13     <child internal-child="vbox">
  14       <object class="GtkBox" id="dialog-vbox5">
  15         <property name="can_focus">False</property>
  16         <property name="spacing">12</property>
  17         <child internal-child="action_area">
  18           <object class="GtkButtonBox" id="dialog-action_area5">
  19             <property name="can_focus">False</property>
  20             <property name="orientation">vertical</property>
  21             <property name="layout_style">start</property>
  22             <child>
  23               <object class="GtkButton" id="insert">
  24                 <property name="label" translatable="yes">_Insert</property>
  25                 <property name="visible">True</property>
  26                 <property name="can_focus">True</property>
  27                 <property name="can_default">True</property>
  28                 <property name="has_default">True</property>
  29                 <property name="receives_default">True</property>
  30                 <property name="use_underline">True</property>
  31               </object>
  32               <packing>
  33                 <property name="expand">False</property>
  34                 <property name="fill">True</property>
  35                 <property name="position">0</property>
  36               </packing>
  37             </child>
  38             <child>
  39               <object class="GtkButton" id="close">
  40                 <property name="label">gtk-close</property>
  41                 <property name="visible">True</property>
  42                 <property name="can_focus">True</property>
  43                 <property name="receives_default">True</property>
  44                 <property name="use_underline">True</property>
  45                 <property name="use_stock">True</property>
  46               </object>
  47               <packing>
  48                 <property name="expand">False</property>
  49                 <property name="fill">True</property>
  50                 <property name="position">1</property>
  51               </packing>
  52             </child>
  53             <child>
  54               <object class="GtkButton" id="edit">
  55                 <property name="label" translatable="yes">_Edit...</property>
  56                 <property name="visible">True</property>
  57                 <property name="can_focus">True</property>
  58                 <property name="receives_default">True</property>
  59                 <property name="use_underline">True</property>
  60               </object>
  61               <packing>
  62                 <property name="expand">False</property>
  63                 <property name="fill">True</property>
  64                 <property name="position">2</property>
  65               </packing>
  66             </child>
  67             <child>
  68               <object class="GtkButton" id="help">
  69                 <property name="label">gtk-help</property>
  70                 <property name="visible">True</property>
  71                 <property name="can_focus">True</property>
  72                 <property name="receives_default">True</property>
  73                 <property name="use_stock">True</property>
  74               </object>
  75               <packing>
  76                 <property name="expand">False</property>
  77                 <property name="fill">True</property>
  78                 <property name="position">3</property>
  79               </packing>
  80             </child>
  81           </object>
  82           <packing>
  83             <property name="expand">False</property>
  84             <property name="fill">True</property>
  85             <property name="pack_type">end</property>
  86             <property name="position">0</property>
  87           </packing>
  88         </child>
  89         <child>
  90           <object class="GtkGrid" id="grid1">
  91             <property name="visible">True</property>
  92             <property name="can_focus">False</property>
  93             <property name="hexpand">True</property>
  94             <property name="vexpand">True</property>
  95             <property name="row_spacing">6</property>
  96             <property name="column_spacing">12</property>
  97             <child>
  98               <object class="GtkLabel" id="label1">
  99                 <property name="visible">True</property>
 100                 <property name="can_focus">False</property>
 101                 <property name="xalign">0</property>
 102                 <property name="label" translatable="yes">_Symbol set:</property>
 103                 <property name="use_underline">True</property>
 104               </object>
 105               <packing>
 106                 <property name="left_attach">0</property>
 107                 <property name="top_attach">0</property>
 108               </packing>
 109             </child>
 110             <child>
 111               <object class="GtkComboBoxText" id="symbolset">
 112                 <property name="visible">True</property>
 113                 <property name="can_focus">False</property>
 114                 <property name="margin_bottom">6</property>
 115               </object>
 116               <packing>
 117                 <property name="left_attach">0</property>
 118                 <property name="top_attach">1</property>
 119               </packing>
 120             </child>
 121             <child>
 122               <object class="smlo-SmShowSymbolSet" id="symbolsetdisplay">
 123                 <property name="label" translatable="yes">button</property>
 124                 <property name="visible">True</property>
 125                 <property name="can_focus">True</property>
 126                 <property name="receives_default">True</property>
 127                 <property name="hexpand">True</property>
 128                 <property name="vexpand">True</property>
 129               </object>
 130               <packing>
 131                 <property name="left_attach">0</property>
 132                 <property name="top_attach">2</property>
 133               </packing>
 134             </child>
 135             <child>
 136               <object class="smlo-SmShowSymbol" id="preview:border">
 137                 <property name="visible">True</property>
 138                 <property name="can_focus">False</property>
 139                 <property name="hexpand">True</property>
 140                 <property name="vexpand">True</property>
 141                 <property name="stock">gtk-missing-image</property>
 142               </object>
 143               <packing>
 144                 <property name="left_attach">1</property>
 145                 <property name="top_attach">2</property>
 146               </packing>
 147             </child>
 148             <child>
 149               <object class="GtkLabel" id="symbolname">
 150                 <property name="visible">True</property>
 151                 <property name="can_focus">False</property>
 152                 <property name="label" translatable="yes">Unknown</property>
 153               </object>
 154               <packing>
 155                 <property name="left_attach">0</property>
 156                 <property name="top_attach">3</property>
 157               </packing>
 158             </child>
 159             <child>
 160               <placeholder/>
 161             </child>
 162             <child>
 163               <placeholder/>
 164             </child>
 165             <child>
 166               <placeholder/>
 167             </child>
 168           </object>
 169           <packing>
 170             <property name="expand">False</property>
 171             <property name="fill">True</property>
 172             <property name="position">1</property>
 173           </packing>
 174         </child>
 175       </object>
 176     </child>
 177     <action-widgets>
 178       <action-widget response="0">insert</action-widget>
 179       <action-widget response="0">close</action-widget>
 180       <action-widget response="0">edit</action-widget>
 181       <action-widget response="0">help</action-widget>
 182     </action-widgets>
 183   </object>
 184   <object class="GtkSizeGroup" id="sizegroup1">
 185     <property name="mode">vertical</property>
 186     <widgets>
 187       <widget name="preview:border"/>
 188       <widget name="symbolsetdisplay"/>
 189     </widgets>
 190   </object>
 191   <object class="GtkSizeGroup" id="sizegroup2">
 192     <widgets>
 193       <widget name="preview:border"/>
 194       <widget name="symbolsetdisplay"/>
 195       <widget name="symbolset"/>
 196     </widgets>
 197   </object>
 198   <object class="GtkListStore" id="liststore1"/>
 199 </interface>