|
7 | 7 | <x>0</x> |
8 | 8 | <y>0</y> |
9 | 9 | <width>615</width> |
10 | | - <height>450</height> |
| 10 | + <height>458</height> |
11 | 11 | </rect> |
12 | 12 | </property> |
13 | 13 | <property name="minimumSize"> |
14 | 14 | <size> |
15 | 15 | <width>555</width> |
16 | | - <height>450</height> |
| 16 | + <height>458</height> |
17 | 17 | </size> |
18 | 18 | </property> |
19 | 19 | <property name="windowTitle"> |
|
27 | 27 | </size> |
28 | 28 | </property> |
29 | 29 | <layout class="QGridLayout" name="gridLayout"> |
30 | | - <item row="1" column="0"> |
31 | | - <widget class="QSplitter" name="splitter"> |
32 | | - <property name="sizePolicy"> |
33 | | - <sizepolicy hsizetype="Expanding" vsizetype="Expanding"> |
34 | | - <horstretch>0</horstretch> |
35 | | - <verstretch>0</verstretch> |
36 | | - </sizepolicy> |
37 | | - </property> |
38 | | - <property name="minimumSize"> |
39 | | - <size> |
40 | | - <width>531</width> |
41 | | - <height>300</height> |
42 | | - </size> |
43 | | - </property> |
44 | | - <property name="orientation"> |
45 | | - <enum>Qt::Horizontal</enum> |
46 | | - </property> |
47 | | - <widget class="QListWidget" name="provenanceListWidget_"> |
48 | | - <property name="minimumSize"> |
49 | | - <size> |
50 | | - <width>200</width> |
51 | | - <height>0</height> |
52 | | - </size> |
53 | | - </property> |
54 | | - <property name="toolTip"> |
55 | | - <string>List of historical actions</string> |
56 | | - </property> |
57 | | - </widget> |
58 | | - <widget class="QTextEdit" name="networkXMLTextEdit_"> |
59 | | - <property name="minimumSize"> |
60 | | - <size> |
61 | | - <width>500</width> |
62 | | - <height>342</height> |
63 | | - </size> |
64 | | - </property> |
65 | | - <property name="toolTip"> |
66 | | - <string>Network XML as of this change</string> |
67 | | - </property> |
68 | | - <property name="readOnly"> |
69 | | - <bool>true</bool> |
70 | | - </property> |
71 | | - </widget> |
72 | | - </widget> |
73 | | - </item> |
74 | | - <item row="4" column="0"> |
75 | | - <widget class="QPushButton" name="clearButton_"> |
76 | | - <property name="maximumSize"> |
77 | | - <size> |
78 | | - <width>100</width> |
79 | | - <height>16777215</height> |
80 | | - </size> |
81 | | - </property> |
82 | | - <property name="text"> |
83 | | - <string>Clear</string> |
84 | | - </property> |
85 | | - </widget> |
86 | | - </item> |
87 | 30 | <item row="0" column="0"> |
88 | 31 | <layout class="QGridLayout" name="gridLayout_2"> |
89 | 32 | <property name="topMargin"> |
|
158 | 101 | </item> |
159 | 102 | </layout> |
160 | 103 | </item> |
| 104 | + <item row="1" column="0"> |
| 105 | + <widget class="QSplitter" name="splitter"> |
| 106 | + <property name="sizePolicy"> |
| 107 | + <sizepolicy hsizetype="Expanding" vsizetype="Expanding"> |
| 108 | + <horstretch>0</horstretch> |
| 109 | + <verstretch>0</verstretch> |
| 110 | + </sizepolicy> |
| 111 | + </property> |
| 112 | + <property name="minimumSize"> |
| 113 | + <size> |
| 114 | + <width>531</width> |
| 115 | + <height>300</height> |
| 116 | + </size> |
| 117 | + </property> |
| 118 | + <property name="orientation"> |
| 119 | + <enum>Qt::Horizontal</enum> |
| 120 | + </property> |
| 121 | + <widget class="QListWidget" name="provenanceListWidget_"> |
| 122 | + <property name="minimumSize"> |
| 123 | + <size> |
| 124 | + <width>200</width> |
| 125 | + <height>0</height> |
| 126 | + </size> |
| 127 | + </property> |
| 128 | + <property name="toolTip"> |
| 129 | + <string>List of historical actions</string> |
| 130 | + </property> |
| 131 | + </widget> |
| 132 | + <widget class="QTextEdit" name="networkXMLTextEdit_"> |
| 133 | + <property name="minimumSize"> |
| 134 | + <size> |
| 135 | + <width>500</width> |
| 136 | + <height>342</height> |
| 137 | + </size> |
| 138 | + </property> |
| 139 | + <property name="toolTip"> |
| 140 | + <string>Network XML as of this change</string> |
| 141 | + </property> |
| 142 | + <property name="readOnly"> |
| 143 | + <bool>true</bool> |
| 144 | + </property> |
| 145 | + </widget> |
| 146 | + </widget> |
| 147 | + </item> |
| 148 | + <item row="5" column="0"> |
| 149 | + <layout class="QGridLayout" name="gridLayout_3"> |
| 150 | + <item row="0" column="2"> |
| 151 | + <widget class="QLabel" name="label"> |
| 152 | + <property name="text"> |
| 153 | + <string>Items to keep in history:</string> |
| 154 | + </property> |
| 155 | + <property name="alignment"> |
| 156 | + <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set> |
| 157 | + </property> |
| 158 | + </widget> |
| 159 | + </item> |
| 160 | + <item row="0" column="0"> |
| 161 | + <widget class="QPushButton" name="clearButton_"> |
| 162 | + <property name="maximumSize"> |
| 163 | + <size> |
| 164 | + <width>100</width> |
| 165 | + <height>16777215</height> |
| 166 | + </size> |
| 167 | + </property> |
| 168 | + <property name="text"> |
| 169 | + <string>Clear</string> |
| 170 | + </property> |
| 171 | + </widget> |
| 172 | + </item> |
| 173 | + <item row="0" column="3"> |
| 174 | + <widget class="QSpinBox" name="itemMaxSpinBox_"> |
| 175 | + <property name="minimum"> |
| 176 | + <number>0</number> |
| 177 | + </property> |
| 178 | + <property name="maximum"> |
| 179 | + <number>999</number> |
| 180 | + </property> |
| 181 | + <property name="value"> |
| 182 | + <number>10</number> |
| 183 | + </property> |
| 184 | + </widget> |
| 185 | + </item> |
| 186 | + <item row="0" column="1"> |
| 187 | + <spacer name="horizontalSpacer"> |
| 188 | + <property name="orientation"> |
| 189 | + <enum>Qt::Horizontal</enum> |
| 190 | + </property> |
| 191 | + <property name="sizeHint" stdset="0"> |
| 192 | + <size> |
| 193 | + <width>40</width> |
| 194 | + <height>20</height> |
| 195 | + </size> |
| 196 | + </property> |
| 197 | + </spacer> |
| 198 | + </item> |
| 199 | + </layout> |
| 200 | + </item> |
161 | 201 | </layout> |
162 | 202 | </widget> |
163 | 203 | </widget> |
|
0 commit comments