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,0,0,0">
 232            <item row="1" column="1">
 233             <widget class="QComboBox" name="fontCombo">
 234              <property name="frame">
 235               <bool>true</bool>
 236              </property>
 237             </widget>
 238            </item>
 239            <item row="1" column="4">
 240             <widget class="QSpinBox" name="fontSize">
 241              <property name="minimum">
 242               <number>1</number>
 243              </property>
 244             </widget>
 245            </item>
 246            <item row="0" column="0" colspan="2">
 247             <widget class="QCheckBox" name="onlyMonoFonts">
 248              <property name="text">
 249               <string>Show only monospaced</string>
 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="0">
 270             <widget class="QLabel" name="label_16">
 271              <property name="text">
 272               <string>Family:</string>
 273              </property>
 274             </widget>
 275            </item>
 276            <item row="1" column="3">
 277             <widget class="QLabel" name="label_15">
 278              <property name="text">
 279               <string>Size:</string>
 280              </property>
 281             </widget>
 282            </item>
 283            <item row="1" column="7">
 284             <spacer name="horizontalSpacer_6">
 285              <property name="orientation">
 286               <enum>Qt::Horizontal</enum>
 287              </property>
 288              <property name="sizeHint" stdset="0">
 289               <size>
 290                <width>40</width>
 291                <height>20</height>
 292               </size>
 293              </property>
 294             </spacer>
 295            </item>
 296            <item row="1" column="6">
 297             <widget class="QCheckBox" name="fontAntialias">
 298              <property name="enabled">
 299               <bool>true</bool>
 300              </property>
 301              <property name="text">
 302               <string>Antialias</string>
 303              </property>
 304              <property name="checked">
 305               <bool>true</bool>
 306              </property>
 307             </widget>
 308            </item>
 309            <item row="1" column="5">
 310             <spacer name="horizontalSpacer_5">
 311              <property name="orientation">
 312               <enum>Qt::Horizontal</enum>
 313              </property>
 314              <property name="sizeType">
 315               <enum>QSizePolicy::Fixed</enum>
 316              </property>
 317              <property name="sizeHint" stdset="0">
 318               <size>
 319                <width>40</width>
 320                <height>20</height>
 321               </size>
 322              </property>
 323             </spacer>
 324            </item>
 325           </layout>
 326          </widget>
 327         </item>
 328         <item>
 329          <widget class="QGroupBox" name="groupBox_2">
 330           <property name="title">
 331            <string>Colors</string>
 332           </property>
 333           <layout class="QHBoxLayout" name="horizontalLayout_5">
 334            <item>
 335             <widget class="QTreeWidget" name="textFormats">
 336              <property name="rootIsDecorated">
 337               <bool>false</bool>
 338              </property>
 339              <property name="headerHidden">
 340               <bool>true</bool>
 341              </property>
 342              <attribute name="headerVisible">
 343               <bool>false</bool>
 344              </attribute>
 345              <column>
 346               <property name="text">
 347                <string notr="true">1</string>
 348               </property>
 349              </column>
 350             </widget>
 351            </item>
 352            <item>
 353             <widget class="QWidget" name="textFormatEdit" native="true">
 354              <layout class="QVBoxLayout" name="verticalLayout_2">
 355               <item>
 356                <layout class="QGridLayout" name="gridLayout">
 357                 <item row="0" column="0">
 358                  <widget class="QLabel" name="label_13">
 359                   <property name="text">
 360                    <string>Background:</string>
 361                   </property>
 362                  </widget>
 363                 </item>
 364                 <item row="0" column="1">
 365                  <widget class="ScIDE::ColorWidget" name="bgPicker">
 366                   <property name="sizePolicy">
 367                    <sizepolicy hsizetype="Fixed" vsizetype="Fixed">
 368                     <horstretch>0</horstretch>
 369                     <verstretch>0</verstretch>
 370                    </sizepolicy>
 371                   </property>
 372                   <property name="minimumSize">
 373                    <size>
 374                     <width>25</width>
 375                     <height>25</height>
 376                    </size>
 377                   </property>
 378                  </widget>
 379                 </item>
 380                 <item row="0" column="2">
 381                  <widget class="QToolButton" name="bgClearBtn">
 382                   <property name="minimumSize">
 383                    <size>
 384                     <width>25</width>
 385                     <height>25</height>
 386                    </size>
 387                   </property>
 388                   <property name="text">
 389                    <string>X</string>
 390                   </property>
 391                  </widget>
 392                 </item>
 393                 <item row="1" column="0">
 394                  <widget class="QLabel" name="label_14">
 395                   <property name="text">
 396                    <string>Foreground:</string>
 397                   </property>
 398                  </widget>
 399                 </item>
 400                 <item row="1" column="1">
 401                  <widget class="ScIDE::ColorWidget" name="fgPicker">
 402                   <property name="sizePolicy">
 403                    <sizepolicy hsizetype="Fixed" vsizetype="Fixed">
 404                     <horstretch>0</horstretch>
 405                     <verstretch>0</verstretch>
 406                    </sizepolicy>
 407                   </property>
 408                   <property name="minimumSize">
 409                    <size>
 410                     <width>25</width>
 411                     <height>25</height>
 412                    </size>
 413                   </property>
 414                  </widget>
 415                 </item>
 416                 <item row="1" column="2">
 417                  <widget class="QToolButton" name="fgClearBtn">
 418                   <property name="minimumSize">
 419                    <size>
 420                     <width>25</width>
 421                     <height>25</height>
 422                    </size>
 423                   </property>
 424                   <property name="text">
 425                    <string>X</string>
 426                   </property>
 427                  </widget>
 428                 </item>
 429                </layout>
 430               </item>
 431               <item>
 432                <layout class="QVBoxLayout" name="verticalLayout_7">
 433                 <item>
 434                  <widget class="QCheckBox" name="italicOption">
 435                   <property name="text">
 436                    <string>Italic</string>
 437                   </property>
 438                  </widget>
 439                 </item>
 440                 <item>
 441                  <widget class="QCheckBox" name="boldOption">
 442                   <property name="text">
 443                    <string>Bold</string>
 444                   </property>
 445                  </widget>
 446                 </item>
 447                </layout>
 448               </item>
 449               <item>
 450                <spacer name="verticalSpacer_3">
 451                 <property name="orientation">
 452                  <enum>Qt::Vertical</enum>
 453                 </property>
 454                 <property name="sizeHint" stdset="0">
 455                  <size>
 456                   <width>20</width>
 457                   <height>294</height>
 458                  </size>
 459                 </property>
 460                </spacer>
 461               </item>
 462              </layout>
 463             </widget>
 464            </item>
 465           </layout>
 466          </widget>
 467         </item>
 468        </layout>
 469       </widget>
 470      </widget>
 471     </widget>
 472    </item>
 473   </layout>
 474  </widget>
 475  <customwidgets>
 476   <customwidget>
 477    <class>ScIDE::ColorWidget</class>
 478    <extends>QLabel</extends>
 479    <header>color_widget.hpp</header>
 480   </customwidget>
 481  </customwidgets>
 482  <resources/>
 483  <connections/>
 484 </ui>