Warning, /education/cantor/src/assistants/differentiate/differentiatedlg.ui is written in an unsupported language. File is not indexed.
0001 <?xml version="1.0" encoding="UTF-8"?> 0002 <ui version="4.0"> 0003 <class>DifferentiateAssistantBase</class> 0004 <widget class="QWidget" name="DifferentiateAssistantBase"> 0005 <property name="geometry"> 0006 <rect> 0007 <x>0</x> 0008 <y>0</y> 0009 <width>400</width> 0010 <height>300</height> 0011 </rect> 0012 </property> 0013 <layout class="QVBoxLayout" name="verticalLayout"> 0014 <item> 0015 <layout class="QGridLayout" name="gridLayout_2"> 0016 <item row="0" column="0"> 0017 <widget class="QLabel" name="label"> 0018 <property name="text"> 0019 <string>Expression:</string> 0020 </property> 0021 </widget> 0022 </item> 0023 <item row="0" column="1"> 0024 <widget class="KLineEdit" name="expression"/> 0025 </item> 0026 <item row="1" column="0"> 0027 <widget class="QLabel" name="label_2"> 0028 <property name="text"> 0029 <string>Variable:</string> 0030 </property> 0031 </widget> 0032 </item> 0033 <item row="1" column="1"> 0034 <widget class="KLineEdit" name="variable"> 0035 <property name="text"> 0036 <string>x</string> 0037 </property> 0038 </widget> 0039 </item> 0040 </layout> 0041 </item> 0042 <item> 0043 <layout class="QHBoxLayout" name="horizontalLayout"> 0044 <item> 0045 <widget class="QLabel" name="label_3"> 0046 <property name="text"> 0047 <string>Times: </string> 0048 </property> 0049 </widget> 0050 </item> 0051 <item> 0052 <widget class="QSpinBox" name="times"> 0053 <property name="value"> 0054 <number>1</number> 0055 </property> 0056 </widget> 0057 </item> 0058 </layout> 0059 </item> 0060 <item> 0061 <widget class="QDialogButtonBox" name="buttonBox"> 0062 <property name="standardButtons"> 0063 <set>QDialogButtonBox::Cancel|QDialogButtonBox::Ok</set> 0064 </property> 0065 </widget> 0066 </item> 0067 </layout> 0068 </widget> 0069 <customwidgets> 0070 <customwidget> 0071 <class>KLineEdit</class> 0072 <extends>QLineEdit</extends> 0073 <header>klineedit.h</header> 0074 </customwidget> 0075 </customwidgets> 0076 <resources/> 0077 <connections/> 0078 </ui>