starmath/uiconfig/smath/ui/printeroptions.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="GtkBox" id="box">
   6     <property name="visible">True</property>
   7     <property name="can_focus">False</property>
   8     <property name="hexpand">True</property>
   9     <property name="vexpand">True</property>
  10     <property name="orientation">vertical</property>
  11     <property name="spacing">12</property>
  12     <child>
  13       <object class="GtkFrame" id="contents">
  14         <property name="visible">True</property>
  15         <property name="can_focus">False</property>
  16         <property name="label_xalign">0</property>
  17         <property name="shadow_type">none</property>
  18         <child>
  19           <object class="GtkAlignment" id="alignment1">
  20             <property name="visible">True</property>
  21             <property name="can_focus">False</property>
  22             <property name="top_padding">6</property>
  23             <property name="left_padding">12</property>
  24             <child>
  25               <object class="GtkBox" id="box2">
  26                 <property name="visible">True</property>
  27                 <property name="can_focus">False</property>
  28                 <property name="orientation">vertical</property>
  29                 <property name="spacing">6</property>
  30                 <child>
  31                   <object class="GtkCheckButton" id="title">
  32                     <property name="label" translatable="yes">Title</property>
  33                     <property name="use_action_appearance">False</property>
  34                     <property name="visible">True</property>
  35                     <property name="can_focus">True</property>
  36                     <property name="receives_default">False</property>
  37                     <property name="xalign">0</property>
  38                     <property name="draw_indicator">True</property>
  39                   </object>
  40                   <packing>
  41                     <property name="expand">False</property>
  42                     <property name="fill">True</property>
  43                     <property name="position">0</property>
  44                   </packing>
  45                 </child>
  46                 <child>
  47                   <object class="GtkCheckButton" id="formulatext">
  48                     <property name="label" translatable="yes">Formula text</property>
  49                     <property name="use_action_appearance">False</property>
  50                     <property name="visible">True</property>
  51                     <property name="can_focus">True</property>
  52                     <property name="receives_default">False</property>
  53                     <property name="xalign">0</property>
  54                     <property name="draw_indicator">True</property>
  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="GtkCheckButton" id="borders">
  64                     <property name="label" translatable="yes">Borders</property>
  65                     <property name="use_action_appearance">False</property>
  66                     <property name="visible">True</property>
  67                     <property name="can_focus">True</property>
  68                     <property name="receives_default">False</property>
  69                     <property name="xalign">0</property>
  70                     <property name="draw_indicator">True</property>
  71                   </object>
  72                   <packing>
  73                     <property name="expand">False</property>
  74                     <property name="fill">True</property>
  75                     <property name="position">2</property>
  76                   </packing>
  77                 </child>
  78               </object>
  79             </child>
  80           </object>
  81         </child>
  82         <child type="label">
  83           <object class="GtkLabel" id="label4">
  84             <property name="visible">True</property>
  85             <property name="can_focus">False</property>
  86             <property name="label" translatable="yes">Contents</property>
  87             <attributes>
  88               <attribute name="weight" value="bold"/>
  89             </attributes>
  90           </object>
  91         </child>
  92       </object>
  93       <packing>
  94         <property name="expand">False</property>
  95         <property name="fill">True</property>
  96         <property name="position">0</property>
  97       </packing>
  98     </child>
  99     <child>
 100       <object class="GtkFrame" id="size">
 101         <property name="visible">True</property>
 102         <property name="can_focus">False</property>
 103         <property name="label_xalign">0</property>
 104         <property name="shadow_type">none</property>
 105         <child>
 106           <object class="GtkAlignment" id="alignment2">
 107             <property name="visible">True</property>
 108             <property name="can_focus">False</property>
 109             <property name="top_padding">6</property>
 110             <property name="left_padding">12</property>
 111             <child>
 112               <object class="GtkBox" id="box1">
 113                 <property name="visible">True</property>
 114                 <property name="can_focus">False</property>
 115                 <property name="orientation">vertical</property>
 116                 <property name="spacing">6</property>
 117                 <child>
 118                   <object class="GtkRadioButton" id="originalsize">
 119                     <property name="label" translatable="yes">Original size</property>
 120                     <property name="use_action_appearance">False</property>
 121                     <property name="visible">True</property>
 122                     <property name="can_focus">True</property>
 123                     <property name="receives_default">False</property>
 124                     <property name="xalign">0</property>
 125                     <property name="active">True</property>
 126                     <property name="draw_indicator">True</property>
 127                     <property name="group">fittopage</property>
 128                   </object>
 129                   <packing>
 130                     <property name="expand">False</property>
 131                     <property name="fill">True</property>
 132                     <property name="position">0</property>
 133                   </packing>
 134                 </child>
 135                 <child>
 136                   <object class="GtkRadioButton" id="fittopage">
 137                     <property name="label" translatable="yes">Fit to page</property>
 138                     <property name="use_action_appearance">False</property>
 139                     <property name="visible">True</property>
 140                     <property name="can_focus">True</property>
 141                     <property name="receives_default">False</property>
 142                     <property name="xalign">0</property>
 143                     <property name="draw_indicator">True</property>
 144                     <property name="group">scaling</property>
 145                   </object>
 146                   <packing>
 147                     <property name="expand">False</property>
 148                     <property name="fill">True</property>
 149                     <property name="position">1</property>
 150                   </packing>
 151                 </child>
 152                 <child>
 153                   <object class="GtkBox" id="box3">
 154                     <property name="visible">True</property>
 155                     <property name="can_focus">False</property>
 156                     <property name="spacing">12</property>
 157                     <child>
 158                       <object class="GtkRadioButton" id="scaling">
 159                         <property name="label" translatable="yes">Scaling:</property>
 160                         <property name="use_action_appearance">False</property>
 161                         <property name="visible">True</property>
 162                         <property name="can_focus">True</property>
 163                         <property name="receives_default">False</property>
 164                         <property name="xalign">0</property>
 165                         <property name="draw_indicator">True</property>
 166                         <property name="group">originalsize</property>
 167                       </object>
 168                       <packing>
 169                         <property name="expand">False</property>
 170                         <property name="fill">True</property>
 171                         <property name="position">0</property>
 172                       </packing>
 173                     </child>
 174                     <child>
 175                       <object class="GtkSpinButton" id="scalingspin">
 176                         <property name="visible">True</property>
 177                         <property name="can_focus">True</property>
 178                         <property name="invisible_char">●</property>
 179                       </object>
 180                       <packing>
 181                         <property name="expand">False</property>
 182                         <property name="fill">True</property>
 183                         <property name="position">1</property>
 184                       </packing>
 185                     </child>
 186                   </object>
 187                   <packing>
 188                     <property name="expand">False</property>
 189                     <property name="fill">True</property>
 190                     <property name="position">2</property>
 191                   </packing>
 192                 </child>
 193               </object>
 194             </child>
 195           </object>
 196         </child>
 197         <child type="label">
 198           <object class="GtkLabel" id="label5">
 199             <property name="visible">True</property>
 200             <property name="can_focus">False</property>
 201             <property name="label" translatable="yes">Size</property>
 202             <attributes>
 203               <attribute name="weight" value="bold"/>
 204             </attributes>
 205           </object>
 206         </child>
 207       </object>
 208       <packing>
 209         <property name="expand">False</property>
 210         <property name="fill">True</property>
 211         <property name="position">1</property>
 212       </packing>
 213     </child>
 214   </object>
 215 </interface>