Warning, /education/cantor/src/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>SettingsBase</class>
0004  <widget class="QWidget" name="SettingsBase">
0005   <property name="geometry">
0006    <rect>
0007     <x>0</x>
0008     <y>0</y>
0009     <width>525</width>
0010     <height>586</height>
0011    </rect>
0012   </property>
0013   <layout class="QGridLayout" name="gridLayout">
0014    <item row="0" column="0">
0015     <widget class="QLabel" name="label_2">
0016      <property name="font">
0017       <font>
0018        <weight>75</weight>
0019        <bold>true</bold>
0020       </font>
0021      </property>
0022      <property name="text">
0023       <string>Startup:</string>
0024      </property>
0025     </widget>
0026    </item>
0027    <item row="1" column="0">
0028     <widget class="QLabel" name="label">
0029      <property name="toolTip">
0030       <string>Create a new worksheet for the selected backend system. If none is selected, the user is asked about which system to use on startup.</string>
0031      </property>
0032      <property name="text">
0033       <string>Default Backend:</string>
0034      </property>
0035     </widget>
0036    </item>
0037    <item row="1" column="1" colspan="2">
0038     <spacer name="horizontalSpacer">
0039      <property name="orientation">
0040       <enum>Qt::Horizontal</enum>
0041      </property>
0042      <property name="sizeHint" stdset="0">
0043       <size>
0044        <width>188</width>
0045        <height>20</height>
0046       </size>
0047      </property>
0048     </spacer>
0049    </item>
0050    <item row="2" column="2">
0051     <spacer name="verticalSpacer_3">
0052      <property name="orientation">
0053       <enum>Qt::Vertical</enum>
0054      </property>
0055      <property name="sizeType">
0056       <enum>QSizePolicy::Fixed</enum>
0057      </property>
0058      <property name="sizeHint" stdset="0">
0059       <size>
0060        <width>20</width>
0061        <height>10</height>
0062       </size>
0063      </property>
0064     </spacer>
0065    </item>
0066    <item row="3" column="0">
0067     <widget class="QLabel" name="label_3">
0068      <property name="font">
0069       <font>
0070        <weight>75</weight>
0071        <bold>true</bold>
0072       </font>
0073      </property>
0074      <property name="text">
0075       <string>Worksheet:</string>
0076      </property>
0077     </widget>
0078    </item>
0079    <item row="4" column="0" colspan="2">
0080     <widget class="QCheckBox" name="kcfg_TypesetDefault">
0081      <property name="toolTip">
0082       <string>Enable LaTeX typesetting for the results of the calculations, if supported by the backend system</string>
0083      </property>
0084      <property name="text">
0085       <string>LaTeX typesetting</string>
0086      </property>
0087     </widget>
0088    </item>
0089    <item row="5" column="0" colspan="2">
0090     <widget class="QCheckBox" name="kcfg_HighlightDefault">
0091      <property name="toolTip">
0092       <string>Enable syntax highlighting</string>
0093      </property>
0094      <property name="text">
0095       <string>Syntax highlighting</string>
0096      </property>
0097     </widget>
0098    </item>
0099    <item row="6" column="0">
0100     <widget class="QCheckBox" name="kcfg_CompletionDefault">
0101      <property name="toolTip">
0102       <string>Enable syntax completion</string>
0103      </property>
0104      <property name="text">
0105       <string>Completion</string>
0106      </property>
0107     </widget>
0108    </item>
0109    <item row="7" column="0">
0110     <widget class="QCheckBox" name="kcfg_ExpressionNumberingDefault">
0111      <property name="toolTip">
0112       <string>Show line numbers</string>
0113      </property>
0114      <property name="text">
0115       <string>Line numbers</string>
0116      </property>
0117     </widget>
0118    </item>
0119    <item row="8" column="0">
0120     <widget class="QCheckBox" name="kcfg_AnimationDefault">
0121      <property name="toolTip">
0122       <string>Enable animation effects in the worksheet</string>
0123      </property>
0124      <property name="text">
0125       <string>Animations</string>
0126      </property>
0127     </widget>
0128    </item>
0129    <item row="9" column="0" colspan="3">
0130     <widget class="QCheckBox" name="kcfg_UseOldCantorEntriesIndent">
0131      <property name="toolTip">
0132       <string>If enabled, text entries are aligned at the worksheet border and not at the prompt border</string>
0133      </property>
0134      <property name="text">
0135       <string>Don't indent text entries</string>
0136      </property>
0137     </widget>
0138    </item>
0139    <item row="10" column="0" colspan="6">
0140     <widget class="QCheckBox" name="kcfg_StoreTextEntryFormatting">
0141      <property name="text">
0142       <string>Use rich text format for text entries when saving in Jupyter Notebook Format</string>
0143      </property>
0144     </widget>
0145    </item>
0146    <item row="11" column="1">
0147     <spacer name="verticalSpacer_2">
0148      <property name="orientation">
0149       <enum>Qt::Vertical</enum>
0150      </property>
0151      <property name="sizeType">
0152       <enum>QSizePolicy::Fixed</enum>
0153      </property>
0154      <property name="sizeHint" stdset="0">
0155       <size>
0156        <width>20</width>
0157        <height>10</height>
0158       </size>
0159      </property>
0160     </spacer>
0161    </item>
0162    <item row="12" column="0">
0163     <widget class="QLabel" name="label_4">
0164      <property name="font">
0165       <font>
0166        <weight>75</weight>
0167        <bold>true</bold>
0168       </font>
0169      </property>
0170      <property name="text">
0171       <string>Evaluation:</string>
0172      </property>
0173     </widget>
0174    </item>
0175    <item row="13" column="0" colspan="4">
0176     <widget class="QCheckBox" name="kcfg_WarnAboutSessionRestart">
0177      <property name="toolTip">
0178       <string>If enabled, the user will be asked for confirmation prior to restarting the backend system</string>
0179      </property>
0180      <property name="text">
0181       <string>Ask for confirmation when restarting the backend</string>
0182      </property>
0183     </widget>
0184    </item>
0185    <item row="14" column="0" colspan="3">
0186     <widget class="QCheckBox" name="kcfg_AutoEval">
0187      <property name="toolTip">
0188       <string>If enabled, all entries below the current one will be evaluated automatically</string>
0189      </property>
0190      <property name="text">
0191       <string>Reevaluate entries automatically</string>
0192      </property>
0193     </widget>
0194    </item>
0195    <item row="15" column="0" colspan="4">
0196     <widget class="QLabel" name="VisibleLinesLimit_label">
0197      <property name="toolTip">
0198       <string/>
0199      </property>
0200      <property name="text">
0201       <string>Number of rows in the result (0 for unlimited):</string>
0202      </property>
0203     </widget>
0204    </item>
0205    <item row="15" column="4">
0206     <spacer name="horizontalSpacer_2">
0207      <property name="orientation">
0208       <enum>Qt::Horizontal</enum>
0209      </property>
0210      <property name="sizeHint" stdset="0">
0211       <size>
0212        <width>92</width>
0213        <height>20</height>
0214       </size>
0215      </property>
0216     </spacer>
0217    </item>
0218    <item row="15" column="5">
0219     <widget class="QSpinBox" name="kcfg_VisibleLinesLimit">
0220      <property name="toolTip">
0221       <string>Maximal number of visible rows in the result of a command entry. Use 0 to work without limitations.</string>
0222      </property>
0223      <property name="maximum">
0224       <number>10000</number>
0225      </property>
0226      <property name="value">
0227       <number>0</number>
0228      </property>
0229     </widget>
0230    </item>
0231    <item row="16" column="1">
0232     <spacer name="verticalSpacer_4">
0233      <property name="orientation">
0234       <enum>Qt::Vertical</enum>
0235      </property>
0236      <property name="sizeType">
0237       <enum>QSizePolicy::Fixed</enum>
0238      </property>
0239      <property name="sizeHint" stdset="0">
0240       <size>
0241        <width>20</width>
0242        <height>10</height>
0243       </size>
0244      </property>
0245     </spacer>
0246    </item>
0247    <item row="17" column="0">
0248     <widget class="QLabel" name="label_5">
0249      <property name="font">
0250       <font>
0251        <weight>75</weight>
0252        <bold>true</bold>
0253       </font>
0254      </property>
0255      <property name="text">
0256       <string>Markdown:</string>
0257      </property>
0258     </widget>
0259    </item>
0260    <item row="18" column="0" colspan="3">
0261     <widget class="QCheckBox" name="kcfg_EmbeddedMathDefault">
0262      <property name="toolTip">
0263       <string>Enable LaTeX typesetting for mathematical expressions in Markdown entries</string>
0264      </property>
0265      <property name="text">
0266       <string>Mathematical expressions via LaTeX</string>
0267      </property>
0268     </widget>
0269    </item>
0270    <item row="19" column="0" colspan="5">
0271     <widget class="QCheckBox" name="kcfg_ShowMathRenderError">
0272      <property name="text">
0273       <string>Notify about render failures for mathematical expressions</string>
0274      </property>
0275     </widget>
0276    </item>
0277    <item row="20" column="0">
0278     <spacer name="verticalSpacer">
0279      <property name="orientation">
0280       <enum>Qt::Vertical</enum>
0281      </property>
0282      <property name="sizeHint" stdset="0">
0283       <size>
0284        <width>20</width>
0285        <height>40</height>
0286       </size>
0287      </property>
0288     </spacer>
0289    </item>
0290    <item row="0" column="3" rowspan="3" colspan="3">
0291     <widget class="KComboBox" name="kcfg_DefaultBackend">
0292      <property name="toolTip">
0293       <string>Create a new worksheet for the selected backend system. If none is selected, the user is asked about which system to use on startup.</string>
0294      </property>
0295      <property name="editable">
0296       <bool>true</bool>
0297      </property>
0298     </widget>
0299    </item>
0300   </layout>
0301  </widget>
0302  <customwidgets>
0303   <customwidget>
0304    <class>KComboBox</class>
0305    <extends>QComboBox</extends>
0306    <header>kcombobox.h</header>
0307   </customwidget>
0308  </customwidgets>
0309  <resources/>
0310  <connections/>
0311 </ui>