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