##// END OF EJS Templates
push method of worker return the id of the nextRange which is canceled
push method of worker return the id of the nextRange which is canceled

File last commit:

r289:7ca994d5565d
r625:d6648352006d
Show More
VariableMenuHeaderWidget.ui
31 lines | 788 B | text/plain | TextLexer
/ gui / ui / Variable / VariableMenuHeaderWidget.ui
Alexandre Leroux
Creates a widget that will be the header of the menu in variable widget...
r289 <?xml version="1.0" encoding="UTF-8"?>
<ui version="4.0">
<class>VariableMenuHeaderWidget</class>
<widget class="QWidget" name="VariableMenuHeaderWidget">
<property name="geometry">
<rect>
<x>0</x>
<y>0</y>
<width>110</width>
<height>34</height>
</rect>
</property>
<layout class="QGridLayout" name="gridLayout">
<item row="0" column="0">
<widget class="QLabel" name="label">
<property name="styleSheet">
<string notr="true">background-color: rgba(127, 127, 127, 127);</string>
</property>
<property name="text">
<string>TextLabel</string>
</property>
<property name="alignment">
<set>Qt::AlignCenter</set>
</property>
</widget>
</item>
</layout>
</widget>
<resources/>
<connections/>
</ui>