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>566</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="5" column="2"> 0065 <widget class="QCheckBox" name="kcfg_integratePlots"> 0066 <property name="toolTip"> 0067 <string>If enabled, plots will be shown inside of the worksheet. Otherwise, plots will be shown in an external window.</string> 0068 </property> 0069 <property name="text"> 0070 <string>Enabled</string> 0071 </property> 0072 </widget> 0073 </item> 0074 <item row="6" column="0" colspan="2"> 0075 <widget class="QLabel" name="label_5"> 0076 <property name="text"> 0077 <string>Size:</string> 0078 </property> 0079 </widget> 0080 </item> 0081 <item row="6" column="2"> 0082 <widget class="QFrame" name="frame"> 0083 <property name="frameShape"> 0084 <enum>QFrame::NoFrame</enum> 0085 </property> 0086 <property name="frameShadow"> 0087 <enum>QFrame::Raised</enum> 0088 </property> 0089 <layout class="QHBoxLayout" name="horizontalLayout"> 0090 <property name="leftMargin"> 0091 <number>0</number> 0092 </property> 0093 <property name="topMargin"> 0094 <number>0</number> 0095 </property> 0096 <property name="rightMargin"> 0097 <number>0</number> 0098 </property> 0099 <property name="bottomMargin"> 0100 <number>0</number> 0101 </property> 0102 <item> 0103 <widget class="QLabel" name="lPlotWidth"> 0104 <property name="text"> 0105 <string>width:</string> 0106 </property> 0107 </widget> 0108 </item> 0109 <item> 0110 <widget class="QDoubleSpinBox" name="kcfg_plotWidth"> 0111 <property name="suffix"> 0112 <string>cm</string> 0113 </property> 0114 </widget> 0115 </item> 0116 <item> 0117 <spacer name="horizontalSpacer"> 0118 <property name="orientation"> 0119 <enum>Qt::Horizontal</enum> 0120 </property> 0121 <property name="sizeType"> 0122 <enum>QSizePolicy::Fixed</enum> 0123 </property> 0124 <property name="sizeHint" stdset="0"> 0125 <size> 0126 <width>40</width> 0127 <height>20</height> 0128 </size> 0129 </property> 0130 </spacer> 0131 </item> 0132 <item> 0133 <widget class="QLabel" name="lPlotHeight"> 0134 <property name="text"> 0135 <string>height:</string> 0136 </property> 0137 </widget> 0138 </item> 0139 <item> 0140 <widget class="QDoubleSpinBox" name="kcfg_plotHeight"> 0141 <property name="suffix"> 0142 <string>cm</string> 0143 </property> 0144 </widget> 0145 </item> 0146 <item> 0147 <spacer name="horizontalSpacer_2"> 0148 <property name="orientation"> 0149 <enum>Qt::Horizontal</enum> 0150 </property> 0151 <property name="sizeHint" stdset="0"> 0152 <size> 0153 <width>40</width> 0154 <height>20</height> 0155 </size> 0156 </property> 0157 </spacer> 0158 </item> 0159 </layout> 0160 </widget> 0161 </item> 0162 <item row="7" column="0" colspan="2"> 0163 <widget class="QLabel" name="label_3"> 0164 <property name="text"> 0165 <string>Image Format:</string> 0166 </property> 0167 </widget> 0168 </item> 0169 <item row="7" column="2"> 0170 <widget class="QComboBox" name="kcfg_inlinePlotFormat"> 0171 <item> 0172 <property name="text"> 0173 <string>PDF</string> 0174 </property> 0175 </item> 0176 <item> 0177 <property name="text"> 0178 <string notr="true">SVG</string> 0179 </property> 0180 </item> 0181 <item> 0182 <property name="text"> 0183 <string notr="true">PNG</string> 0184 </property> 0185 </item> 0186 </widget> 0187 </item> 0188 <item row="8" column="0"> 0189 <spacer name="verticalSpacer_2"> 0190 <property name="orientation"> 0191 <enum>Qt::Vertical</enum> 0192 </property> 0193 <property name="sizeHint" stdset="0"> 0194 <size> 0195 <width>20</width> 0196 <height>40</height> 0197 </size> 0198 </property> 0199 </spacer> 0200 </item> 0201 <item row="2" column="0" colspan="2"> 0202 <spacer name="verticalSpacer"> 0203 <property name="orientation"> 0204 <enum>Qt::Vertical</enum> 0205 </property> 0206 <property name="sizeType"> 0207 <enum>QSizePolicy::Fixed</enum> 0208 </property> 0209 <property name="sizeHint" stdset="0"> 0210 <size> 0211 <width>136</width> 0212 <height>17</height> 0213 </size> 0214 </property> 0215 </spacer> 0216 </item> 0217 <item row="4" column="0" rowspan="2" colspan="2"> 0218 <widget class="QLabel" name="lPlotIntegration"> 0219 <property name="text"> 0220 <string>Integrated:</string> 0221 </property> 0222 </widget> 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>