Warning, /education/cantor/src/backends/maxima/settings.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>MaximaSettingsBase</class> 0004 <widget class="QWidget" name="MaximaSettingsBase"> 0005 <property name="geometry"> 0006 <rect> 0007 <x>0</x> 0008 <y>0</y> 0009 <width>539</width> 0010 <height>355</height> 0011 </rect> 0012 </property> 0013 <layout class="QVBoxLayout" name="verticalLayout_2"> 0014 <item> 0015 <widget class="QTabWidget" name="tabWidget"> 0016 <property name="currentIndex"> 0017 <number>0</number> 0018 </property> 0019 <widget class="QWidget" name="tabGeneral"> 0020 <attribute name="title"> 0021 <string>General</string> 0022 </attribute> 0023 <layout class="QGridLayout" name="gridLayout"> 0024 <item row="0" column="0" colspan="2"> 0025 <widget class="QLabel" name="label"> 0026 <property name="text"> 0027 <string>Executable:</string> 0028 </property> 0029 </widget> 0030 </item> 0031 <item row="0" column="2"> 0032 <widget class="KUrlRequester" name="kcfg_Path"/> 0033 </item> 0034 <item row="1" column="0" colspan="2"> 0035 <widget class="QLabel" name="lVariableManagement"> 0036 <property name="text"> 0037 <string>Variable Management:</string> 0038 </property> 0039 </widget> 0040 </item> 0041 <item row="1" column="2"> 0042 <widget class="QCheckBox" name="kcfg_variableManagement"> 0043 <property name="toolTip"> 0044 <string>Monitor the creation and destruction of variables and show the existing variables in the variable panel.</string> 0045 </property> 0046 <property name="text"> 0047 <string>Enabled</string> 0048 </property> 0049 </widget> 0050 </item> 0051 <item row="3" column="0" colspan="2"> 0052 <widget class="QLabel" name="label_4"> 0053 <property name="font"> 0054 <font> 0055 <weight>75</weight> 0056 <bold>true</bold> 0057 </font> 0058 </property> 0059 <property name="text"> 0060 <string>Plots</string> 0061 </property> 0062 </widget> 0063 </item> 0064 <item row="4" column="0" rowspan="2" colspan="3"> 0065 <widget class="QLabel" name="lPlotIntegration"> 0066 <property name="text"> 0067 <string>Integrated:</string> 0068 </property> 0069 </widget> 0070 </item> 0071 <item row="5" column="2"> 0072 <widget class="QCheckBox" name="kcfg_integratePlots"> 0073 <property name="toolTip"> 0074 <string>If enabled, plots will be shown inside of the worksheet. Otherwise, plots will be shown in an external window.</string> 0075 </property> 0076 <property name="text"> 0077 <string>Enabled</string> 0078 </property> 0079 </widget> 0080 </item> 0081 <item row="6" column="0" colspan="2"> 0082 <widget class="QLabel" name="label_5"> 0083 <property name="text"> 0084 <string>Size:</string> 0085 </property> 0086 </widget> 0087 </item> 0088 <item row="6" column="2"> 0089 <widget class="QFrame" name="frame"> 0090 <property name="frameShape"> 0091 <enum>QFrame::NoFrame</enum> 0092 </property> 0093 <property name="frameShadow"> 0094 <enum>QFrame::Raised</enum> 0095 </property> 0096 <layout class="QHBoxLayout" name="horizontalLayout"> 0097 <property name="leftMargin"> 0098 <number>0</number> 0099 </property> 0100 <property name="topMargin"> 0101 <number>0</number> 0102 </property> 0103 <property name="rightMargin"> 0104 <number>0</number> 0105 </property> 0106 <property name="bottomMargin"> 0107 <number>0</number> 0108 </property> 0109 <item> 0110 <widget class="QLabel" name="lPlotWidth"> 0111 <property name="text"> 0112 <string>width:</string> 0113 </property> 0114 </widget> 0115 </item> 0116 <item> 0117 <widget class="QDoubleSpinBox" name="kcfg_plotWidth"> 0118 <property name="suffix"> 0119 <string>cm</string> 0120 </property> 0121 </widget> 0122 </item> 0123 <item> 0124 <spacer name="horizontalSpacer"> 0125 <property name="orientation"> 0126 <enum>Qt::Horizontal</enum> 0127 </property> 0128 <property name="sizeType"> 0129 <enum>QSizePolicy::Fixed</enum> 0130 </property> 0131 <property name="sizeHint" stdset="0"> 0132 <size> 0133 <width>40</width> 0134 <height>20</height> 0135 </size> 0136 </property> 0137 </spacer> 0138 </item> 0139 <item> 0140 <widget class="QLabel" name="lPlotHeight"> 0141 <property name="text"> 0142 <string>height:</string> 0143 </property> 0144 </widget> 0145 </item> 0146 <item> 0147 <widget class="QDoubleSpinBox" name="kcfg_plotHeight"> 0148 <property name="suffix"> 0149 <string>cm</string> 0150 </property> 0151 </widget> 0152 </item> 0153 <item> 0154 <spacer name="horizontalSpacer_2"> 0155 <property name="orientation"> 0156 <enum>Qt::Horizontal</enum> 0157 </property> 0158 <property name="sizeHint" stdset="0"> 0159 <size> 0160 <width>40</width> 0161 <height>20</height> 0162 </size> 0163 </property> 0164 </spacer> 0165 </item> 0166 </layout> 0167 </widget> 0168 </item> 0169 <item row="7" column="0" colspan="2"> 0170 <widget class="QLabel" name="label_3"> 0171 <property name="text"> 0172 <string>Image Format:</string> 0173 </property> 0174 </widget> 0175 </item> 0176 <item row="7" column="2"> 0177 <widget class="QComboBox" name="kcfg_inlinePlotFormat"> 0178 <item> 0179 <property name="text"> 0180 <string>PDF</string> 0181 </property> 0182 </item> 0183 <item> 0184 <property name="text"> 0185 <string notr="true">SVG</string> 0186 </property> 0187 </item> 0188 <item> 0189 <property name="text"> 0190 <string notr="true">PNG</string> 0191 </property> 0192 </item> 0193 </widget> 0194 </item> 0195 <item row="8" column="0"> 0196 <spacer name="verticalSpacer_2"> 0197 <property name="orientation"> 0198 <enum>Qt::Vertical</enum> 0199 </property> 0200 <property name="sizeHint" stdset="0"> 0201 <size> 0202 <width>20</width> 0203 <height>40</height> 0204 </size> 0205 </property> 0206 </spacer> 0207 </item> 0208 <item row="2" column="0" colspan="2"> 0209 <spacer name="verticalSpacer"> 0210 <property name="orientation"> 0211 <enum>Qt::Vertical</enum> 0212 </property> 0213 <property name="sizeType"> 0214 <enum>QSizePolicy::Fixed</enum> 0215 </property> 0216 <property name="sizeHint" stdset="0"> 0217 <size> 0218 <width>136</width> 0219 <height>17</height> 0220 </size> 0221 </property> 0222 </spacer> 0223 </item> 0224 </layout> 0225 </widget> 0226 <widget class="QWidget" name="tabAutorun"> 0227 <attribute name="title"> 0228 <string>Autorun</string> 0229 </attribute> 0230 <layout class="QVBoxLayout" name="verticalLayout"> 0231 <item> 0232 <widget class="QLabel" name="label_2"> 0233 <property name="text"> 0234 <string>Commands to autorun</string> 0235 </property> 0236 <property name="alignment"> 0237 <set>Qt::AlignCenter</set> 0238 </property> 0239 </widget> 0240 </item> 0241 <item> 0242 <widget class="KEditListWidget" name="kcfg_autorunScripts"/> 0243 </item> 0244 </layout> 0245 </widget> 0246 <widget class="QWidget" name="tabDocumentation"> 0247 <attribute name="title"> 0248 <string>Documentation</string> 0249 </attribute> 0250 </widget> 0251 </widget> 0252 </item> 0253 </layout> 0254 </widget> 0255 <customwidgets> 0256 <customwidget> 0257 <class>KUrlRequester</class> 0258 <extends>QWidget</extends> 0259 <header>kurlrequester.h</header> 0260 <container>1</container> 0261 </customwidget> 0262 <customwidget> 0263 <class>KEditListWidget</class> 0264 <extends>QWidget</extends> 0265 <header>keditlistwidget.h</header> 0266 </customwidget> 0267 </customwidgets> 0268 <resources/> 0269 <connections/> 0270 </ui>