@@ -91,13 +91,13 @@ QProgressBar::chunk { background: #0e639c; }</string>
9191 <property name =" minimumSize" >
9292 <size >
9393 <width >0</width >
94- <height >36 </height >
94+ <height >42 </height >
9595 </size >
9696 </property >
9797 <property name =" maximumSize" >
9898 <size >
9999 <width >16777215</width >
100- <height >36 </height >
100+ <height >42 </height >
101101 </size >
102102 </property >
103103 <property name =" frameShape" >
@@ -108,7 +108,7 @@ QProgressBar::chunk { background: #0e639c; }</string>
108108 </property >
109109 <layout class =" QHBoxLayout" name =" headerLayout" >
110110 <property name =" spacing" >
111- <number >8 </number >
111+ <number >10 </number >
112112 </property >
113113 <property name =" leftMargin" >
114114 <number >10</number >
@@ -146,8 +146,8 @@ QProgressBar::chunk { background: #0e639c; }</string>
146146 <widget class =" QPushButton" name =" compile_btn" >
147147 <property name =" minimumSize" >
148148 <size >
149- <width >90 </width >
150- <height >28 </height >
149+ <width >110 </width >
150+ <height >30 </height >
151151 </size >
152152 </property >
153153 <property name =" text" >
@@ -159,8 +159,8 @@ QProgressBar::chunk { background: #0e639c; }</string>
159159 <widget class =" QPushButton" name =" cancel_btn" >
160160 <property name =" minimumSize" >
161161 <size >
162- <width >90 </width >
163- <height >28 </height >
162+ <width >110 </width >
163+ <height >30 </height >
164164 </size >
165165 </property >
166166 <property name =" text" >
@@ -264,13 +264,13 @@ QProgressBar::chunk { background: #0e639c; }</string>
264264 <widget class =" QFrame" name =" workspace_panel" >
265265 <property name =" minimumSize" >
266266 <size >
267- <width >260 </width >
267+ <width >280 </width >
268268 <height >0</height >
269269 </size >
270270 </property >
271271 <property name =" maximumSize" >
272272 <size >
273- <width >420 </width >
273+ <width >380 </width >
274274 <height >16777215</height >
275275 </size >
276276 </property >
@@ -408,13 +408,13 @@ QProgressBar::chunk { background: #0e639c; }</string>
408408 <widget class =" QFrame" name =" tools_panel" >
409409 <property name =" minimumSize" >
410410 <size >
411- <width >180 </width >
411+ <width >170 </width >
412412 <height >0</height >
413413 </size >
414414 </property >
415415 <property name =" maximumSize" >
416416 <size >
417- <width >300 </width >
417+ <width >260 </width >
418418 <height >16777215</height >
419419 </size >
420420 </property >
@@ -537,13 +537,13 @@ QProgressBar::chunk { background: #0e639c; }</string>
537537 <property name =" minimumSize" >
538538 <size >
539539 <width >0</width >
540- <height >160 </height >
540+ <height >130 </height >
541541 </size >
542542 </property >
543543 <property name =" maximumSize" >
544544 <size >
545545 <width >16777215</width >
546- <height >240 </height >
546+ <height >210 </height >
547547 </size >
548548 </property >
549549 <property name =" frameShape" >
0 commit comments