<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;">Uses to display diagrams about the trace</p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;">states. You can display it as chart or horizontal</p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; font-family:'Sans'; font-size:10pt;">the trace states. You can display</p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; font-family:'Sans'; font-size:10pt;">it as chart or horizontal bar.</p></body></html></string>
</property>
</widget>
</item>
<item>
<spacername="verticalSpacer">
<propertyname="orientation">
<spacer name="verticalSpacer">
<property name="orientation">
<enum>Qt::Vertical</enum>
</property>
<propertyname="sizeType">
<property name="sizeType">
<enum>QSizePolicy::Minimum</enum>
</property>
<propertyname="sizeHint"stdset="0">
<property name="sizeHint" stdset="0">
<size>
<width>20</width>
<height>40</height>
...
...
@@ -245,9 +255,9 @@ p, li { white-space: pre-wrap; }
</item>
</layout>
</item>
<itemrow="1"column="0">
<widgetclass="QLabel"name="label_4">
<propertyname="text">
<item row="1" column="0">
<widget class="QLabel" name="label_4">
<property name="text">
<string>Selected node :</string>
</property>
</widget>
...
...
@@ -256,19 +266,19 @@ p, li { white-space: pre-wrap; }