| changeset 4434 | 34c305fbc63c |
| parent 4426 | 969e411c72aa |
| child 4439 | 27a896207aae |
| 4433:e0092290b7c5 | 4434:34c305fbc63c |
|---|---|
48 <height>40</height> |
48 <height>40</height> |
49 </size> |
49 </size> |
50 </property> |
50 </property> |
51 </spacer> |
51 </spacer> |
52 </item> |
52 </item> |
53 <item> |
|
54 <widget class="QPushButton" name="pbSimplify"> |
|
55 <property name="text"> |
|
56 <string>Simplify</string> |
|
57 </property> |
|
58 </widget> |
|
59 </item> |
|
53 </layout> |
60 </layout> |
54 </item> |
61 </item> |
55 </layout> |
62 </layout> |
56 </widget> |
63 </widget> |
57 </widget> |
64 </widget> |