starmath/uiconfig/smath/ui/catalogdialog.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!-- Generated with glade 3.36.0 -->
   3 <interface domain="sm">
   4   <requires lib="gtk+" version="3.20"/>
   5   <object class="GtkDialog" id="CatalogDialog">
   6     <property name="can_focus">False</property>
   7     <property name="border_width">6</property>
   8     <property name="title" translatable="yes" context="catalogdialog|CatalogDialog">Symbols</property>
   9     <property name="modal">True</property>
  10     <property name="default_width">0</property>
  11     <property name="default_height">0</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="orientation">vertical</property>
  17         <property name="spacing">12</property>
  18         <child internal-child="action_area">
  19           <object class="GtkButtonBox" id="dialog-action_area5">
  20             <property name="can_focus">False</property>
  21             <property name="layout_style">end</property>
  22             <child>
  23               <object class="GtkButton" id="edit">
  24                 <property name="label" translatable="yes" context="catalogdialog|edit">_Edit...</property>
  25                 <property name="visible">True</property>
  26                 <property name="can_focus">True</property>
  27                 <property name="receives_default">True</property>
  28                 <property name="use_underline">True</property>
  29                 <child internal-child="accessible">
  30                   <object class="AtkObject" id="edit-atkobject">
  31                     <property name="AtkObject::accessible-description" translatable="yes" context="catalogdialog|extended_tip|edit">Click here to open the Edit Symbols dialog.</property>
  32                   </object>
  33                 </child>
  34               </object>
  35               <packing>
  36                 <property name="expand">False</property>
  37                 <property name="fill">True</property>
  38                 <property name="position">0</property>
  39               </packing>
  40             </child>
  41             <child>
  42               <object class="GtkButton" id="ok">
  43                 <property name="label" translatable="yes" context="catalogdialog|insert">_Insert</property>
  44                 <property name="visible">True</property>
  45                 <property name="can_focus">True</property>
  46                 <property name="can_default">True</property>
  47                 <property name="has_default">True</property>
  48                 <property name="receives_default">True</property>
  49                 <property name="use_underline">True</property>
  50                 <child internal-child="accessible">
  51                   <object class="AtkObject" id="ok-atkobject">
  52                     <property name="AtkObject::accessible-description" translatable="yes" context="catalogdialog|extended_tip|ok">Saves all changes and closes dialog.</property>
  53                   </object>
  54                 </child>
  55               </object>
  56               <packing>
  57                 <property name="expand">False</property>
  58                 <property name="fill">True</property>
  59                 <property name="position">1</property>
  60               </packing>
  61             </child>
  62             <child>
  63               <object class="GtkButton" id="close">
  64                 <property name="label" translatable="yes" context="stock">_Close</property>
  65                 <property name="visible">True</property>
  66                 <property name="can_focus">True</property>
  67                 <property name="receives_default">True</property>
  68                 <property name="use_underline">True</property>
  69               </object>
  70               <packing>
  71                 <property name="expand">False</property>
  72                 <property name="fill">True</property>
  73                 <property name="position">2</property>
  74               </packing>
  75             </child>
  76             <child>
  77               <object class="GtkButton" id="help">
  78                 <property name="label" translatable="yes" context="stock">_Help</property>
  79                 <property name="visible">True</property>
  80                 <property name="can_focus">True</property>
  81                 <property name="receives_default">True</property>
  82                 <property name="use-underline">True</property>
  83               </object>
  84               <packing>
  85                 <property name="expand">False</property>
  86                 <property name="fill">True</property>
  87                 <property name="position">3</property>
  88                 <property name="secondary">True</property>
  89               </packing>
  90             </child>
  91           </object>
  92           <packing>
  93             <property name="expand">False</property>
  94             <property name="fill">True</property>
  95             <property name="pack_type">end</property>
  96             <property name="position">0</property>
  97           </packing>
  98         </child>
  99         <child>
 100           <!-- n-columns=1 n-rows=1 -->
 101           <object class="GtkGrid" id="grid1">
 102             <property name="visible">True</property>
 103             <property name="can_focus">False</property>
 104             <property name="hexpand">True</property>
 105             <property name="vexpand">True</property>
 106             <property name="row_spacing">6</property>
 107             <property name="column_spacing">12</property>
 108             <property name="column_homogeneous">True</property>
 109             <child>
 110               <object class="GtkLabel" id="label1">
 111                 <property name="visible">True</property>
 112                 <property name="can_focus">False</property>
 113                 <property name="label" translatable="yes" context="catalogdialog|label1">_Symbol set:</property>
 114                 <property name="use_underline">True</property>
 115                 <property name="xalign">0</property>
 116               </object>
 117               <packing>
 118                 <property name="left_attach">0</property>
 119                 <property name="top_attach">0</property>
 120               </packing>
 121             </child>
 122             <child>
 123               <object class="GtkComboBoxText" id="symbolset">
 124                 <property name="visible">True</property>
 125                 <property name="can_focus">False</property>
 126                 <property name="margin_bottom">6</property>
 127                 <child internal-child="accessible">
 128                   <object class="AtkObject" id="symbolset-atkobject">
 129                     <property name="AtkObject::accessible-description" translatable="yes" context="catalogdialog|extended_tip|symbolset">All symbols are organized into symbol sets. Select the desired symbol set from the list box. The corresponding group of symbols appear in the field below.</property>
 130                   </object>
 131                 </child>
 132               </object>
 133               <packing>
 134                 <property name="left_attach">0</property>
 135                 <property name="top_attach">1</property>
 136               </packing>
 137             </child>
 138             <child>
 139               <object class="GtkLabel" id="symbolname">
 140                 <property name="visible">True</property>
 141                 <property name="can_focus">False</property>
 142                 <property name="label" translatable="yes" context="catalogdialog|symbolname">Unknown</property>
 143                 <attributes>
 144                   <attribute name="scale" value="0.9"/>
 145                 </attributes>
 146               </object>
 147               <packing>
 148                 <property name="left_attach">0</property>
 149                 <property name="top_attach">3</property>
 150               </packing>
 151             </child>
 152             <child>
 153               <object class="GtkScrolledWindow" id="scrolledwindow">
 154                 <property name="visible">True</property>
 155                 <property name="can_focus">True</property>
 156                 <property name="hexpand">True</property>
 157                 <property name="vexpand">True</property>
 158                 <property name="vscrollbar_policy">always</property>
 159                 <property name="shadow_type">in</property>
 160                 <child>
 161                   <object class="GtkViewport">
 162                     <property name="visible">True</property>
 163                     <property name="can_focus">False</property>
 164                     <property name="hexpand">True</property>
 165                     <property name="vexpand">True</property>
 166                     <child>
 167                       <object class="GtkDrawingArea" id="symbolsetdisplay">
 168                         <property name="visible">True</property>
 169                         <property name="can_focus">True</property>
 170                         <property name="receives_default">True</property>
 171                         <property name="events">GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_KEY_PRESS_MASK | GDK_KEY_RELEASE_MASK | GDK_STRUCTURE_MASK</property>
 172                         <property name="hexpand">True</property>
 173                         <property name="vexpand">True</property>
 174                       </object>
 175                     </child>
 176                   </object>
 177                 </child>
 178               </object>
 179               <packing>
 180                 <property name="left_attach">0</property>
 181                 <property name="top_attach">2</property>
 182               </packing>
 183             </child>
 184             <child>
 185               <object class="GtkScrolledWindow">
 186                 <property name="visible">True</property>
 187                 <property name="can_focus">False</property>
 188                 <property name="hexpand">True</property>
 189                 <property name="vexpand">True</property>
 190                 <property name="hscrollbar_policy">never</property>
 191                 <property name="vscrollbar_policy">never</property>
 192                 <property name="shadow_type">in</property>
 193                 <child>
 194                   <object class="GtkViewport">
 195                     <property name="visible">True</property>
 196                     <property name="can_focus">False</property>
 197                     <property name="hexpand">True</property>
 198                     <property name="vexpand">True</property>
 199                     <child>
 200                       <object class="GtkDrawingArea" id="preview">
 201                         <property name="visible">True</property>
 202                         <property name="can_focus">False</property>
 203                         <property name="events">GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_STRUCTURE_MASK</property>
 204                         <property name="hexpand">True</property>
 205                         <property name="vexpand">True</property>
 206                         <child internal-child="accessible">
 207                           <object class="AtkObject" id="preview-atkobject">
 208                             <property name="AtkObject::accessible-description" translatable="yes" context="catalogdialog|extended_tip|preview">Displays a preview of the current selection.</property>
 209                           </object>
 210                         </child>
 211                       </object>
 212                     </child>
 213                   </object>
 214                 </child>
 215               </object>
 216               <packing>
 217                 <property name="left_attach">1</property>
 218                 <property name="top_attach">2</property>
 219               </packing>
 220             </child>
 221             <child>
 222               <placeholder/>
 223             </child>
 224             <child>
 225               <placeholder/>
 226             </child>
 227             <child>
 228               <placeholder/>
 229             </child>
 230           </object>
 231           <packing>
 232             <property name="expand">False</property>
 233             <property name="fill">True</property>
 234             <property name="position">1</property>
 235           </packing>
 236         </child>
 237       </object>
 238     </child>
 239     <action-widgets>
 240       <action-widget response="-5">ok</action-widget>
 241       <action-widget response="-7">close</action-widget>
 242       <action-widget response="-11">help</action-widget>
 243     </action-widgets>
 244     <child type="titlebar">
 245       <placeholder/>
 246     </child>
 247     <child internal-child="accessible">
 248       <object class="AtkObject" id="CatalogDialog-atkobject">
 249         <property name="AtkObject::accessible-description" translatable="yes" context="catalogdialog|extended_tip|CatalogDialog">Opens the Symbols dialog, in which you can select a symbol to insert in the formula.</property>
 250       </object>
 251     </child>
 252   </object>
 253 </interface>