editors/sc-ide/forms/settings_editor.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <ui version="4.0">
   3  <class>EditorConfigPage</class>
   4  <widget class="QWidget" name="EditorConfigPage">
   5   <property name="geometry">
   6    <rect>
   7     <x>0</x>
   8     <y>0</y>
   9     <width>615</width>
  10     <height>471</height>
  11    </rect>
  12   </property>
  13   <property name="windowTitle">
  14    <string>Form</string>
  15   </property>
  16   <layout class="QVBoxLayout" name="verticalLayout">
  17    <item>
  18     <widget class="QSplitter" name="splitter">
  19      <property name="orientation">
  20       <enum>Qt::Vertical</enum>
  21      </property>
  22      <widget class="QTabWidget" name="tabs">
  23       <property name="currentIndex">
  24        <number>0</number>
  25       </property>
  26       <property name="documentMode">
  27        <bool>false</bool>
  28       </property>
  29       <widget class="QWidget" name="tab">
  30        <attribute name="title">
  31         <string>Indentation</string>
  32        </attribute>
  33        <layout class="QVBoxLayout" name="verticalLayout_3">
  34         <item>
  35          <widget class="QCheckBox" name="spaceIndent">
  36           <property name="text">
  37            <string>Use spaces instead of tabs</string>
  38           </property>
  39          </widget>
  40         </item>
  41         <item>
  42          <layout class="QHBoxLayout" name="horizontalLayout">
  43           <item>
  44            <widget class="QLabel" name="label">
  45             <property name="text">
  46              <string>Indentation width:</string>
  47             </property>
  48             <property name="indent">
  49              <number>8</number>
  50             </property>
  51            </widget>
  52           </item>
  53           <item>
  54            <widget class="QSpinBox" name="indentWidth">
  55             <property name="alignment">
  56              <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set>
  57             </property>
  58             <property name="specialValueText">
  59              <string/>
  60             </property>
  61             <property name="suffix">
  62              <string> spaces</string>
  63             </property>
  64             <property name="prefix">
  65              <string/>
  66             </property>
  67             <property name="minimum">
  68              <number>1</number>
  69             </property>
  70             <property name="value">
  71              <number>4</number>
  72             </property>
  73            </widget>
  74           </item>
  75           <item>
  76            <spacer name="horizontalSpacer">
  77             <property name="orientation">
  78              <enum>Qt::Horizontal</enum>
  79             </property>
  80             <property name="sizeHint" stdset="0">
  81              <size>
  82               <width>40</width>
  83               <height>20</height>
  84              </size>
  85             </property>
  86            </spacer>
  87           </item>
  88          </layout>
  89         </item>
  90         <item>
  91          <spacer name="verticalSpacer">
  92           <property name="orientation">
  93            <enum>Qt::Vertical</enum>
  94           </property>
  95           <property name="sizeHint" stdset="0">
  96            <size>
  97             <width>20</width>
  98             <height>40</height>
  99            </size>
 100           </property>
 101          </spacer>
 102         </item>
 103        </layout>
 104       </widget>
 105       <widget class="QWidget" name="tab_2">
 106        <attribute name="title">
 107         <string>Code Evaluation</string>
 108        </attribute>
 109        <layout class="QVBoxLayout" name="verticalLayout_4">
 110         <item>
 111          <widget class="QCheckBox" name="stepForwardEvaluation">
 112           <property name="text">
 113            <string>Step forward after evaluating a line</string>
 114           </property>
 115          </widget>
 116         </item>
 117         <item>
 118          <layout class="QHBoxLayout" name="horizontalLayout_4">
 119           <item>
 120            <widget class="QLabel" name="label_11">
 121             <property name="text">
 122              <string>Blink duration:</string>
 123             </property>
 124            </widget>
 125           </item>
 126           <item>
 127            <widget class="QSpinBox" name="blinkDuration">
 128             <property name="alignment">
 129              <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set>
 130             </property>
 131             <property name="suffix">
 132              <string>ms</string>
 133             </property>
 134             <property name="minimum">
 135              <number>1</number>
 136             </property>
 137             <property name="maximum">
 138              <number>1000</number>
 139             </property>
 140             <property name="value">
 141              <number>600</number>
 142             </property>
 143            </widget>
 144           </item>
 145           <item>
 146            <spacer name="horizontalSpacer_2">
 147             <property name="orientation">
 148              <enum>Qt::Horizontal</enum>
 149             </property>
 150             <property name="sizeHint" stdset="0">
 151              <size>
 152               <width>40</width>
 153               <height>20</height>
 154              </size>
 155             </property>
 156            </spacer>
 157           </item>
 158          </layout>
 159         </item>
 160         <item>
 161          <layout class="QHBoxLayout" name="horizontalLayout_3">
 162           <item>
 163            <widget class="QLabel" name="label_12">
 164             <property name="text">
 165              <string>Post window scrollback:</string>
 166             </property>
 167            </widget>
 168           </item>
 169           <item>
 170            <widget class="QSpinBox" name="postWindowScrollback">
 171             <property name="alignment">
 172              <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set>
 173             </property>
 174             <property name="suffix">
 175              <string> lines</string>
 176             </property>
 177             <property name="minimum">
 178              <number>0</number>
 179             </property>
 180             <property name="maximum">
 181              <number>1000000</number>
 182             </property>
 183             <property name="singleStep">
 184              <number>1</number>
 185             </property>
 186             <property name="value">
 187              <number>1000</number>
 188             </property>
 189            </widget>
 190           </item>
 191           <item>
 192            <spacer name="horizontalSpacer_3">
 193             <property name="orientation">
 194              <enum>Qt::Horizontal</enum>
 195             </property>
 196             <property name="sizeHint" stdset="0">
 197              <size>
 198               <width>40</width>
 199               <height>20</height>
 200              </size>
 201             </property>
 202            </spacer>
 203           </item>
 204          </layout>
 205         </item>
 206         <item>
 207          <spacer name="verticalSpacer_2">
 208           <property name="orientation">
 209            <enum>Qt::Vertical</enum>
 210           </property>
 211           <property name="sizeHint" stdset="0">
 212            <size>
 213             <width>20</width>
 214             <height>40</height>
 215            </size>
 216           </property>
 217          </spacer>
 218         </item>
 219        </layout>
 220       </widget>
 221       <widget class="QWidget" name="colorsTab">
 222        <attribute name="title">
 223         <string>Font &amp;&amp; Colors</string>
 224        </attribute>
 225        <layout class="QVBoxLayout" name="verticalLayout_8">
 226         <item>
 227          <widget class="QGroupBox" name="groupBox">
 228           <property name="title">
 229            <string>Font</string>
 230           </property>
 231           <layout class="QGridLayout" name="gridLayout_2" columnstretch="0,0,0,0,0,1">
 232            <item row="0" column="0" colspan="2">
 233             <widget class="QCheckBox" name="onlyMonoFonts">
 234              <property name="text">
 235               <string>Show only monospaced</string>
 236              </property>
 237             </widget>
 238            </item>
 239            <item row="1" column="0">
 240             <widget class="QLabel" name="label_16">
 241              <property name="text">
 242               <string>Family:</string>
 243              </property>
 244             </widget>
 245            </item>
 246            <item row="1" column="1">
 247             <widget class="QComboBox" name="fontCombo">
 248              <property name="frame">
 249               <bool>true</bool>
 250              </property>
 251             </widget>
 252            </item>
 253            <item row="1" column="2">
 254             <spacer name="horizontalSpacer_4">
 255              <property name="orientation">
 256               <enum>Qt::Horizontal</enum>
 257              </property>
 258              <property name="sizeType">
 259               <enum>QSizePolicy::Fixed</enum>
 260              </property>
 261              <property name="sizeHint" stdset="0">
 262               <size>
 263                <width>40</width>
 264                <height>20</height>
 265               </size>
 266              </property>
 267             </spacer>
 268            </item>
 269            <item row="1" column="3">
 270             <widget class="QLabel" name="label_15">
 271              <property name="text">
 272               <string>Size:</string>
 273              </property>
 274             </widget>
 275            </item>
 276            <item row="1" column="4">
 277             <widget class="QSpinBox" name="fontSize">
 278              <property name="minimum">
 279               <number>1</number>
 280              </property>
 281             </widget>
 282            </item>
 283            <item row="1" column="5">
 284             <spacer name="horizontalSpacer_5">
 285              <property name="orientation">
 286               <enum>Qt::Horizontal</enum>
 287              </property>
 288              <property name="sizeHint" stdset="0">
 289               <size>
 290                <width>309</width>
 291                <height>20</height>
 292               </size>
 293              </property>
 294             </spacer>
 295            </item>
 296           </layout>
 297          </widget>
 298         </item>
 299         <item>
 300          <widget class="QGroupBox" name="groupBox_2">
 301           <property name="title">
 302            <string>Colors</string>
 303           </property>
 304           <layout class="QHBoxLayout" name="horizontalLayout_5">
 305            <item>
 306             <widget class="QTreeWidget" name="textFormats">
 307              <property name="rootIsDecorated">
 308               <bool>false</bool>
 309              </property>
 310              <property name="headerHidden">
 311               <bool>true</bool>
 312              </property>
 313              <attribute name="headerVisible">
 314               <bool>false</bool>
 315              </attribute>
 316              <column>
 317               <property name="text">
 318                <string notr="true">1</string>
 319               </property>
 320              </column>
 321             </widget>
 322            </item>
 323            <item>
 324             <widget class="QWidget" name="textFormatEdit" native="true">
 325              <layout class="QVBoxLayout" name="verticalLayout_2">
 326               <item>
 327                <layout class="QGridLayout" name="gridLayout">
 328                 <item row="0" column="0">
 329                  <widget class="QLabel" name="label_13">
 330                   <property name="text">
 331                    <string>Background:</string>
 332                   </property>
 333                  </widget>
 334                 </item>
 335                 <item row="0" column="1">
 336                  <widget class="ScIDE::ColorWidget" name="bgPicker">
 337                   <property name="sizePolicy">
 338                    <sizepolicy hsizetype="Fixed" vsizetype="Fixed">
 339                     <horstretch>0</horstretch>
 340                     <verstretch>0</verstretch>
 341                    </sizepolicy>
 342                   </property>
 343                   <property name="minimumSize">
 344                    <size>
 345                     <width>25</width>
 346                     <height>25</height>
 347                    </size>
 348                   </property>
 349                  </widget>
 350                 </item>
 351                 <item row="0" column="2">
 352                  <widget class="QToolButton" name="bgClearBtn">
 353                   <property name="minimumSize">
 354                    <size>
 355                     <width>25</width>
 356                     <height>25</height>
 357                    </size>
 358                   </property>
 359                   <property name="text">
 360                    <string>X</string>
 361                   </property>
 362                  </widget>
 363                 </item>
 364                 <item row="1" column="0">
 365                  <widget class="QLabel" name="label_14">
 366                   <property name="text">
 367                    <string>Foreground:</string>
 368                   </property>
 369                  </widget>
 370                 </item>
 371                 <item row="1" column="1">
 372                  <widget class="ScIDE::ColorWidget" name="fgPicker">
 373                   <property name="sizePolicy">
 374                    <sizepolicy hsizetype="Fixed" vsizetype="Fixed">
 375                     <horstretch>0</horstretch>
 376                     <verstretch>0</verstretch>
 377                    </sizepolicy>
 378                   </property>
 379                   <property name="minimumSize">
 380                    <size>
 381                     <width>25</width>
 382                     <height>25</height>
 383                    </size>
 384                   </property>
 385                  </widget>
 386                 </item>
 387                 <item row="1" column="2">
 388                  <widget class="QToolButton" name="fgClearBtn">
 389                   <property name="minimumSize">
 390                    <size>
 391                     <width>25</width>
 392                     <height>25</height>
 393                    </size>
 394                   </property>
 395                   <property name="text">
 396                    <string>X</string>
 397                   </property>
 398                  </widget>
 399                 </item>
 400                </layout>
 401               </item>
 402               <item>
 403                <layout class="QVBoxLayout" name="verticalLayout_7">
 404                 <item>
 405                  <widget class="QCheckBox" name="italicOption">
 406                   <property name="text">
 407                    <string>Italic</string>
 408                   </property>
 409                  </widget>
 410                 </item>
 411                 <item>
 412                  <widget class="QCheckBox" name="boldOption">
 413                   <property name="text">
 414                    <string>Bold</string>
 415                   </property>
 416                  </widget>
 417                 </item>
 418                </layout>
 419               </item>
 420               <item>
 421                <spacer name="verticalSpacer_3">
 422                 <property name="orientation">
 423                  <enum>Qt::Vertical</enum>
 424                 </property>
 425                 <property name="sizeHint" stdset="0">
 426                  <size>
 427                   <width>20</width>
 428                   <height>294</height>
 429                  </size>
 430                 </property>
 431                </spacer>
 432               </item>
 433              </layout>
 434             </widget>
 435            </item>
 436           </layout>
 437          </widget>
 438         </item>
 439        </layout>
 440       </widget>
 441      </widget>
 442     </widget>
 443    </item>
 444   </layout>
 445  </widget>
 446  <customwidgets>
 447   <customwidget>
 448    <class>ScIDE::ColorWidget</class>
 449    <extends>QLabel</extends>
 450    <header>color_widget.hpp</header>
 451   </customwidget>
 452  </customwidgets>
 453  <resources/>
 454  <connections/>
 455 </ui>