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