EVOLUTION-MANAGER
Edit File: spacingdialog.ui
<?xml version="1.0" encoding="UTF-8"?> <!-- Generated with glade 3.18.3 --> <interface> <requires lib="gtk+" version="3.0"/> <object class="GtkDialog" id="SpacingDialog"> <property name="can_focus">False</property> <property name="border_width">6</property> <property name="title" translatable="yes">Spacing</property> <property name="resizable">False</property> <property name="modal">True</property> <property name="type_hint">dialog</property> <child internal-child="vbox"> <object class="GtkBox" id="dialog-vbox4"> <property name="can_focus">False</property> <property name="spacing">12</property> <child internal-child="action_area"> <object class="GtkButtonBox" id="dialog-action_area4"> <property name="can_focus">False</property> <property name="orientation">vertical</property> <property name="layout_style">start</property> <child> <object class="GtkButton" id="ok"> <property name="label">gtk-ok</property> <property name="visible">True</property> <property name="can_focus">True</property> <property name="can_default">True</property> <property name="has_default">True</property> <property name="receives_default">True</property> <property name="use_stock">True</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkButton" id="cancel"> <property name="label">gtk-cancel</property> <property name="visible">True</property> <property name="can_focus">True</property> <property name="receives_default">True</property> <property name="use_stock">True</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> <child> <object class="GtkButton" id="category:menu"> <property name="label" translatable="yes">_Category</property> <property name="visible">True</property> <property name="can_focus">True</property> <property name="receives_default">True</property> <property name="use_underline">True</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">2</property> <property name="secondary">True</property> </packing> </child> <child> <object class="GtkButton" id="default"> <property name="label" translatable="yes">_Default</property> <property name="visible">True</property> <property name="can_focus">True</property> <property name="receives_default">True</property> <property name="use_underline">True</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">3</property> <property name="secondary">True</property> </packing> </child> <child> <object class="GtkButton" id="help"> <property name="label">gtk-help</property> <property name="visible">True</property> <property name="can_focus">True</property> <property name="receives_default">True</property> <property name="use_stock">True</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">4</property> <property name="secondary">True</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="pack_type">end</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkBox" id="box1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="orientation">vertical</property> <property name="spacing">12</property> <child> <object class="GtkFrame" id="template"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="label_xalign">0</property> <property name="shadow_type">none</property> <child> <object class="GtkAlignment" id="alignment2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="top_padding">6</property> <property name="left_padding">12</property> <child> <object class="GtkBox" id="box4"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="orientation">vertical</property> <child> <object class="GtkBox" id="box5"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="spacing">12</property> <child> <object class="GtkGrid" id="grid2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="row_spacing">6</property> <property name="column_spacing">12</property> <child> <object class="GtkSpinButton" id="spinbutton1:0.00cm"> <property name="can_focus">True</property> <property name="no_show_all">True</property> <property name="invisible_char">●</property> </object> <packing> <property name="left_attach">1</property> <property name="top_attach">0</property> </packing> </child> <child> <object class="GtkSpinButton" id="spinbutton2:0.00cm"> <property name="can_focus">True</property> <property name="no_show_all">True</property> <property name="invisible_char">●</property> </object> <packing> <property name="left_attach">1</property> <property name="top_attach">1</property> </packing> </child> <child> <object class="GtkSpinButton" id="spinbutton3:0.00cm"> <property name="can_focus">True</property> <property name="no_show_all">True</property> <property name="invisible_char">●</property> </object> <packing> <property name="left_attach">1</property> <property name="top_attach">3</property> </packing> </child> <child> <object class="GtkLabel" id="label1"> <property name="can_focus">False</property> <property name="no_show_all">True</property> <property name="xalign">0</property> <property name="label" translatable="no">String 1</property> <property name="use_underline">True</property> <property name="mnemonic_widget">spinbutton1:0.00cm</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">0</property> </packing> </child> <child> <object class="GtkLabel" id="label2"> <property name="can_focus">False</property> <property name="no_show_all">True</property> <property name="xalign">0</property> <property name="label" translatable="no">String 2</property> <property name="use_underline">True</property> <property name="mnemonic_widget">spinbutton2:0.00cm</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">1</property> </packing> </child> <child> <object class="GtkLabel" id="label3"> <property name="can_focus">False</property> <property name="no_show_all">True</property> <property name="xalign">0</property> <property name="label" translatable="no">String 3</property> <property name="use_underline">True</property> <property name="mnemonic_widget">spinbutton3:0.00cm</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">3</property> </packing> </child> <child> <object class="GtkSpinButton" id="spinbutton4:0.00cm"> <property name="can_focus">True</property> <property name="no_show_all">True</property> <property name="invisible_char">●</property> </object> <packing> <property name="left_attach">1</property> <property name="top_attach">4</property> </packing> </child> <child> <object class="GtkLabel" id="label4"> <property name="can_focus">False</property> <property name="no_show_all">True</property> <property name="xalign">0</property> <property name="label" translatable="no">String 4</property> <property name="use_underline">True</property> <property name="mnemonic_widget">spinbutton4:0.00cm</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">4</property> </packing> </child> <child> <object class="GtkCheckButton" id="checkbutton"> <property name="label" translatable="yes">Scale all brackets</property> <property name="can_focus">True</property> <property name="receives_default">False</property> <property name="no_show_all">True</property> <property name="xalign">0</property> <property name="draw_indicator">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">2</property> <property name="width">2</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkBox" id="box6"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="orientation">vertical</property> <child> <object class="GtkImage" id="image"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="stock">gtk-missing-image</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> </object> </child> </object> </child> <child type="label"> <object class="GtkLabel" id="title"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">Title</property> <property name="use_underline">True</property> <attributes> <attribute name="weight" value="bold"/> </attributes> </object> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkFrame" id="frame1"> <property name="can_focus">False</property> <property name="no_show_all">True</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="label_xalign">0</property> <property name="shadow_type">none</property> <child> <object class="GtkAlignment" id="alignment3"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="top_padding">6</property> <property name="left_padding">12</property> <child> <object class="GtkBox" id="box8"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="orientation">vertical</property> <child> <object class="GtkBox" id="box9"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="spacing">12</property> <child> <object class="GtkGrid" id="grid3"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="row_spacing">6</property> <property name="column_spacing">12</property> <child> <object class="GtkLabel" id="1label1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Spacing:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">0</property> </packing> </child> <child> <object class="GtkLabel" id="1label2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Line spacing:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">1</property> </packing> </child> <child> <object class="GtkLabel" id="1label3"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Root spacing:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">2</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkBox" id="box10"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="orientation">vertical</property> <child> <object class="GtkImage" id="1image1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist11.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkImage" id="1image2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist12.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> <child> <object class="GtkImage" id="1image3"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist13.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">2</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> </object> </child> </object> </child> <child type="label"> <object class="GtkLabel" id="1title"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Spacing</property> <property name="use_underline">True</property> <attributes> <attribute name="weight" value="bold"/> </attributes> </object> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> <child> <object class="GtkFrame" id="frame2"> <property name="can_focus">False</property> <property name="no_show_all">True</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="label_xalign">0</property> <property name="shadow_type">none</property> <child> <object class="GtkAlignment" id="alignment4"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="top_padding">6</property> <property name="left_padding">12</property> <child> <object class="GtkBox" id="box11"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="orientation">vertical</property> <child> <object class="GtkBox" id="box12"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="spacing">12</property> <child> <object class="GtkGrid" id="grid4"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="row_spacing">6</property> <property name="column_spacing">12</property> <child> <object class="GtkLabel" id="2label1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Superscript:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">0</property> </packing> </child> <child> <object class="GtkLabel" id="2label2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">S_ubscript:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkBox" id="box13"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="orientation">vertical</property> <child> <object class="GtkImage" id="2image1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist21.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkImage" id="2image2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist22.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> </object> </child> </object> </child> <child type="label"> <object class="GtkLabel" id="2title"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Indexes</property> <property name="use_underline">True</property> <attributes> <attribute name="weight" value="bold"/> </attributes> </object> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">2</property> </packing> </child> <child> <object class="GtkFrame" id="frame3"> <property name="can_focus">False</property> <property name="no_show_all">True</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="label_xalign">0</property> <property name="shadow_type">none</property> <child> <object class="GtkAlignment" id="alignment5"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="top_padding">6</property> <property name="left_padding">12</property> <child> <object class="GtkBox" id="box14"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="orientation">vertical</property> <child> <object class="GtkBox" id="box15"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="spacing">12</property> <child> <object class="GtkGrid" id="grid5"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="row_spacing">6</property> <property name="column_spacing">12</property> <child> <object class="GtkLabel" id="3label1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Numerator:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">0</property> </packing> </child> <child> <object class="GtkLabel" id="3label2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Denominator:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkBox" id="box16"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="orientation">vertical</property> <child> <object class="GtkImage" id="3image1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist31.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkImage" id="3image2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist32.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> </object> </child> </object> </child> <child type="label"> <object class="GtkLabel" id="3title"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Fractions</property> <property name="use_underline">True</property> <attributes> <attribute name="weight" value="bold"/> </attributes> </object> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">3</property> </packing> </child> <child> <object class="GtkFrame" id="frame4"> <property name="can_focus">False</property> <property name="no_show_all">True</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="label_xalign">0</property> <property name="shadow_type">none</property> <child> <object class="GtkAlignment" id="alignment6"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="top_padding">6</property> <property name="left_padding">12</property> <child> <object class="GtkBox" id="box17"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="orientation">vertical</property> <child> <object class="GtkBox" id="box18"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="spacing">12</property> <child> <object class="GtkGrid" id="grid6"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="row_spacing">6</property> <property name="column_spacing">12</property> <child> <object class="GtkLabel" id="4label1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Excess length:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">0</property> </packing> </child> <child> <object class="GtkLabel" id="4label2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Weight:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkBox" id="box19"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="orientation">vertical</property> <child> <object class="GtkImage" id="4image1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist41.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkImage" id="4image2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist42.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> </object> </child> </object> </child> <child type="label"> <object class="GtkLabel" id="4title"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Fraction Bar</property> <property name="use_underline">True</property> <attributes> <attribute name="weight" value="bold"/> </attributes> </object> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">4</property> </packing> </child> <child> <object class="GtkFrame" id="frame5"> <property name="can_focus">False</property> <property name="no_show_all">True</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="label_xalign">0</property> <property name="shadow_type">none</property> <child> <object class="GtkAlignment" id="alignment7"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="top_padding">6</property> <property name="left_padding">12</property> <child> <object class="GtkBox" id="box20"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="orientation">vertical</property> <child> <object class="GtkBox" id="box21"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="spacing">12</property> <child> <object class="GtkGrid" id="grid7"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="row_spacing">6</property> <property name="column_spacing">12</property> <child> <object class="GtkLabel" id="5label1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Upper limit:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">0</property> </packing> </child> <child> <object class="GtkLabel" id="5label2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Lower limit:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkBox" id="box22"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="orientation">vertical</property> <child> <object class="GtkImage" id="5image1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist51.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkImage" id="5image2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist52.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> </object> </child> </object> </child> <child type="label"> <object class="GtkLabel" id="5title"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Limits</property> <property name="use_underline">True</property> <attributes> <attribute name="weight" value="bold"/> </attributes> </object> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">5</property> </packing> </child> <child> <object class="GtkFrame" id="frame6"> <property name="can_focus">False</property> <property name="no_show_all">True</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="label_xalign">0</property> <property name="shadow_type">none</property> <child> <object class="GtkAlignment" id="alignment8"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="top_padding">6</property> <property name="left_padding">12</property> <child> <object class="GtkBox" id="box23"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="orientation">vertical</property> <child> <object class="GtkBox" id="box24"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="spacing">12</property> <child> <object class="GtkGrid" id="grid8"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="row_spacing">6</property> <property name="column_spacing">12</property> <child> <object class="GtkLabel" id="6label1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Excess size (left/right):</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">0</property> </packing> </child> <child> <object class="GtkLabel" id="6label2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Spacing:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">1</property> </packing> </child> <child> <object class="GtkLabel" id="6label4"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Excess size:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">2</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkBox" id="box25"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="orientation">vertical</property> <child> <object class="GtkImage" id="6image1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist61.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkImage" id="6image2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist62.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> <child> <object class="GtkImage" id="6image4"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist61.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">2</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> </object> </child> </object> </child> <child type="label"> <object class="GtkLabel" id="6title"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Brackets</property> <property name="use_underline">True</property> <attributes> <attribute name="weight" value="bold"/> </attributes> </object> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">6</property> </packing> </child> <child> <object class="GtkFrame" id="frame7"> <property name="can_focus">False</property> <property name="no_show_all">True</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="label_xalign">0</property> <property name="shadow_type">none</property> <child> <object class="GtkAlignment" id="alignment9"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="top_padding">6</property> <property name="left_padding">12</property> <child> <object class="GtkBox" id="box26"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="orientation">vertical</property> <child> <object class="GtkBox" id="box27"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="spacing">12</property> <child> <object class="GtkGrid" id="grid9"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="row_spacing">6</property> <property name="column_spacing">12</property> <child> <object class="GtkLabel" id="7label1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Line spacing:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">0</property> </packing> </child> <child> <object class="GtkLabel" id="7label2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Column spacing:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkBox" id="box28"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="orientation">vertical</property> <child> <object class="GtkImage" id="7image1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist71.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkImage" id="7image2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist72.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> </object> </child> </object> </child> <child type="label"> <object class="GtkLabel" id="7title"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Matrix</property> <property name="use_underline">True</property> <attributes> <attribute name="weight" value="bold"/> </attributes> </object> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">7</property> </packing> </child> <child> <object class="GtkFrame" id="frame8"> <property name="can_focus">False</property> <property name="no_show_all">True</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="label_xalign">0</property> <property name="shadow_type">none</property> <child> <object class="GtkAlignment" id="alignment10"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="top_padding">6</property> <property name="left_padding">12</property> <child> <object class="GtkBox" id="box29"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="orientation">vertical</property> <child> <object class="GtkBox" id="box30"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="spacing">12</property> <child> <object class="GtkGrid" id="grid10"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="row_spacing">6</property> <property name="column_spacing">12</property> <child> <object class="GtkLabel" id="8label1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Primary height:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">0</property> </packing> </child> <child> <object class="GtkLabel" id="8label2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Minimum spacing:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkBox" id="box31"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="orientation">vertical</property> <child> <object class="GtkImage" id="8image1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist81.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkImage" id="8image2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist82.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> </object> </child> </object> </child> <child type="label"> <object class="GtkLabel" id="8title"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Symbols</property> <property name="use_underline">True</property> <attributes> <attribute name="weight" value="bold"/> </attributes> </object> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">8</property> </packing> </child> <child> <object class="GtkFrame" id="frame9"> <property name="can_focus">False</property> <property name="no_show_all">True</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="label_xalign">0</property> <property name="shadow_type">none</property> <child> <object class="GtkAlignment" id="alignment11"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="top_padding">6</property> <property name="left_padding">12</property> <child> <object class="GtkBox" id="box32"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="orientation">vertical</property> <child> <object class="GtkBox" id="box33"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="spacing">12</property> <child> <object class="GtkGrid" id="grid11"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="row_spacing">6</property> <property name="column_spacing">12</property> <child> <object class="GtkLabel" id="9label1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Excess size:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">0</property> </packing> </child> <child> <object class="GtkLabel" id="9label2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Spacing:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkBox" id="box34"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="orientation">vertical</property> <child> <object class="GtkImage" id="9image1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist91.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkImage" id="9image2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist92.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> </object> </child> </object> </child> <child type="label"> <object class="GtkLabel" id="9title"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Operators</property> <property name="use_underline">True</property> <attributes> <attribute name="weight" value="bold"/> </attributes> </object> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">9</property> </packing> </child> <child> <object class="GtkFrame" id="frame10"> <property name="can_focus">False</property> <property name="no_show_all">True</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="label_xalign">0</property> <property name="shadow_type">none</property> <child> <object class="GtkAlignment" id="alignment1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="top_padding">6</property> <property name="left_padding">12</property> <child> <object class="GtkBox" id="box2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="vexpand">True</property> <property name="orientation">vertical</property> <child> <object class="GtkBox" id="box3"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="spacing">12</property> <child> <object class="GtkGrid" id="grid1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="hexpand">True</property> <property name="row_spacing">6</property> <property name="column_spacing">12</property> <child> <object class="GtkLabel" id="10label1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Left:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">0</property> </packing> </child> <child> <object class="GtkLabel" id="10label2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Right:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">1</property> </packing> </child> <child> <object class="GtkLabel" id="10label3"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Top:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">2</property> </packing> </child> <child> <object class="GtkLabel" id="10label4"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="xalign">0</property> <property name="label" translatable="yes">_Bottom:</property> <property name="use_underline">True</property> </object> <packing> <property name="left_attach">0</property> <property name="top_attach">3</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkBox" id="box7"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="orientation">vertical</property> <child> <object class="GtkImage" id="10image1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist101.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkImage" id="10image2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist102.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> <child> <object class="GtkImage" id="10image3"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist103.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">2</property> </packing> </child> <child> <object class="GtkImage" id="10image4"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="pixbuf">starmath/res/dist104.png</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">3</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> </object> </child> </object> </child> <child type="label"> <object class="GtkLabel" id="10title"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Borders</property> <property name="use_underline">True</property> <attributes> <attribute name="weight" value="bold"/> </attributes> </object> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">10</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> </child> <action-widgets> <action-widget response="0">ok</action-widget> <action-widget response="0">cancel</action-widget> <action-widget response="0">category:menu</action-widget> <action-widget response="0">default</action-widget> <action-widget response="0">help</action-widget> </action-widgets> </object> <object class="GtkSizeGroup" id="sizegroup1"> <property name="mode">both</property> <widgets> <widget name="image"/> <widget name="1image1"/> <widget name="1image2"/> <widget name="1image3"/> <widget name="2image1"/> <widget name="2image2"/> <widget name="3image1"/> <widget name="3image2"/> <widget name="4image1"/> <widget name="4image2"/> <widget name="5image1"/> <widget name="5image2"/> <widget name="6image1"/> <widget name="6image2"/> <widget name="6image4"/> <widget name="7image1"/> <widget name="7image2"/> <widget name="8image1"/> <widget name="8image2"/> <widget name="9image1"/> <widget name="9image2"/> <widget name="10image1"/> <widget name="10image2"/> <widget name="10image3"/> <widget name="10image4"/> </widgets> </object> <object class="GtkSizeGroup" id="sizegroup2"> <widgets> <widget name="label1"/> <widget name="label2"/> <widget name="label3"/> <widget name="label4"/> <widget name="1label1"/> <widget name="1label2"/> <widget name="1label3"/> <widget name="2label1"/> <widget name="2label2"/> <widget name="3label1"/> <widget name="3label2"/> <widget name="4label1"/> <widget name="4label2"/> <widget name="5label1"/> <widget name="5label2"/> <widget name="6label1"/> <widget name="6label2"/> <widget name="6label4"/> <widget name="7label1"/> <widget name="7label2"/> <widget name="8label1"/> <widget name="8label2"/> <widget name="9label1"/> <widget name="9label2"/> <widget name="10label1"/> <widget name="10label2"/> <widget name="10label3"/> <widget name="10label4"/> </widgets> </object> <object class="GtkSizeGroup" id="sizegroup3"> <widgets> <widget name="title"/> <widget name="1title"/> <widget name="2title"/> <widget name="3title"/> <widget name="4title"/> <widget name="5title"/> <widget name="6title"/> <widget name="7title"/> <widget name="8title"/> <widget name="9title"/> <widget name="10title"/> </widgets> </object> <object class="GtkMenu" id="menu"> <property name="visible">True</property> <property name="can_focus">False</property> <child> <object class="GtkMenuItem" id="menuitem1"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Spacing</property> <property name="use_underline">True</property> </object> </child> <child> <object class="GtkMenuItem" id="menuitem2"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Indexes</property> <property name="use_underline">True</property> </object> </child> <child> <object class="GtkMenuItem" id="menuitem3"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Fractions</property> <property name="use_underline">True</property> </object> </child> <child> <object class="GtkMenuItem" id="menuitem4"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Fraction Bars</property> <property name="use_underline">True</property> </object> </child> <child> <object class="GtkMenuItem" id="menuitem5"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Limits</property> <property name="use_underline">True</property> </object> </child> <child> <object class="GtkMenuItem" id="menuitem6"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Brackets</property> <property name="use_underline">True</property> </object> </child> <child> <object class="GtkMenuItem" id="menuitem7"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Matrices</property> <property name="use_underline">True</property> </object> </child> <child> <object class="GtkMenuItem" id="menuitem8"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Symbols</property> <property name="use_underline">True</property> </object> </child> <child> <object class="GtkMenuItem" id="menuitem9"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Operators</property> <property name="use_underline">True</property> </object> </child> <child> <object class="GtkMenuItem" id="menuitem10"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Borders</property> <property name="use_underline">True</property> </object> </child> </object> </interface>