starmath/uiconfig/smath/ui/smathsettings.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   <object class="GtkAdjustment" id="adjustment1">
   6     <property name="lower">10</property>
   7     <property name="upper">400</property>
   8     <property name="step_increment">1</property>
   9     <property name="page_increment">10</property>
  10   </object>
  11   <object class="GtkBox" id="SmathSettings">
  12     <property name="visible">True</property>
  13     <property name="can_focus">False</property>
  14     <property name="hexpand">True</property>
  15     <property name="vexpand">True</property>
  16     <property name="border_width">6</property>
  17     <property name="orientation">vertical</property>
  18     <property name="spacing">12</property>
  19     <child>
  20       <object class="GtkFrame" id="contents">
  21         <property name="visible">True</property>
  22         <property name="can_focus">False</property>
  23         <property name="label_xalign">0</property>
  24         <property name="shadow_type">none</property>
  25         <child>
  26           <object class="GtkAlignment" id="alignment1">
  27             <property name="visible">True</property>
  28             <property name="can_focus">False</property>
  29             <property name="top_padding">6</property>
  30             <property name="left_padding">12</property>
  31             <child>
  32               <object class="GtkBox" id="box2">
  33                 <property name="visible">True</property>
  34                 <property name="can_focus">False</property>
  35                 <property name="orientation">vertical</property>
  36                 <property name="spacing">6</property>
  37                 <child>
  38                   <object class="GtkCheckButton" id="title">
  39                     <property name="label" translatable="yes">_Title row</property>
  40                     <property name="visible">True</property>
  41                     <property name="can_focus">True</property>
  42                     <property name="receives_default">False</property>
  43                     <property name="use_underline">True</property>
  44                     <property name="xalign">0</property>
  45                     <property name="draw_indicator">True</property>
  46                   </object>
  47                   <packing>
  48                     <property name="expand">False</property>
  49                     <property name="fill">True</property>
  50                     <property name="position">0</property>
  51                   </packing>
  52                 </child>
  53                 <child>
  54                   <object class="GtkCheckButton" id="text">
  55                     <property name="label" translatable="yes">_Formula text</property>
  56                     <property name="visible">True</property>
  57                     <property name="can_focus">True</property>
  58                     <property name="receives_default">False</property>
  59                     <property name="use_underline">True</property>
  60                     <property name="xalign">0</property>
  61                     <property name="draw_indicator">True</property>
  62                   </object>
  63                   <packing>
  64                     <property name="expand">False</property>
  65                     <property name="fill">True</property>
  66                     <property name="position">1</property>
  67                   </packing>
  68                 </child>
  69                 <child>
  70                   <object class="GtkCheckButton" id="frame">
  71                     <property name="label" translatable="yes">B_order</property>
  72                     <property name="visible">True</property>
  73                     <property name="can_focus">True</property>
  74                     <property name="receives_default">False</property>
  75                     <property name="use_underline">True</property>
  76                     <property name="xalign">0</property>
  77                     <property name="draw_indicator">True</property>
  78                   </object>
  79                   <packing>
  80                     <property name="expand">False</property>
  81                     <property name="fill">True</property>
  82                     <property name="position">2</property>
  83                   </packing>
  84                 </child>
  85               </object>
  86             </child>
  87           </object>
  88         </child>
  89         <child type="label">
  90           <object class="GtkLabel" id="label4">
  91             <property name="visible">True</property>
  92             <property name="can_focus">False</property>
  93             <property name="label" translatable="yes">Print Options</property>
  94             <attributes>
  95               <attribute name="weight" value="bold"/>
  96             </attributes>
  97           </object>
  98         </child>
  99       </object>
 100       <packing>
 101         <property name="expand">False</property>
 102         <property name="fill">True</property>
 103         <property name="position">0</property>
 104       </packing>
 105     </child>
 106     <child>
 107       <object class="GtkFrame" id="size">
 108         <property name="visible">True</property>
 109         <property name="can_focus">False</property>
 110         <property name="label_xalign">0</property>
 111         <property name="shadow_type">none</property>
 112         <child>
 113           <object class="GtkAlignment" id="alignment2">
 114             <property name="visible">True</property>
 115             <property name="can_focus">False</property>
 116             <property name="top_padding">6</property>
 117             <property name="left_padding">12</property>
 118             <child>
 119               <object class="GtkBox" id="box1">
 120                 <property name="visible">True</property>
 121                 <property name="can_focus">False</property>
 122                 <property name="orientation">vertical</property>
 123                 <property name="spacing">6</property>
 124                 <property name="homogeneous">True</property>
 125                 <child>
 126                   <object class="GtkRadioButton" id="sizenormal">
 127                     <property name="label" translatable="yes">O_riginal size</property>
 128                     <property name="visible">True</property>
 129                     <property name="can_focus">True</property>
 130                     <property name="receives_default">False</property>
 131                     <property name="use_underline">True</property>
 132                     <property name="xalign">0</property>
 133                     <property name="active">True</property>
 134                     <property name="draw_indicator">True</property>
 135                     <property name="group">sizescaled</property>
 136                   </object>
 137                   <packing>
 138                     <property name="expand">False</property>
 139                     <property name="fill">True</property>
 140                     <property name="position">0</property>
 141                   </packing>
 142                 </child>
 143                 <child>
 144                   <object class="GtkRadioButton" id="sizescaled">
 145                     <property name="label" translatable="yes">Fit to _page</property>
 146                     <property name="visible">True</property>
 147                     <property name="can_focus">True</property>
 148                     <property name="receives_default">False</property>
 149                     <property name="use_underline">True</property>
 150                     <property name="xalign">0</property>
 151                     <property name="draw_indicator">True</property>
 152                     <property name="group">sizezoomed</property>
 153                   </object>
 154                   <packing>
 155                     <property name="expand">False</property>
 156                     <property name="fill">True</property>
 157                     <property name="position">1</property>
 158                   </packing>
 159                 </child>
 160                 <child>
 161                   <object class="GtkBox" id="box3">
 162                     <property name="visible">True</property>
 163                     <property name="can_focus">False</property>
 164                     <property name="spacing">12</property>
 165                     <child>
 166                       <object class="GtkRadioButton" id="sizezoomed">
 167                         <property name="label" translatable="yes">_Scaling:</property>
 168                         <property name="visible">True</property>
 169                         <property name="can_focus">True</property>
 170                         <property name="receives_default">False</property>
 171                         <property name="use_underline">True</property>
 172                         <property name="xalign">0</property>
 173                         <property name="draw_indicator">True</property>
 174                         <property name="group">sizenormal</property>
 175                       </object>
 176                       <packing>
 177                         <property name="expand">False</property>
 178                         <property name="fill">True</property>
 179                         <property name="position">0</property>
 180                       </packing>
 181                     </child>
 182                     <child>
 183                       <object class="GtkSpinButton" id="zoom:0%">
 184                         <property name="visible">True</property>
 185                         <property name="can_focus">True</property>
 186                         <property name="invisible_char">●</property>
 187                         <property name="adjustment">adjustment1</property>
 188                       </object>
 189                       <packing>
 190                         <property name="expand">False</property>
 191                         <property name="fill">True</property>
 192                         <property name="position">1</property>
 193                       </packing>
 194                     </child>
 195                   </object>
 196                   <packing>
 197                     <property name="expand">False</property>
 198                     <property name="fill">True</property>
 199                     <property name="position">2</property>
 200                   </packing>
 201                 </child>
 202               </object>
 203             </child>
 204           </object>
 205         </child>
 206         <child type="label">
 207           <object class="GtkLabel" id="label5">
 208             <property name="visible">True</property>
 209             <property name="can_focus">False</property>
 210             <property name="label" translatable="yes">Print Format</property>
 211             <attributes>
 212               <attribute name="weight" value="bold"/>
 213             </attributes>
 214           </object>
 215         </child>
 216       </object>
 217       <packing>
 218         <property name="expand">False</property>
 219         <property name="fill">True</property>
 220         <property name="position">1</property>
 221       </packing>
 222     </child>
 223     <child>
 224       <object class="GtkFrame" id="contents1">
 225         <property name="visible">True</property>
 226         <property name="can_focus">False</property>
 227         <property name="label_xalign">0</property>
 228         <property name="shadow_type">none</property>
 229         <child>
 230           <object class="GtkAlignment" id="alignment3">
 231             <property name="visible">True</property>
 232             <property name="can_focus">False</property>
 233             <property name="top_padding">6</property>
 234             <property name="left_padding">12</property>
 235             <child>
 236               <object class="GtkBox" id="box4">
 237                 <property name="visible">True</property>
 238                 <property name="can_focus">False</property>
 239                 <property name="orientation">vertical</property>
 240                 <property name="spacing">6</property>
 241                 <child>
 242                   <object class="GtkCheckButton" id="norightspaces">
 243                     <property name="label" translatable="yes">Ig_nore ~~ and ' at the end of the line</property>
 244                     <property name="visible">True</property>
 245                     <property name="can_focus">True</property>
 246                     <property name="receives_default">False</property>
 247                     <property name="use_underline">True</property>
 248                     <property name="xalign">0</property>
 249                     <property name="draw_indicator">True</property>
 250                   </object>
 251                   <packing>
 252                     <property name="expand">False</property>
 253                     <property name="fill">True</property>
 254                     <property name="position">0</property>
 255                   </packing>
 256                 </child>
 257                 <child>
 258                   <object class="GtkCheckButton" id="saveonlyusedsymbols">
 259                     <property name="label" translatable="yes">Embed only used symbols (smaller file size)</property>
 260                     <property name="visible">True</property>
 261                     <property name="can_focus">True</property>
 262                     <property name="receives_default">False</property>
 263                     <property name="use_underline">True</property>
 264                     <property name="xalign">0</property>
 265                     <property name="draw_indicator">True</property>
 266                   </object>
 267                   <packing>
 268                     <property name="expand">False</property>
 269                     <property name="fill">True</property>
 270                     <property name="position">1</property>
 271                   </packing>
 272                 </child>
 273                 <child>
 274                   <object class="GtkCheckButton" id="autoclosebrackets">
 275                     <property name="label" translatable="yes">Auto close brackets, parentheses and braces</property>
 276                     <property name="visible">True</property>
 277                     <property name="can_focus">True</property>
 278                     <property name="receives_default">False</property>
 279                     <property name="use_underline">True</property>
 280                     <property name="xalign">0</property>
 281                     <property name="draw_indicator">True</property>
 282                   </object>
 283                   <packing>
 284                     <property name="expand">False</property>
 285                     <property name="fill">True</property>
 286                     <property name="position">2</property>
 287                   </packing>
 288                 </child>
 289               </object>
 290             </child>
 291           </object>
 292         </child>
 293         <child type="label">
 294           <object class="GtkLabel" id="label1">
 295             <property name="visible">True</property>
 296             <property name="can_focus">False</property>
 297             <property name="label" translatable="yes">Miscellaneous Options</property>
 298             <attributes>
 299               <attribute name="weight" value="bold"/>
 300             </attributes>
 301           </object>
 302         </child>
 303       </object>
 304       <packing>
 305         <property name="expand">False</property>
 306         <property name="fill">True</property>
 307         <property name="position">2</property>
 308       </packing>
 309     </child>
 310   </object>
 311 </interface>