2 <class>optionsgui</class>
3 <widget class="QDialog" name="optionsgui" >
4 <property name="geometry" >
12 <property name="windowTitle" >
13 <string>Options</string>
15 <widget class="QSpinBox" name="diffContextSpin" >
16 <property name="geometry" >
24 <property name="minimum" >
27 <property name="value" >
31 <widget class="QLabel" name="label" >
32 <property name="geometry" >
40 <property name="text" >
41 <string>Diff Context Lines</string>
44 <widget class="QCheckBox" name="summarizeMerges" >
45 <property name="geometry" >
53 <property name="text" >
54 <string>Summarize Merge Commits</string>
57 <widget class="QFontComboBox" name="diffFontCombo" >
58 <property name="geometry" >
67 <widget class="QSpinBox" name="diffFontSpin" >
68 <property name="geometry" >
76 <property name="minimum" >
79 <property name="value" >
83 <widget class="QPushButton" name="okButton" >
84 <property name="geometry" >
92 <property name="text" >