starmath/uiconfig/smath/ui/fontsizedialog.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="adjustmentBaseSize">
   6     <property name="lower">4</property>
   7     <property name="upper">127</property>
   8     <property name="step_increment">1</property>
   9     <property name="page_increment">10</property>
  10   </object>
  11   <object class="GtkAdjustment" id="adjustmentRelativeSizes">
  12     <property name="lower">5</property>
  13     <property name="upper">200</property>
  14     <property name="step_increment">1</property>
  15     <property name="page_increment">10</property>
  16   </object>
  17   <object class="GtkDialog" id="FontSizeDialog">
  18     <property name="can_focus">False</property>
  19     <property name="border_width">6</property>
  20     <property name="title" translatable="yes">Font Sizes</property>
  21     <property name="resizable">False</property>
  22     <property name="modal">True</property>
  23     <property name="type_hint">dialog</property>
  24     <child internal-child="vbox">
  25       <object class="GtkBox" id="dialog-vbox4">
  26         <property name="can_focus">False</property>
  27         <property name="spacing">12</property>
  28         <child internal-child="action_area">
  29           <object class="GtkButtonBox" id="dialog-action_area4">
  30             <property name="can_focus">False</property>
  31             <property name="orientation">vertical</property>
  32             <property name="layout_style">start</property>
  33             <child>
  34               <object class="GtkButton" id="ok">
  35                 <property name="label">gtk-ok</property>
  36                 <property name="visible">True</property>
  37                 <property name="can_focus">True</property>
  38                 <property name="can_default">True</property>
  39                 <property name="has_default">True</property>
  40                 <property name="receives_default">True</property>
  41                 <property name="use_stock">True</property>
  42               </object>
  43               <packing>
  44                 <property name="expand">False</property>
  45                 <property name="fill">True</property>
  46                 <property name="position">0</property>
  47               </packing>
  48             </child>
  49             <child>
  50               <object class="GtkButton" id="cancel">
  51                 <property name="label">gtk-cancel</property>
  52                 <property name="visible">True</property>
  53                 <property name="can_focus">True</property>
  54                 <property name="receives_default">True</property>
  55                 <property name="use_stock">True</property>
  56               </object>
  57               <packing>
  58                 <property name="expand">False</property>
  59                 <property name="fill">True</property>
  60                 <property name="position">1</property>
  61               </packing>
  62             </child>
  63             <child>
  64               <object class="GtkButton" id="help">
  65                 <property name="label">gtk-help</property>
  66                 <property name="visible">True</property>
  67                 <property name="can_focus">True</property>
  68                 <property name="receives_default">True</property>
  69                 <property name="use_stock">True</property>
  70               </object>
  71               <packing>
  72                 <property name="expand">False</property>
  73                 <property name="fill">True</property>
  74                 <property name="position">2</property>
  75               </packing>
  76             </child>
  77             <child>
  78               <object class="GtkButton" id="default">
  79                 <property name="label" translatable="yes">_Default</property>
  80                 <property name="visible">True</property>
  81                 <property name="can_focus">True</property>
  82                 <property name="receives_default">True</property>
  83                 <property name="use_underline">True</property>
  84               </object>
  85               <packing>
  86                 <property name="expand">False</property>
  87                 <property name="fill">True</property>
  88                 <property name="position">3</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           <object class="GtkBox" id="box1">
 101             <property name="visible">True</property>
 102             <property name="can_focus">False</property>
 103             <property name="hexpand">True</property>
 104             <property name="orientation">vertical</property>
 105             <property name="spacing">12</property>
 106             <child>
 107               <object class="GtkAlignment" id="alignment2">
 108                 <property name="visible">True</property>
 109                 <property name="can_focus">False</property>
 110                 <property name="left_padding">12</property>
 111                 <child>
 112                   <object class="GtkBox" id="box2">
 113                     <property name="visible">True</property>
 114                     <property name="can_focus">False</property>
 115                     <property name="hexpand">True</property>
 116                     <property name="spacing">12</property>
 117                     <child>
 118                       <object class="GtkLabel" id="label4">
 119                         <property name="visible">True</property>
 120                         <property name="can_focus">False</property>
 121                         <property name="xalign">0</property>
 122                         <property name="label" translatable="yes">Base _size:</property>
 123                         <property name="use_underline">True</property>
 124                         <property name="mnemonic_widget">spinB_baseSize:0pt</property>
 125                       </object>
 126                       <packing>
 127                         <property name="expand">False</property>
 128                         <property name="fill">True</property>
 129                         <property name="position">0</property>
 130                       </packing>
 131                     </child>
 132                     <child>
 133                       <object class="GtkSpinButton" id="spinB_baseSize:0pt">
 134                         <property name="visible">True</property>
 135                         <property name="can_focus">True</property>
 136                         <property name="hexpand">True</property>
 137                         <property name="invisible_char">●</property>
 138                         <property name="adjustment">adjustmentBaseSize</property>
 139                       </object>
 140                       <packing>
 141                         <property name="expand">False</property>
 142                         <property name="fill">True</property>
 143                         <property name="position">1</property>
 144                       </packing>
 145                     </child>
 146                   </object>
 147                 </child>
 148               </object>
 149               <packing>
 150                 <property name="expand">False</property>
 151                 <property name="fill">True</property>
 152                 <property name="position">0</property>
 153               </packing>
 154             </child>
 155             <child>
 156               <object class="GtkFrame" id="frame1">
 157                 <property name="visible">True</property>
 158                 <property name="can_focus">False</property>
 159                 <property name="hexpand">True</property>
 160                 <property name="label_xalign">0</property>
 161                 <property name="shadow_type">none</property>
 162                 <child>
 163                   <object class="GtkAlignment" id="alignment1">
 164                     <property name="visible">True</property>
 165                     <property name="can_focus">False</property>
 166                     <property name="hexpand">True</property>
 167                     <property name="top_padding">6</property>
 168                     <property name="left_padding">12</property>
 169                     <child>
 170                       <object class="GtkGrid" id="grid1">
 171                         <property name="visible">True</property>
 172                         <property name="can_focus">False</property>
 173                         <property name="hexpand">True</property>
 174                         <property name="row_spacing">6</property>
 175                         <property name="column_spacing">12</property>
 176                         <child>
 177                           <object class="GtkSpinButton" id="spinB_function:0%">
 178                             <property name="visible">True</property>
 179                             <property name="can_focus">True</property>
 180                             <property name="hexpand">True</property>
 181                             <property name="invisible_char">●</property>
 182                             <property name="adjustment">adjustmentRelativeSizes</property>
 183                           </object>
 184                           <packing>
 185                             <property name="left_attach">1</property>
 186                             <property name="top_attach">2</property>
 187                           </packing>
 188                         </child>
 189                         <child>
 190                           <object class="GtkLabel" id="label2">
 191                             <property name="visible">True</property>
 192                             <property name="can_focus">False</property>
 193                             <property name="xalign">0</property>
 194                             <property name="label" translatable="yes">_Operators:</property>
 195                             <property name="use_underline">True</property>
 196                             <property name="mnemonic_widget">spinB_function:0%</property>
 197                           </object>
 198                           <packing>
 199                             <property name="left_attach">0</property>
 200                             <property name="top_attach">3</property>
 201                           </packing>
 202                         </child>
 203                         <child>
 204                           <object class="GtkLabel" id="label3">
 205                             <property name="visible">True</property>
 206                             <property name="can_focus">False</property>
 207                             <property name="xalign">0</property>
 208                             <property name="label" translatable="yes">_Limits:</property>
 209                             <property name="use_underline">True</property>
 210                             <property name="mnemonic_widget">spinB_limit:0%</property>
 211                           </object>
 212                           <packing>
 213                             <property name="left_attach">0</property>
 214                             <property name="top_attach">4</property>
 215                           </packing>
 216                         </child>
 217                         <child>
 218                           <object class="GtkSpinButton" id="spinB_operator:0%">
 219                             <property name="visible">True</property>
 220                             <property name="can_focus">True</property>
 221                             <property name="hexpand">True</property>
 222                             <property name="invisible_char">●</property>
 223                             <property name="adjustment">adjustmentRelativeSizes</property>
 224                           </object>
 225                           <packing>
 226                             <property name="left_attach">1</property>
 227                             <property name="top_attach">3</property>
 228                           </packing>
 229                         </child>
 230                         <child>
 231                           <object class="GtkSpinButton" id="spinB_limit:0%">
 232                             <property name="visible">True</property>
 233                             <property name="can_focus">True</property>
 234                             <property name="hexpand">True</property>
 235                             <property name="invisible_char">●</property>
 236                             <property name="adjustment">adjustmentRelativeSizes</property>
 237                           </object>
 238                           <packing>
 239                             <property name="left_attach">1</property>
 240                             <property name="top_attach">4</property>
 241                           </packing>
 242                         </child>
 243                         <child>
 244                           <object class="GtkLabel" id="label5">
 245                             <property name="visible">True</property>
 246                             <property name="can_focus">False</property>
 247                             <property name="xalign">0</property>
 248                             <property name="label" translatable="yes">_Text:</property>
 249                             <property name="use_underline">True</property>
 250                             <property name="mnemonic_widget">spinB_text:0%</property>
 251                           </object>
 252                           <packing>
 253                             <property name="left_attach">0</property>
 254                             <property name="top_attach">0</property>
 255                           </packing>
 256                         </child>
 257                         <child>
 258                           <object class="GtkLabel" id="label7">
 259                             <property name="visible">True</property>
 260                             <property name="can_focus">False</property>
 261                             <property name="xalign">0</property>
 262                             <property name="label" translatable="yes">_Functions:</property>
 263                             <property name="use_underline">True</property>
 264                             <property name="mnemonic_widget">spinB_function:0%</property>
 265                           </object>
 266                           <packing>
 267                             <property name="left_attach">0</property>
 268                             <property name="top_attach">2</property>
 269                           </packing>
 270                         </child>
 271                         <child>
 272                           <object class="GtkLabel" id="label6">
 273                             <property name="visible">True</property>
 274                             <property name="can_focus">False</property>
 275                             <property name="xalign">0</property>
 276                             <property name="label" translatable="yes">_Indexes:</property>
 277                             <property name="use_underline">True</property>
 278                             <property name="mnemonic_widget">spinB_index:0%</property>
 279                           </object>
 280                           <packing>
 281                             <property name="left_attach">0</property>
 282                             <property name="top_attach">1</property>
 283                           </packing>
 284                         </child>
 285                         <child>
 286                           <object class="GtkSpinButton" id="spinB_text:0%">
 287                             <property name="visible">True</property>
 288                             <property name="can_focus">True</property>
 289                             <property name="hexpand">True</property>
 290                             <property name="invisible_char">●</property>
 291                             <property name="adjustment">adjustmentRelativeSizes</property>
 292                           </object>
 293                           <packing>
 294                             <property name="left_attach">1</property>
 295                             <property name="top_attach">0</property>
 296                           </packing>
 297                         </child>
 298                         <child>
 299                           <object class="GtkSpinButton" id="spinB_index:0%">
 300                             <property name="visible">True</property>
 301                             <property name="can_focus">True</property>
 302                             <property name="hexpand">True</property>
 303                             <property name="invisible_char">●</property>
 304                             <property name="adjustment">adjustmentRelativeSizes</property>
 305                           </object>
 306                           <packing>
 307                             <property name="left_attach">1</property>
 308                             <property name="top_attach">1</property>
 309                           </packing>
 310                         </child>
 311                       </object>
 312                     </child>
 313                   </object>
 314                 </child>
 315                 <child type="label">
 316                   <object class="GtkLabel" id="label1">
 317                     <property name="visible">True</property>
 318                     <property name="can_focus">False</property>
 319                     <property name="label" translatable="yes">Relative Sizes</property>
 320                     <attributes>
 321                       <attribute name="weight" value="bold"/>
 322                     </attributes>
 323                   </object>
 324                 </child>
 325               </object>
 326               <packing>
 327                 <property name="expand">False</property>
 328                 <property name="fill">True</property>
 329                 <property name="position">1</property>
 330               </packing>
 331             </child>
 332           </object>
 333           <packing>
 334             <property name="expand">False</property>
 335             <property name="fill">True</property>
 336             <property name="position">1</property>
 337           </packing>
 338         </child>
 339       </object>
 340     </child>
 341     <action-widgets>
 342       <action-widget response="0">ok</action-widget>
 343       <action-widget response="0">cancel</action-widget>
 344       <action-widget response="0">help</action-widget>
 345       <action-widget response="0">default</action-widget>
 346     </action-widgets>
 347   </object>
 348   <object class="GtkSizeGroup" id="sizegroup1">
 349     <widgets>
 350       <widget name="label4"/>
 351       <widget name="label2"/>
 352       <widget name="label3"/>
 353       <widget name="label5"/>
 354       <widget name="label7"/>
 355       <widget name="label6"/>
 356     </widgets>
 357   </object>
 358 </interface>