starmath/uiconfig/smath/ui/printeroptions.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!-- Generated with glade 3.22.1 -->
   3 <interface domain="sm">
   4   <requires lib="gtk+" version="3.20"/>
   5   <object class="GtkAdjustment" id="adjustment1">
   6     <property name="lower">10</property>
   7     <property name="upper">1000</property>
   8     <property name="value">100</property>
   9     <property name="step_increment">1</property>
  10     <property name="page_increment">10</property>
  11   </object>
  12   <object class="GtkBox" id="box">
  13     <property name="visible">True</property>
  14     <property name="can_focus">False</property>
  15     <property name="hexpand">True</property>
  16     <property name="vexpand">True</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" context="printeroptions|title">Title</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="formulatext">
  55                     <property name="label" translatable="yes" context="printeroptions|formulatext">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="borders">
  71                     <property name="label" translatable="yes" context="printeroptions|borders">Borders</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" context="printeroptions|label4">Contents</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                 <child>
 125                   <object class="GtkRadioButton" id="originalsize">
 126                     <property name="label" translatable="yes" context="printeroptions|originalsize">Original size</property>
 127                     <property name="visible">True</property>
 128                     <property name="can_focus">True</property>
 129                     <property name="receives_default">False</property>
 130                     <property name="use_underline">True</property>
 131                     <property name="xalign">0</property>
 132                     <property name="active">True</property>
 133                     <property name="draw_indicator">True</property>
 134                   </object>
 135                   <packing>
 136                     <property name="expand">False</property>
 137                     <property name="fill">True</property>
 138                     <property name="position">0</property>
 139                   </packing>
 140                 </child>
 141                 <child>
 142                   <object class="GtkRadioButton" id="fittopage">
 143                     <property name="label" translatable="yes" context="printeroptions|fittopage">Fit to page</property>
 144                     <property name="visible">True</property>
 145                     <property name="can_focus">True</property>
 146                     <property name="receives_default">False</property>
 147                     <property name="use_underline">True</property>
 148                     <property name="xalign">0</property>
 149                     <property name="draw_indicator">True</property>
 150                     <property name="group">originalsize</property>
 151                   </object>
 152                   <packing>
 153                     <property name="expand">False</property>
 154                     <property name="fill">True</property>
 155                     <property name="position">1</property>
 156                   </packing>
 157                 </child>
 158                 <child>
 159                   <object class="GtkBox" id="box3">
 160                     <property name="visible">True</property>
 161                     <property name="can_focus">False</property>
 162                     <property name="spacing">12</property>
 163                     <child>
 164                       <object class="GtkRadioButton" id="scaling">
 165                         <property name="label" translatable="yes" context="printeroptions|scaling">Scaling:</property>
 166                         <property name="visible">True</property>
 167                         <property name="can_focus">True</property>
 168                         <property name="receives_default">False</property>
 169                         <property name="use_underline">True</property>
 170                         <property name="xalign">0</property>
 171                         <property name="draw_indicator">True</property>
 172                         <property name="group">originalsize</property>
 173                       </object>
 174                       <packing>
 175                         <property name="expand">False</property>
 176                         <property name="fill">True</property>
 177                         <property name="position">0</property>
 178                       </packing>
 179                     </child>
 180                     <child>
 181                       <object class="GtkSpinButton" id="scalingspin">
 182                         <property name="visible">True</property>
 183                         <property name="can_focus">True</property>
 184                         <property name="truncate-multiline">True</property>
 185                         <property name="adjustment">adjustment1</property>
 186                       </object>
 187                       <packing>
 188                         <property name="expand">False</property>
 189                         <property name="fill">True</property>
 190                         <property name="position">1</property>
 191                       </packing>
 192                     </child>
 193                   </object>
 194                   <packing>
 195                     <property name="expand">False</property>
 196                     <property name="fill">True</property>
 197                     <property name="position">2</property>
 198                   </packing>
 199                 </child>
 200               </object>
 201             </child>
 202           </object>
 203         </child>
 204         <child type="label">
 205           <object class="GtkLabel" id="label5">
 206             <property name="visible">True</property>
 207             <property name="can_focus">False</property>
 208             <property name="label" translatable="yes" context="printeroptions|label5">Size</property>
 209             <attributes>
 210               <attribute name="weight" value="bold"/>
 211             </attributes>
 212           </object>
 213         </child>
 214       </object>
 215       <packing>
 216         <property name="expand">False</property>
 217         <property name="fill">True</property>
 218         <property name="position">1</property>
 219       </packing>
 220     </child>
 221   </object>
 222 </interface>