"Fossies" - the Fresh Open Source Software Archive

Member "eric6-20.9/eric/eric6/Preferences/ConfigurationPages/EditorStylesPage.ui" (2 May 2020, 71805 Bytes) of package /linux/misc/eric6-20.9.tar.gz:


As a special service "Fossies" has tried to format the requested text file into HTML format (style: standard) with prefixed line numbers. Alternatively you can here view or download the uninterpreted source code file.

    1 <?xml version="1.0" encoding="UTF-8"?>
    2 <ui version="4.0">
    3  <class>EditorStylesPage</class>
    4  <widget class="QWidget" name="EditorStylesPage">
    5   <property name="geometry">
    6    <rect>
    7     <x>0</x>
    8     <y>0</y>
    9     <width>655</width>
   10     <height>2891</height>
   11    </rect>
   12   </property>
   13   <layout class="QVBoxLayout" name="verticalLayout_11">
   14    <item>
   15     <widget class="QLabel" name="headerLabel">
   16      <property name="text">
   17       <string>&lt;b&gt;Configure editor styles&lt;/b&gt;</string>
   18      </property>
   19     </widget>
   20    </item>
   21    <item>
   22     <widget class="Line" name="line3">
   23      <property name="frameShape">
   24       <enum>QFrame::HLine</enum>
   25      </property>
   26      <property name="frameShadow">
   27       <enum>QFrame::Sunken</enum>
   28      </property>
   29      <property name="orientation">
   30       <enum>Qt::Horizontal</enum>
   31      </property>
   32     </widget>
   33    </item>
   34    <item>
   35     <widget class="QLabel" name="label_3">
   36      <property name="text">
   37       <string>&lt;b&gt;Note:&lt;/b&gt; Fonts and colors of the syntax highlighters have to be configured on the syntax highlighter styles page.</string>
   38      </property>
   39      <property name="wordWrap">
   40       <bool>true</bool>
   41      </property>
   42     </widget>
   43    </item>
   44    <item>
   45     <widget class="QGroupBox" name="groupBox_12">
   46      <property name="title">
   47       <string>Colors</string>
   48      </property>
   49      <layout class="QVBoxLayout" name="verticalLayout_10">
   50       <item>
   51        <widget class="QGroupBox" name="editAreaOverrideCheckBox">
   52         <property name="toolTip">
   53          <string>Select to set the color of the edit area different to the default style</string>
   54         </property>
   55         <property name="title">
   56          <string>Override edit area colors</string>
   57         </property>
   58         <property name="checkable">
   59          <bool>true</bool>
   60         </property>
   61         <property name="checked">
   62          <bool>false</bool>
   63         </property>
   64         <layout class="QHBoxLayout" name="horizontalLayout_7">
   65          <item>
   66           <widget class="QLabel" name="TextLabel2_2_2_2_2_12">
   67            <property name="text">
   68             <string>Edit area foreground:</string>
   69            </property>
   70           </widget>
   71          </item>
   72          <item>
   73           <widget class="QPushButton" name="editAreaForegroundButton">
   74            <property name="minimumSize">
   75             <size>
   76              <width>100</width>
   77              <height>0</height>
   78             </size>
   79            </property>
   80            <property name="toolTip">
   81             <string>Select the foreground color for the edit area.</string>
   82            </property>
   83            <property name="text">
   84             <string/>
   85            </property>
   86           </widget>
   87          </item>
   88          <item>
   89           <widget class="QLabel" name="TextLabel2_2_2_2_2_11">
   90            <property name="text">
   91             <string>Edit area background:</string>
   92            </property>
   93           </widget>
   94          </item>
   95          <item>
   96           <widget class="QPushButton" name="editAreaBackgroundButton">
   97            <property name="minimumSize">
   98             <size>
   99              <width>100</width>
  100              <height>0</height>
  101             </size>
  102            </property>
  103            <property name="toolTip">
  104             <string>Select the background color for the edit area.</string>
  105            </property>
  106            <property name="text">
  107             <string/>
  108            </property>
  109           </widget>
  110          </item>
  111         </layout>
  112        </widget>
  113       </item>
  114       <item>
  115        <layout class="QHBoxLayout" name="horizontalLayout_8">
  116         <item>
  117          <widget class="QLabel" name="label_20">
  118           <property name="text">
  119            <string>Highlighting:</string>
  120           </property>
  121          </widget>
  122         </item>
  123         <item>
  124          <widget class="QPushButton" name="highlightingBackgroundButton">
  125           <property name="minimumSize">
  126            <size>
  127             <width>100</width>
  128             <height>0</height>
  129            </size>
  130           </property>
  131           <property name="toolTip">
  132            <string>Select the color for the caret.</string>
  133           </property>
  134           <property name="text">
  135            <string/>
  136           </property>
  137          </widget>
  138         </item>
  139         <item>
  140          <spacer name="spacer">
  141           <property name="orientation">
  142            <enum>Qt::Horizontal</enum>
  143           </property>
  144           <property name="sizeType">
  145            <enum>QSizePolicy::Expanding</enum>
  146           </property>
  147           <property name="sizeHint" stdset="0">
  148            <size>
  149             <width>347</width>
  150             <height>20</height>
  151            </size>
  152           </property>
  153          </spacer>
  154         </item>
  155        </layout>
  156       </item>
  157      </layout>
  158     </widget>
  159    </item>
  160    <item>
  161     <widget class="QGroupBox" name="groupBox_5">
  162      <property name="title">
  163       <string>Fonts</string>
  164      </property>
  165      <layout class="QGridLayout">
  166       <item row="1" column="2">
  167        <widget class="QCheckBox" name="monospacedCheckBox">
  168         <property name="toolTip">
  169          <string>Select, whether the monospaced font should be used as default</string>
  170         </property>
  171         <property name="text">
  172          <string>Use monospaced as default</string>
  173         </property>
  174        </widget>
  175       </item>
  176       <item row="0" column="1">
  177        <widget class="QLineEdit" name="defaultFontSample">
  178         <property name="focusPolicy">
  179          <enum>Qt::NoFocus</enum>
  180         </property>
  181         <property name="text">
  182          <string>Default Text</string>
  183         </property>
  184         <property name="alignment">
  185          <set>Qt::AlignHCenter</set>
  186         </property>
  187         <property name="readOnly">
  188          <bool>true</bool>
  189         </property>
  190        </widget>
  191       </item>
  192       <item row="0" column="0">
  193        <widget class="QPushButton" name="defaultFontButton">
  194         <property name="toolTip">
  195          <string>Press to select the default font for the editor's text</string>
  196         </property>
  197         <property name="text">
  198          <string>Default Text Font</string>
  199         </property>
  200        </widget>
  201       </item>
  202       <item row="1" column="0">
  203        <widget class="QPushButton" name="monospacedFontButton">
  204         <property name="toolTip">
  205          <string>Press to select the font to be used as the monospaced font</string>
  206         </property>
  207         <property name="text">
  208          <string>Monospaced Font</string>
  209         </property>
  210        </widget>
  211       </item>
  212       <item row="1" column="1">
  213        <widget class="QLineEdit" name="monospacedFontSample">
  214         <property name="focusPolicy">
  215          <enum>Qt::NoFocus</enum>
  216         </property>
  217         <property name="text">
  218          <string>Monospaced Text</string>
  219         </property>
  220         <property name="alignment">
  221          <set>Qt::AlignHCenter</set>
  222         </property>
  223         <property name="readOnly">
  224          <bool>true</bool>
  225         </property>
  226        </widget>
  227       </item>
  228      </layout>
  229     </widget>
  230    </item>
  231    <item>
  232     <widget class="QGroupBox" name="groupBox">
  233      <property name="title">
  234       <string>Margins</string>
  235      </property>
  236      <layout class="QVBoxLayout" name="verticalLayout">
  237       <item>
  238        <layout class="QGridLayout" name="gridLayout_2">
  239         <item row="0" column="0">
  240          <widget class="QCheckBox" name="linenoCheckBox">
  241           <property name="toolTip">
  242            <string>Select whether line numbers margin should be shown.</string>
  243           </property>
  244           <property name="text">
  245            <string>Show Line Numbers Margin</string>
  246           </property>
  247          </widget>
  248         </item>
  249         <item row="0" column="1">
  250          <widget class="QCheckBox" name="foldingCheckBox">
  251           <property name="toolTip">
  252            <string>Select whether the fold margin should be shown.</string>
  253           </property>
  254           <property name="text">
  255            <string>Show Fold Margin</string>
  256           </property>
  257          </widget>
  258         </item>
  259        </layout>
  260       </item>
  261       <item>
  262        <layout class="QHBoxLayout">
  263         <item>
  264          <widget class="QLabel" name="TextLabel1_4_2_2">
  265           <property name="text">
  266            <string>Folding style:</string>
  267           </property>
  268          </widget>
  269         </item>
  270         <item>
  271          <widget class="QComboBox" name="foldingStyleComboBox">
  272           <property name="sizePolicy">
  273            <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
  274             <horstretch>0</horstretch>
  275             <verstretch>0</verstretch>
  276            </sizepolicy>
  277           </property>
  278           <property name="toolTip">
  279            <string>Select the folding style to be used in the folding margin</string>
  280           </property>
  281           <property name="whatsThis">
  282            <string>&lt;b&gt;Folding style&lt;/b&gt;
  283 &lt;p&gt;Select the desired folding style to be used in the folding margin.&lt;/p&gt;
  284 &lt;p&gt;The available styles are:
  285 &lt;ul&gt;
  286 &lt;li&gt;Plain - simple plus and minus symbols&lt;/li&gt;
  287 &lt;li&gt;Circled - circled plus and minus symbols&lt;/li&gt;
  288 &lt;li&gt;Boxed - boxed plus and minus symbols&lt;/li&gt;
  289 &lt;li&gt;Circled Tree - circled plus and minus symbols and flattened tree with rounded corners&lt;/li&gt;
  290 &lt;li&gt;Boxed Tree - boxed plus and minus symbols and flattened tree with rectangled corners&lt;/li&gt;
  291 &lt;/ul&gt;
  292 &lt;/p&gt;</string>
  293           </property>
  294           <item>
  295            <property name="text">
  296             <string>Plain</string>
  297            </property>
  298           </item>
  299           <item>
  300            <property name="text">
  301             <string>Circled</string>
  302            </property>
  303           </item>
  304           <item>
  305            <property name="text">
  306             <string>Boxed</string>
  307            </property>
  308           </item>
  309           <item>
  310            <property name="text">
  311             <string>Circled Tree</string>
  312            </property>
  313           </item>
  314           <item>
  315            <property name="text">
  316             <string>Boxed Tree</string>
  317            </property>
  318           </item>
  319           <item>
  320            <property name="text">
  321             <string>Arrow</string>
  322            </property>
  323           </item>
  324           <item>
  325            <property name="text">
  326             <string>Arrow Tree</string>
  327            </property>
  328           </item>
  329          </widget>
  330         </item>
  331        </layout>
  332       </item>
  333       <item>
  334        <layout class="QGridLayout" name="gridLayout">
  335         <item row="0" column="0">
  336          <widget class="QLabel" name="TextLabel2_2_2_2_2_6">
  337           <property name="text">
  338            <string>Margins foreground:</string>
  339           </property>
  340          </widget>
  341         </item>
  342         <item row="0" column="1">
  343          <widget class="QPushButton" name="marginsForegroundButton">
  344           <property name="minimumSize">
  345            <size>
  346             <width>100</width>
  347             <height>0</height>
  348            </size>
  349           </property>
  350           <property name="toolTip">
  351            <string>Select the foreground color for the margins</string>
  352           </property>
  353           <property name="text">
  354            <string/>
  355           </property>
  356          </widget>
  357         </item>
  358         <item row="0" column="2">
  359          <widget class="QLabel" name="TextLabel2_2_2_2_2_7">
  360           <property name="text">
  361            <string>Margins background:</string>
  362           </property>
  363          </widget>
  364         </item>
  365         <item row="0" column="3">
  366          <widget class="QPushButton" name="marginsBackgroundButton">
  367           <property name="minimumSize">
  368            <size>
  369             <width>100</width>
  370             <height>0</height>
  371            </size>
  372           </property>
  373           <property name="toolTip">
  374            <string>Select the background color for the margins</string>
  375           </property>
  376           <property name="text">
  377            <string/>
  378           </property>
  379          </widget>
  380         </item>
  381         <item row="1" column="0">
  382          <widget class="QLabel" name="TextLabel2_2_2_2_2_8">
  383           <property name="text">
  384            <string>Foldmargin background:</string>
  385           </property>
  386          </widget>
  387         </item>
  388         <item row="1" column="1">
  389          <widget class="QPushButton" name="foldmarginBackgroundButton">
  390           <property name="minimumSize">
  391            <size>
  392             <width>100</width>
  393             <height>0</height>
  394            </size>
  395           </property>
  396           <property name="toolTip">
  397            <string>Select the background color for the foldmargin</string>
  398           </property>
  399           <property name="text">
  400            <string/>
  401           </property>
  402          </widget>
  403         </item>
  404         <item row="2" column="0">
  405          <widget class="QLabel" name="label">
  406           <property name="text">
  407            <string>Foldmarkers foreground:</string>
  408           </property>
  409          </widget>
  410         </item>
  411         <item row="2" column="1">
  412          <widget class="QPushButton" name="foldmarkersForegroundButton">
  413           <property name="minimumSize">
  414            <size>
  415             <width>100</width>
  416             <height>0</height>
  417            </size>
  418           </property>
  419           <property name="toolTip">
  420            <string>Select the foreground color of the foldmarkers</string>
  421           </property>
  422           <property name="text">
  423            <string/>
  424           </property>
  425          </widget>
  426         </item>
  427         <item row="2" column="2">
  428          <widget class="QLabel" name="label_2">
  429           <property name="text">
  430            <string>Foldmarkers background:</string>
  431           </property>
  432          </widget>
  433         </item>
  434         <item row="2" column="3">
  435          <widget class="QPushButton" name="foldmarkersBackgroundButton">
  436           <property name="minimumSize">
  437            <size>
  438             <width>100</width>
  439             <height>0</height>
  440            </size>
  441           </property>
  442           <property name="toolTip">
  443            <string>Select the background color of the foldmarkers</string>
  444           </property>
  445           <property name="text">
  446            <string/>
  447           </property>
  448          </widget>
  449         </item>
  450        </layout>
  451       </item>
  452       <item>
  453        <layout class="QHBoxLayout" name="horizontalLayout">
  454         <item>
  455          <widget class="QPushButton" name="linenumbersFontButton">
  456           <property name="toolTip">
  457            <string>Press to select the font for the editor line numbers</string>
  458           </property>
  459           <property name="text">
  460            <string>Line Numbers Font</string>
  461           </property>
  462          </widget>
  463         </item>
  464         <item>
  465          <widget class="QLineEdit" name="marginsFontSample">
  466           <property name="minimumSize">
  467            <size>
  468             <width>200</width>
  469             <height>0</height>
  470            </size>
  471           </property>
  472           <property name="focusPolicy">
  473            <enum>Qt::NoFocus</enum>
  474           </property>
  475           <property name="text">
  476            <string>2345</string>
  477           </property>
  478           <property name="alignment">
  479            <set>Qt::AlignHCenter</set>
  480           </property>
  481           <property name="readOnly">
  482            <bool>true</bool>
  483           </property>
  484          </widget>
  485         </item>
  486         <item>
  487          <spacer name="horizontalSpacer">
  488           <property name="orientation">
  489            <enum>Qt::Horizontal</enum>
  490           </property>
  491           <property name="sizeHint" stdset="0">
  492            <size>
  493             <width>40</width>
  494             <height>20</height>
  495            </size>
  496           </property>
  497          </spacer>
  498         </item>
  499        </layout>
  500       </item>
  501      </layout>
  502     </widget>
  503    </item>
  504    <item>
  505     <widget class="QGroupBox" name="groupBox_3">
  506      <property name="title">
  507       <string>Selection</string>
  508      </property>
  509      <layout class="QVBoxLayout" name="_2">
  510       <item>
  511        <layout class="QGridLayout" name="_3">
  512         <item row="0" column="0">
  513          <widget class="QCheckBox" name="customSelColourCheckBox">
  514           <property name="toolTip">
  515            <string>Select to use custom selection colors</string>
  516           </property>
  517           <property name="whatsThis">
  518            <string>&lt;b&gt;Use custom selection colors&lt;/b&gt;&lt;p&gt;Select this entry in order to use custom selection colors in the editor and shell windows. The colors for the selection foreground and background are defined on the colors page.&lt;/p&gt;</string>
  519           </property>
  520           <property name="text">
  521            <string>Use custom selection colors</string>
  522           </property>
  523          </widget>
  524         </item>
  525         <item row="0" column="1">
  526          <widget class="QCheckBox" name="colourizeSelTextCheckBox">
  527           <property name="toolTip">
  528            <string>Select, if selected text should be colorized by the lexer.</string>
  529           </property>
  530           <property name="text">
  531            <string>Colorize selected text</string>
  532           </property>
  533          </widget>
  534         </item>
  535         <item row="1" column="0">
  536          <widget class="QCheckBox" name="extentSelEolCheckBox">
  537           <property name="toolTip">
  538            <string>Select to extend selection to end of line</string>
  539           </property>
  540           <property name="text">
  541            <string>Extend selection to end of line</string>
  542           </property>
  543          </widget>
  544         </item>
  545        </layout>
  546       </item>
  547       <item>
  548        <layout class="QHBoxLayout" name="_4">
  549         <item>
  550          <widget class="QLabel" name="TextLabel2_2_2_2_2_4">
  551           <property name="text">
  552            <string>Selection foreground:</string>
  553           </property>
  554          </widget>
  555         </item>
  556         <item>
  557          <widget class="QPushButton" name="selectionForegroundButton">
  558           <property name="minimumSize">
  559            <size>
  560             <width>100</width>
  561             <height>0</height>
  562            </size>
  563           </property>
  564           <property name="toolTip">
  565            <string>Select the foreground color for the selection.</string>
  566           </property>
  567           <property name="text">
  568            <string/>
  569           </property>
  570          </widget>
  571         </item>
  572         <item>
  573          <widget class="QLabel" name="TextLabel2_2_2_2_2_5">
  574           <property name="text">
  575            <string>Selection background:</string>
  576           </property>
  577          </widget>
  578         </item>
  579         <item>
  580          <widget class="QPushButton" name="selectionBackgroundButton">
  581           <property name="minimumSize">
  582            <size>
  583             <width>100</width>
  584             <height>0</height>
  585            </size>
  586           </property>
  587           <property name="toolTip">
  588            <string>Select the background color for the selection.</string>
  589           </property>
  590           <property name="text">
  591            <string/>
  592           </property>
  593          </widget>
  594         </item>
  595        </layout>
  596       </item>
  597      </layout>
  598     </widget>
  599    </item>
  600    <item>
  601     <widget class="QGroupBox" name="groupBox_4">
  602      <property name="title">
  603       <string>Caret</string>
  604      </property>
  605      <layout class="QVBoxLayout" name="verticalLayout_9">
  606       <item>
  607        <widget class="QGroupBox" name="groupBox_18">
  608         <property name="title">
  609          <string>Caret</string>
  610         </property>
  611         <layout class="QHBoxLayout" name="horizontalLayout_5">
  612          <item>
  613           <widget class="QLabel" name="textLabel1_7">
  614            <property name="text">
  615             <string>Width:</string>
  616            </property>
  617           </widget>
  618          </item>
  619          <item>
  620           <widget class="QSpinBox" name="caretWidthSpinBox">
  621            <property name="toolTip">
  622             <string>Select caret width (1, 2 or 3 pixels)</string>
  623            </property>
  624            <property name="minimum">
  625             <number>1</number>
  626            </property>
  627            <property name="maximum">
  628             <number>3</number>
  629            </property>
  630           </widget>
  631          </item>
  632          <item>
  633           <widget class="QLabel" name="TextLabel2_2_2_2_2_2">
  634            <property name="text">
  635             <string>Foreground:</string>
  636            </property>
  637           </widget>
  638          </item>
  639          <item>
  640           <widget class="QPushButton" name="caretForegroundButton">
  641            <property name="minimumSize">
  642             <size>
  643              <width>100</width>
  644              <height>0</height>
  645             </size>
  646            </property>
  647            <property name="toolTip">
  648             <string>Select the color for the caret.</string>
  649            </property>
  650            <property name="text">
  651             <string/>
  652            </property>
  653           </widget>
  654          </item>
  655          <item>
  656           <spacer>
  657            <property name="orientation">
  658             <enum>Qt::Horizontal</enum>
  659            </property>
  660            <property name="sizeType">
  661             <enum>QSizePolicy::Expanding</enum>
  662            </property>
  663            <property name="sizeHint" stdset="0">
  664             <size>
  665              <width>347</width>
  666              <height>20</height>
  667             </size>
  668            </property>
  669           </spacer>
  670          </item>
  671         </layout>
  672        </widget>
  673       </item>
  674       <item>
  675        <widget class="QGroupBox" name="groupBox_19">
  676         <property name="title">
  677          <string>Caret Line</string>
  678         </property>
  679         <layout class="QVBoxLayout" name="verticalLayout_6">
  680          <item>
  681           <layout class="QHBoxLayout" name="horizontalLayout_4">
  682            <item>
  683             <widget class="QCheckBox" name="caretlineVisibleCheckBox">
  684              <property name="toolTip">
  685               <string>Select, whether the caret line should be highlighted</string>
  686              </property>
  687              <property name="text">
  688               <string>Caret line visible</string>
  689              </property>
  690             </widget>
  691            </item>
  692            <item>
  693             <widget class="QCheckBox" name="caretlineAlwaysVisibleCheckBox">
  694              <property name="toolTip">
  695               <string>Select, whether the caret line should be highlighted even if the editor doesn't have the focus</string>
  696              </property>
  697              <property name="text">
  698               <string>Caret line always visible</string>
  699              </property>
  700             </widget>
  701            </item>
  702            <item>
  703             <spacer name="horizontalSpacer_3">
  704              <property name="orientation">
  705               <enum>Qt::Horizontal</enum>
  706              </property>
  707              <property name="sizeHint" stdset="0">
  708               <size>
  709                <width>40</width>
  710                <height>20</height>
  711               </size>
  712              </property>
  713             </spacer>
  714            </item>
  715           </layout>
  716          </item>
  717          <item>
  718           <layout class="QHBoxLayout" name="horizontalLayout_6">
  719            <item>
  720             <widget class="QLabel" name="label_19">
  721              <property name="text">
  722               <string>Frame Width:</string>
  723              </property>
  724             </widget>
  725            </item>
  726            <item>
  727             <widget class="QSpinBox" name="caretlineFrameWidthSpinBox">
  728              <property name="toolTip">
  729               <string>Select caret line frame width (off, 1, 2 or 3 pixels)</string>
  730              </property>
  731              <property name="specialValueText">
  732               <string>Off</string>
  733              </property>
  734              <property name="minimum">
  735               <number>0</number>
  736              </property>
  737              <property name="maximum">
  738               <number>3</number>
  739              </property>
  740              <property name="value">
  741               <number>0</number>
  742              </property>
  743             </widget>
  744            </item>
  745            <item>
  746             <widget class="QLabel" name="TextLabel2_2_2_2_2_3">
  747              <property name="text">
  748               <string>Background:</string>
  749              </property>
  750             </widget>
  751            </item>
  752            <item>
  753             <widget class="QPushButton" name="caretlineBackgroundButton">
  754              <property name="minimumSize">
  755               <size>
  756                <width>100</width>
  757                <height>0</height>
  758               </size>
  759              </property>
  760              <property name="toolTip">
  761               <string>Select the background color for the line containing the caret.</string>
  762              </property>
  763              <property name="text">
  764               <string/>
  765              </property>
  766             </widget>
  767            </item>
  768            <item>
  769             <spacer name="horizontalSpacer_5">
  770              <property name="orientation">
  771               <enum>Qt::Horizontal</enum>
  772              </property>
  773              <property name="sizeHint" stdset="0">
  774               <size>
  775                <width>40</width>
  776                <height>20</height>
  777               </size>
  778              </property>
  779             </spacer>
  780            </item>
  781           </layout>
  782          </item>
  783         </layout>
  784        </widget>
  785       </item>
  786      </layout>
  787     </widget>
  788    </item>
  789    <item>
  790     <widget class="QGroupBox" name="groupBox_2">
  791      <property name="title">
  792       <string>Debugging Line Markers</string>
  793      </property>
  794      <layout class="QGridLayout" name="gridLayout_10">
  795       <item row="0" column="0" colspan="4">
  796        <widget class="QCheckBox" name="debugMarkerBackgroundCheckBox">
  797         <property name="toolTip">
  798          <string>Select to indicate the debug markers using colored line backgrounds, arrow indicators otherwise</string>
  799         </property>
  800         <property name="text">
  801          <string>Use background colors</string>
  802         </property>
  803        </widget>
  804       </item>
  805       <item row="1" column="0">
  806        <widget class="QLabel" name="TextLabel3_2_2">
  807         <property name="text">
  808          <string>Current line marker:</string>
  809         </property>
  810        </widget>
  811       </item>
  812       <item row="1" column="1">
  813        <widget class="QPushButton" name="currentLineMarkerButton">
  814         <property name="minimumSize">
  815          <size>
  816           <width>100</width>
  817           <height>0</height>
  818          </size>
  819         </property>
  820         <property name="toolTip">
  821          <string>Select the color for the current line marker.</string>
  822         </property>
  823         <property name="text">
  824          <string/>
  825         </property>
  826        </widget>
  827       </item>
  828       <item row="1" column="2">
  829        <widget class="QLabel" name="TextLabel4_2_2">
  830         <property name="text">
  831          <string>Error line marker:</string>
  832         </property>
  833        </widget>
  834       </item>
  835       <item row="1" column="3">
  836        <widget class="QPushButton" name="errorMarkerButton">
  837         <property name="minimumSize">
  838          <size>
  839           <width>100</width>
  840           <height>0</height>
  841          </size>
  842         </property>
  843         <property name="toolTip">
  844          <string>Select the color for the error line marker.</string>
  845         </property>
  846         <property name="text">
  847          <string/>
  848         </property>
  849        </widget>
  850       </item>
  851      </layout>
  852     </widget>
  853    </item>
  854    <item>
  855     <widget class="QGroupBox" name="groupBox_6">
  856      <property name="title">
  857       <string>Braces</string>
  858      </property>
  859      <layout class="QGridLayout" name="_9">
  860       <item row="0" column="0" colspan="2">
  861        <widget class="QCheckBox" name="bracehighlightingCheckBox">
  862         <property name="toolTip">
  863          <string>Select whether matching and bad braces shall be highlighted.</string>
  864         </property>
  865         <property name="text">
  866          <string>Highlight braces</string>
  867         </property>
  868        </widget>
  869       </item>
  870       <item row="1" column="0">
  871        <widget class="QLabel" name="TextLabel1_3_2">
  872         <property name="text">
  873          <string>Matched braces:</string>
  874         </property>
  875        </widget>
  876       </item>
  877       <item row="1" column="1">
  878        <widget class="QPushButton" name="matchingBracesButton">
  879         <property name="minimumSize">
  880          <size>
  881           <width>100</width>
  882           <height>0</height>
  883          </size>
  884         </property>
  885         <property name="toolTip">
  886          <string>Select the color for highlighting matching braces.</string>
  887         </property>
  888         <property name="text">
  889          <string/>
  890         </property>
  891        </widget>
  892       </item>
  893       <item row="1" column="2">
  894        <widget class="QLabel" name="TextLabel1_3_2_2">
  895         <property name="text">
  896          <string>Matched braces background:</string>
  897         </property>
  898        </widget>
  899       </item>
  900       <item row="1" column="3">
  901        <widget class="QPushButton" name="matchingBracesBackButton">
  902         <property name="minimumSize">
  903          <size>
  904           <width>100</width>
  905           <height>0</height>
  906          </size>
  907         </property>
  908         <property name="toolTip">
  909          <string>Select the background color for highlighting matching braces.</string>
  910         </property>
  911         <property name="text">
  912          <string/>
  913         </property>
  914        </widget>
  915       </item>
  916       <item row="2" column="0">
  917        <widget class="QLabel" name="TextLabel2_2_2">
  918         <property name="minimumSize">
  919          <size>
  920           <width>100</width>
  921           <height>0</height>
  922          </size>
  923         </property>
  924         <property name="text">
  925          <string>Unmatched brace:</string>
  926         </property>
  927        </widget>
  928       </item>
  929       <item row="2" column="1">
  930        <widget class="QPushButton" name="nonmatchingBracesButton">
  931         <property name="toolTip">
  932          <string>Select the color for  highlighting nonmatching braces.</string>
  933         </property>
  934         <property name="text">
  935          <string/>
  936         </property>
  937        </widget>
  938       </item>
  939       <item row="2" column="2">
  940        <widget class="QLabel" name="TextLabel2_2_2_3">
  941         <property name="minimumSize">
  942          <size>
  943           <width>100</width>
  944           <height>0</height>
  945          </size>
  946         </property>
  947         <property name="text">
  948          <string>Unmatched brace background:</string>
  949         </property>
  950        </widget>
  951       </item>
  952       <item row="2" column="3">
  953        <widget class="QPushButton" name="nonmatchingBracesBackButton">
  954         <property name="toolTip">
  955          <string>Select the background color for  highlighting nonmatching braces.</string>
  956         </property>
  957         <property name="text">
  958          <string/>
  959         </property>
  960        </widget>
  961       </item>
  962      </layout>
  963     </widget>
  964    </item>
  965    <item>
  966     <widget class="QGroupBox" name="groupBox_7">
  967      <property name="title">
  968       <string>End of Line</string>
  969      </property>
  970      <layout class="QVBoxLayout" name="verticalLayout_4">
  971       <item>
  972        <widget class="QCheckBox" name="eolCheckBox">
  973         <property name="toolTip">
  974          <string>Select whether end of line shall be shown</string>
  975         </property>
  976         <property name="text">
  977          <string>Show End of Line</string>
  978         </property>
  979        </widget>
  980       </item>
  981       <item>
  982        <widget class="QGroupBox" name="wrapLongLinesGroup">
  983         <property name="toolTip">
  984          <string/>
  985         </property>
  986         <property name="title">
  987          <string>Wrap long lines</string>
  988         </property>
  989         <property name="checkable">
  990          <bool>false</bool>
  991         </property>
  992         <layout class="QGridLayout" name="gridLayout_7">
  993          <item row="0" column="0">
  994           <widget class="QLabel" name="textLabel1_15">
  995            <property name="text">
  996             <string>Mode:</string>
  997            </property>
  998           </widget>
  999          </item>
 1000          <item row="0" column="1">
 1001           <widget class="QComboBox" name="wrapModeComboBox">
 1002            <property name="toolTip">
 1003             <string>Select the wrap mode for long lines</string>
 1004            </property>
 1005           </widget>
 1006          </item>
 1007          <item row="0" column="2" colspan="2">
 1008           <spacer name="horizontalSpacer_2">
 1009            <property name="orientation">
 1010             <enum>Qt::Horizontal</enum>
 1011            </property>
 1012            <property name="sizeHint" stdset="0">
 1013             <size>
 1014              <width>400</width>
 1015              <height>20</height>
 1016             </size>
 1017            </property>
 1018           </spacer>
 1019          </item>
 1020          <item row="1" column="0">
 1021           <widget class="QLabel" name="label_5">
 1022            <property name="text">
 1023             <string>Indication:</string>
 1024            </property>
 1025           </widget>
 1026          </item>
 1027          <item row="1" column="1">
 1028           <widget class="QComboBox" name="wrapVisualComboBox">
 1029            <property name="toolTip">
 1030             <string>Select, how wrapped lines are indicated</string>
 1031            </property>
 1032           </widget>
 1033          </item>
 1034          <item row="2" column="0">
 1035           <widget class="QLabel" name="label_18">
 1036            <property name="text">
 1037             <string>Indentation:</string>
 1038            </property>
 1039           </widget>
 1040          </item>
 1041          <item row="2" column="1">
 1042           <widget class="QComboBox" name="wrapIndentComboBox">
 1043            <property name="toolTip">
 1044             <string>Select, how wrapped lines are indented</string>
 1045            </property>
 1046           </widget>
 1047          </item>
 1048          <item row="2" column="2">
 1049           <widget class="QSpinBox" name="wrapStartIndentSpinBox">
 1050            <property name="toolTip">
 1051             <string>Enter the number of characters to indent (only used for 'Fixed')</string>
 1052            </property>
 1053            <property name="suffix">
 1054             <string> characters</string>
 1055            </property>
 1056            <property name="maximum">
 1057             <number>9</number>
 1058            </property>
 1059           </widget>
 1060          </item>
 1061          <item row="2" column="3">
 1062           <spacer name="horizontalSpacer_4">
 1063            <property name="orientation">
 1064             <enum>Qt::Horizontal</enum>
 1065            </property>
 1066            <property name="sizeHint" stdset="0">
 1067             <size>
 1068              <width>362</width>
 1069              <height>20</height>
 1070             </size>
 1071            </property>
 1072           </spacer>
 1073          </item>
 1074         </layout>
 1075        </widget>
 1076       </item>
 1077       <item>
 1078        <widget class="QGroupBox" name="groupBox_9">
 1079         <property name="title">
 1080          <string>Edge Mode</string>
 1081         </property>
 1082         <layout class="QGridLayout" name="_13">
 1083          <item row="0" column="2" colspan="2">
 1084           <spacer>
 1085            <property name="orientation">
 1086             <enum>Qt::Horizontal</enum>
 1087            </property>
 1088            <property name="sizeType">
 1089             <enum>QSizePolicy::Expanding</enum>
 1090            </property>
 1091            <property name="sizeHint" stdset="0">
 1092             <size>
 1093              <width>211</width>
 1094              <height>20</height>
 1095             </size>
 1096            </property>
 1097           </spacer>
 1098          </item>
 1099          <item row="2" column="2" colspan="2">
 1100           <spacer>
 1101            <property name="orientation">
 1102             <enum>Qt::Horizontal</enum>
 1103            </property>
 1104            <property name="sizeType">
 1105             <enum>QSizePolicy::Expanding</enum>
 1106            </property>
 1107            <property name="sizeHint" stdset="0">
 1108             <size>
 1109              <width>201</width>
 1110              <height>31</height>
 1111             </size>
 1112            </property>
 1113           </spacer>
 1114          </item>
 1115          <item row="2" column="1">
 1116           <widget class="QPushButton" name="edgeBackgroundColorButton">
 1117            <property name="minimumSize">
 1118             <size>
 1119              <width>100</width>
 1120              <height>0</height>
 1121             </size>
 1122            </property>
 1123            <property name="toolTip">
 1124             <string>Select the color for the edge marker.</string>
 1125            </property>
 1126            <property name="text">
 1127             <string/>
 1128            </property>
 1129           </widget>
 1130          </item>
 1131          <item row="2" column="0">
 1132           <widget class="QLabel" name="TextLabel13_3_2_2">
 1133            <property name="text">
 1134             <string>Background color:</string>
 1135            </property>
 1136           </widget>
 1137          </item>
 1138          <item row="1" column="1" colspan="2">
 1139           <widget class="QSlider" name="edgeLineColumnSlider">
 1140            <property name="sizePolicy">
 1141             <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
 1142              <horstretch>11</horstretch>
 1143              <verstretch>0</verstretch>
 1144             </sizepolicy>
 1145            </property>
 1146            <property name="toolTip">
 1147             <string>Move to set the edge column.</string>
 1148            </property>
 1149            <property name="minimum">
 1150             <number>0</number>
 1151            </property>
 1152            <property name="maximum">
 1153             <number>160</number>
 1154            </property>
 1155            <property name="value">
 1156             <number>80</number>
 1157            </property>
 1158            <property name="orientation">
 1159             <enum>Qt::Horizontal</enum>
 1160            </property>
 1161            <property name="tickInterval">
 1162             <number>10</number>
 1163            </property>
 1164           </widget>
 1165          </item>
 1166          <item row="1" column="3">
 1167           <widget class="QLCDNumber" name="edgeLineColumnLCD">
 1168            <property name="sizePolicy">
 1169             <sizepolicy hsizetype="Minimum" vsizetype="Minimum">
 1170              <horstretch>1</horstretch>
 1171              <verstretch>0</verstretch>
 1172             </sizepolicy>
 1173            </property>
 1174            <property name="toolTip">
 1175             <string>Displays the selected tab width.</string>
 1176            </property>
 1177            <property name="digitCount">
 1178             <number>3</number>
 1179            </property>
 1180            <property name="segmentStyle">
 1181             <enum>QLCDNumber::Flat</enum>
 1182            </property>
 1183            <property name="value" stdset="0">
 1184             <double>80.000000000000000</double>
 1185            </property>
 1186           </widget>
 1187          </item>
 1188          <item row="1" column="0">
 1189           <widget class="QLabel" name="TextLabel13_3_2">
 1190            <property name="text">
 1191             <string>Column number:</string>
 1192            </property>
 1193           </widget>
 1194          </item>
 1195          <item row="0" column="0">
 1196           <widget class="QLabel" name="textLabel1_14">
 1197            <property name="text">
 1198             <string>Mode:</string>
 1199            </property>
 1200           </widget>
 1201          </item>
 1202          <item row="0" column="1">
 1203           <widget class="QComboBox" name="edgeModeCombo">
 1204            <property name="sizePolicy">
 1205             <sizepolicy hsizetype="Minimum" vsizetype="Fixed">
 1206              <horstretch>0</horstretch>
 1207              <verstretch>0</verstretch>
 1208             </sizepolicy>
 1209            </property>
 1210            <item>
 1211             <property name="text">
 1212              <string>Disabled</string>
 1213             </property>
 1214            </item>
 1215            <item>
 1216             <property name="text">
 1217              <string>Draw Line</string>
 1218             </property>
 1219            </item>
 1220            <item>
 1221             <property name="text">
 1222              <string>Change Background Color</string>
 1223             </property>
 1224            </item>
 1225           </widget>
 1226          </item>
 1227         </layout>
 1228        </widget>
 1229       </item>
 1230      </layout>
 1231     </widget>
 1232    </item>
 1233    <item>
 1234     <widget class="QGroupBox" name="groupBox_8">
 1235      <property name="title">
 1236       <string>Zoom</string>
 1237      </property>
 1238      <layout class="QHBoxLayout" name="horizontalLayout_2">
 1239       <item>
 1240        <widget class="QLabel" name="TextLabel13_2_2_3">
 1241         <property name="text">
 1242          <string>Initial zoom factor:</string>
 1243         </property>
 1244        </widget>
 1245       </item>
 1246       <item>
 1247        <widget class="QSlider" name="zoomfactorSlider">
 1248         <property name="toolTip">
 1249          <string>Move to set the initial zoom factor</string>
 1250         </property>
 1251         <property name="minimum">
 1252          <number>-10</number>
 1253         </property>
 1254         <property name="maximum">
 1255          <number>20</number>
 1256         </property>
 1257         <property name="value">
 1258          <number>0</number>
 1259         </property>
 1260         <property name="orientation">
 1261          <enum>Qt::Horizontal</enum>
 1262         </property>
 1263         <property name="tickInterval">
 1264          <number>5</number>
 1265         </property>
 1266        </widget>
 1267       </item>
 1268       <item>
 1269        <widget class="QLCDNumber" name="zoomfactorLCD">
 1270         <property name="toolTip">
 1271          <string>Displays the selected initial zoom factor</string>
 1272         </property>
 1273         <property name="digitCount">
 1274          <number>3</number>
 1275         </property>
 1276         <property name="segmentStyle">
 1277          <enum>QLCDNumber::Flat</enum>
 1278         </property>
 1279         <property name="value" stdset="0">
 1280          <double>0.000000000000000</double>
 1281         </property>
 1282        </widget>
 1283       </item>
 1284      </layout>
 1285     </widget>
 1286    </item>
 1287    <item>
 1288     <widget class="QGroupBox" name="annotationsGroup">
 1289      <property name="title">
 1290       <string>Annotations</string>
 1291      </property>
 1292      <layout class="QGridLayout" name="gridLayout_8">
 1293       <item row="0" column="0" colspan="2">
 1294        <widget class="QCheckBox" name="enableAnnotationsCheckBox">
 1295         <property name="statusTip">
 1296          <string>Select to enable the display of annotations</string>
 1297         </property>
 1298         <property name="text">
 1299          <string>Show annotations</string>
 1300         </property>
 1301        </widget>
 1302       </item>
 1303       <item row="1" column="0">
 1304        <widget class="QGroupBox" name="annotationsWarningGroup">
 1305         <property name="title">
 1306          <string>Warnings</string>
 1307         </property>
 1308         <layout class="QGridLayout" name="gridLayout_3">
 1309          <item row="0" column="0">
 1310           <widget class="QPushButton" name="annotationsWarningFgButton">
 1311            <property name="toolTip">
 1312             <string>Press to select the foreground color</string>
 1313            </property>
 1314            <property name="text">
 1315             <string>Foreground</string>
 1316            </property>
 1317           </widget>
 1318          </item>
 1319          <item row="0" column="1">
 1320           <widget class="QPushButton" name="annotationsWarningBgButton">
 1321            <property name="toolTip">
 1322             <string>Press to select the background color</string>
 1323            </property>
 1324            <property name="text">
 1325             <string>Background</string>
 1326            </property>
 1327           </widget>
 1328          </item>
 1329          <item row="1" column="0" colspan="2">
 1330           <widget class="QLineEdit" name="annotationsWarningSample">
 1331            <property name="focusPolicy">
 1332             <enum>Qt::NoFocus</enum>
 1333            </property>
 1334            <property name="text">
 1335             <string>Warning: There might be an issue.</string>
 1336            </property>
 1337            <property name="alignment">
 1338             <set>Qt::AlignHCenter</set>
 1339            </property>
 1340            <property name="readOnly">
 1341             <bool>true</bool>
 1342            </property>
 1343           </widget>
 1344          </item>
 1345         </layout>
 1346        </widget>
 1347       </item>
 1348       <item row="1" column="1">
 1349        <widget class="QGroupBox" name="annotationsErrorGroup">
 1350         <property name="title">
 1351          <string>Errors</string>
 1352         </property>
 1353         <layout class="QGridLayout" name="gridLayout_4">
 1354          <item row="0" column="0">
 1355           <widget class="QPushButton" name="annotationsErrorFgButton">
 1356            <property name="toolTip">
 1357             <string>Press to select the foreground color</string>
 1358            </property>
 1359            <property name="text">
 1360             <string>Foreground</string>
 1361            </property>
 1362           </widget>
 1363          </item>
 1364          <item row="0" column="1">
 1365           <widget class="QPushButton" name="annotationsErrorBgButton">
 1366            <property name="toolTip">
 1367             <string>Press to select the background color</string>
 1368            </property>
 1369            <property name="text">
 1370             <string>Background</string>
 1371            </property>
 1372           </widget>
 1373          </item>
 1374          <item row="1" column="0" colspan="2">
 1375           <widget class="QLineEdit" name="annotationsErrorSample">
 1376            <property name="focusPolicy">
 1377             <enum>Qt::NoFocus</enum>
 1378            </property>
 1379            <property name="text">
 1380             <string>Error: There is an issue.</string>
 1381            </property>
 1382            <property name="alignment">
 1383             <set>Qt::AlignHCenter</set>
 1384            </property>
 1385            <property name="readOnly">
 1386             <bool>true</bool>
 1387            </property>
 1388           </widget>
 1389          </item>
 1390         </layout>
 1391        </widget>
 1392       </item>
 1393       <item row="2" column="0">
 1394        <widget class="QGroupBox" name="annotationsStyleWarningGroup">
 1395         <property name="title">
 1396          <string>Style</string>
 1397         </property>
 1398         <layout class="QGridLayout" name="gridLayout_5">
 1399          <item row="0" column="0">
 1400           <widget class="QPushButton" name="annotationsStyleWarningFgButton">
 1401            <property name="toolTip">
 1402             <string>Press to select the foreground color</string>
 1403            </property>
 1404            <property name="text">
 1405             <string>Foreground</string>
 1406            </property>
 1407           </widget>
 1408          </item>
 1409          <item row="0" column="1">
 1410           <widget class="QPushButton" name="annotationsStyleWarningBgButton">
 1411            <property name="toolTip">
 1412             <string>Press to select the background color</string>
 1413            </property>
 1414            <property name="text">
 1415             <string>Background</string>
 1416            </property>
 1417           </widget>
 1418          </item>
 1419          <item row="1" column="0" colspan="2">
 1420           <widget class="QLineEdit" name="annotationsStyleWarningSample">
 1421            <property name="focusPolicy">
 1422             <enum>Qt::NoFocus</enum>
 1423            </property>
 1424            <property name="text">
 1425             <string>Style: There is a style issue.</string>
 1426            </property>
 1427            <property name="alignment">
 1428             <set>Qt::AlignHCenter</set>
 1429            </property>
 1430            <property name="readOnly">
 1431             <bool>true</bool>
 1432            </property>
 1433           </widget>
 1434          </item>
 1435         </layout>
 1436        </widget>
 1437       </item>
 1438      </layout>
 1439     </widget>
 1440    </item>
 1441    <item>
 1442     <widget class="QGroupBox" name="groupBox_13">
 1443      <property name="title">
 1444       <string>Change Tracing</string>
 1445      </property>
 1446      <layout class="QVBoxLayout" name="verticalLayout_3">
 1447       <item>
 1448        <widget class="QCheckBox" name="enableChangeTraceCheckBox">
 1449         <property name="toolTip">
 1450          <string>Select to mark changed lines</string>
 1451         </property>
 1452         <property name="text">
 1453          <string>Mark changed lines</string>
 1454         </property>
 1455        </widget>
 1456       </item>
 1457       <item>
 1458        <layout class="QHBoxLayout" name="_16">
 1459         <item>
 1460          <widget class="QLabel" name="label_4">
 1461           <property name="text">
 1462            <string>Timeout for marking changed lines:</string>
 1463           </property>
 1464          </widget>
 1465         </item>
 1466         <item>
 1467          <widget class="QSpinBox" name="changeTraceTimeoutSpinBox">
 1468           <property name="toolTip">
 1469            <string>Enter the time in milliseconds after which changed lines will be marked</string>
 1470           </property>
 1471           <property name="alignment">
 1472            <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set>
 1473           </property>
 1474           <property name="buttonSymbols">
 1475            <enum>QAbstractSpinBox::PlusMinus</enum>
 1476           </property>
 1477           <property name="correctionMode">
 1478            <enum>QAbstractSpinBox::CorrectToNearestValue</enum>
 1479           </property>
 1480           <property name="suffix">
 1481            <string> ms</string>
 1482           </property>
 1483           <property name="minimum">
 1484            <number>100</number>
 1485           </property>
 1486           <property name="maximum">
 1487            <number>5000</number>
 1488           </property>
 1489           <property name="singleStep">
 1490            <number>100</number>
 1491           </property>
 1492          </widget>
 1493         </item>
 1494         <item>
 1495          <spacer>
 1496           <property name="orientation">
 1497            <enum>Qt::Horizontal</enum>
 1498           </property>
 1499           <property name="sizeHint" stdset="0">
 1500            <size>
 1501             <width>40</width>
 1502             <height>20</height>
 1503            </size>
 1504           </property>
 1505          </spacer>
 1506         </item>
 1507        </layout>
 1508       </item>
 1509       <item>
 1510        <layout class="QHBoxLayout" name="horizontalLayout_3">
 1511         <item>
 1512          <widget class="QLabel" name="TextLabel13_3_2_3">
 1513           <property name="text">
 1514            <string>Unsaved changes color:</string>
 1515           </property>
 1516          </widget>
 1517         </item>
 1518         <item>
 1519          <widget class="QPushButton" name="changeMarkerUnsavedColorButton">
 1520           <property name="minimumSize">
 1521            <size>
 1522             <width>100</width>
 1523             <height>0</height>
 1524            </size>
 1525           </property>
 1526           <property name="toolTip">
 1527            <string>Select the color for the change marker for unsaved changes.</string>
 1528           </property>
 1529           <property name="text">
 1530            <string/>
 1531           </property>
 1532          </widget>
 1533         </item>
 1534         <item>
 1535          <widget class="QLabel" name="TextLabel13_3_2_4">
 1536           <property name="text">
 1537            <string>Saved changes color:</string>
 1538           </property>
 1539          </widget>
 1540         </item>
 1541         <item>
 1542          <widget class="QPushButton" name="changeMarkerSavedColorButton">
 1543           <property name="minimumSize">
 1544            <size>
 1545             <width>100</width>
 1546             <height>0</height>
 1547            </size>
 1548           </property>
 1549           <property name="toolTip">
 1550            <string>Select the color for the change marker for saved changes.</string>
 1551           </property>
 1552           <property name="text">
 1553            <string/>
 1554           </property>
 1555          </widget>
 1556         </item>
 1557        </layout>
 1558       </item>
 1559      </layout>
 1560     </widget>
 1561    </item>
 1562    <item>
 1563     <widget class="QGroupBox" name="groupBox_11">
 1564      <property name="title">
 1565       <string>Whitespace</string>
 1566      </property>
 1567      <layout class="QVBoxLayout" name="verticalLayout_2">
 1568       <item>
 1569        <widget class="QCheckBox" name="whitespaceCheckBox">
 1570         <property name="toolTip">
 1571          <string>Select whether whitspace characters shall be shown</string>
 1572         </property>
 1573         <property name="text">
 1574          <string>Show Whitespace</string>
 1575         </property>
 1576        </widget>
 1577       </item>
 1578       <item>
 1579        <layout class="QHBoxLayout" name="_12">
 1580         <item>
 1581          <widget class="QLabel" name="textLabel1_8">
 1582           <property name="text">
 1583            <string>Whitespace size:</string>
 1584           </property>
 1585          </widget>
 1586         </item>
 1587         <item>
 1588          <widget class="QSpinBox" name="whitespaceSizeSpinBox">
 1589           <property name="toolTip">
 1590            <string>Select the size of the dots used to represent visible whitespace</string>
 1591           </property>
 1592           <property name="minimum">
 1593            <number>1</number>
 1594           </property>
 1595           <property name="maximum">
 1596            <number>10</number>
 1597           </property>
 1598          </widget>
 1599         </item>
 1600         <item>
 1601          <spacer>
 1602           <property name="orientation">
 1603            <enum>Qt::Horizontal</enum>
 1604           </property>
 1605           <property name="sizeType">
 1606            <enum>QSizePolicy::Expanding</enum>
 1607           </property>
 1608           <property name="sizeHint" stdset="0">
 1609            <size>
 1610             <width>40</width>
 1611             <height>20</height>
 1612            </size>
 1613           </property>
 1614          </spacer>
 1615         </item>
 1616        </layout>
 1617       </item>
 1618       <item>
 1619        <layout class="QHBoxLayout" name="_15">
 1620         <item>
 1621          <widget class="QLabel" name="TextLabel2_2_2_2_2_9">
 1622           <property name="text">
 1623            <string>Whitespace foreground:</string>
 1624           </property>
 1625          </widget>
 1626         </item>
 1627         <item>
 1628          <widget class="QPushButton" name="whitespaceForegroundButton">
 1629           <property name="minimumSize">
 1630            <size>
 1631             <width>100</width>
 1632             <height>0</height>
 1633            </size>
 1634           </property>
 1635           <property name="toolTip">
 1636            <string>Select the foreground color for visible whitespace</string>
 1637           </property>
 1638           <property name="text">
 1639            <string/>
 1640           </property>
 1641          </widget>
 1642         </item>
 1643         <item>
 1644          <widget class="QLabel" name="TextLabel2_2_2_2_2_10">
 1645           <property name="text">
 1646            <string>Whitespace background:</string>
 1647           </property>
 1648          </widget>
 1649         </item>
 1650         <item>
 1651          <widget class="QPushButton" name="whitespaceBackgroundButton">
 1652           <property name="minimumSize">
 1653            <size>
 1654             <width>100</width>
 1655             <height>0</height>
 1656            </size>
 1657           </property>
 1658           <property name="toolTip">
 1659            <string>Select the background color for visible whitespace</string>
 1660           </property>
 1661           <property name="text">
 1662            <string/>
 1663           </property>
 1664          </widget>
 1665         </item>
 1666        </layout>
 1667       </item>
 1668      </layout>
 1669     </widget>
 1670    </item>
 1671    <item>
 1672     <widget class="QGroupBox" name="groupBox_15">
 1673      <property name="title">
 1674       <string>Indentation Guides</string>
 1675      </property>
 1676      <layout class="QVBoxLayout" name="verticalLayout_5">
 1677       <item>
 1678        <widget class="QCheckBox" name="indentguidesCheckBox">
 1679         <property name="toolTip">
 1680          <string>Select whether indentation guides should be shown.</string>
 1681         </property>
 1682         <property name="text">
 1683          <string>Show Indentation Guides</string>
 1684         </property>
 1685        </widget>
 1686       </item>
 1687       <item>
 1688        <layout class="QHBoxLayout" name="_18">
 1689         <item>
 1690          <widget class="QLabel" name="TextLabel2_2_2_2_2_13">
 1691           <property name="text">
 1692            <string>Indentation Guides foreground:</string>
 1693           </property>
 1694          </widget>
 1695         </item>
 1696         <item>
 1697          <widget class="QPushButton" name="indentationGuidesForegroundButton">
 1698           <property name="minimumSize">
 1699            <size>
 1700             <width>100</width>
 1701             <height>0</height>
 1702            </size>
 1703           </property>
 1704           <property name="toolTip">
 1705            <string>Select the foreground color for indentation guides</string>
 1706           </property>
 1707           <property name="text">
 1708            <string/>
 1709           </property>
 1710          </widget>
 1711         </item>
 1712         <item>
 1713          <widget class="QLabel" name="TextLabel2_2_2_2_2_14">
 1714           <property name="text">
 1715            <string>Indentation Guides background:</string>
 1716           </property>
 1717          </widget>
 1718         </item>
 1719         <item>
 1720          <widget class="QPushButton" name="indentationGuidesBackgroundButton">
 1721           <property name="minimumSize">
 1722            <size>
 1723             <width>100</width>
 1724             <height>0</height>
 1725            </size>
 1726           </property>
 1727           <property name="toolTip">
 1728            <string>Select the background color for indentation guides</string>
 1729           </property>
 1730           <property name="text">
 1731            <string/>
 1732           </property>
 1733          </widget>
 1734         </item>
 1735        </layout>
 1736       </item>
 1737      </layout>
 1738     </widget>
 1739    </item>
 1740    <item>
 1741     <widget class="QGroupBox" name="groupBox_14">
 1742      <property name="title">
 1743       <string>Marker Map</string>
 1744      </property>
 1745      <layout class="QVBoxLayout" name="verticalLayout_8">
 1746       <item>
 1747        <widget class="QCheckBox" name="markerMapRightCheckBox">
 1748         <property name="toolTip">
 1749          <string>Select to show the marker map right of the editor</string>
 1750         </property>
 1751         <property name="whatsThis">
 1752          <string>&lt;b&gt;Show Marker Map Right of the Editor&lt;/b&gt;
 1753 &lt;p&gt;If this entry is selected (default), the marker map is show on the right side of the editor. If it is unselected, it is shown on the left side right before the margins.&lt;/p&gt;</string>
 1754         </property>
 1755         <property name="text">
 1756          <string>Show Marker Map Right of the Editor</string>
 1757         </property>
 1758        </widget>
 1759       </item>
 1760       <item>
 1761        <widget class="QGroupBox" name="groupBox_16">
 1762         <property name="title">
 1763          <string>Marker Colors</string>
 1764         </property>
 1765         <layout class="QGridLayout" name="gridLayout_9">
 1766          <item row="0" column="0">
 1767           <widget class="QLabel" name="label_6">
 1768            <property name="text">
 1769             <string>Errors:</string>
 1770            </property>
 1771           </widget>
 1772          </item>
 1773          <item row="0" column="1">
 1774           <widget class="QPushButton" name="errorsMapButton">
 1775            <property name="minimumSize">
 1776             <size>
 1777              <width>100</width>
 1778              <height>0</height>
 1779             </size>
 1780            </property>
 1781            <property name="toolTip">
 1782             <string>Select the color for error markers</string>
 1783            </property>
 1784            <property name="text">
 1785             <string/>
 1786            </property>
 1787           </widget>
 1788          </item>
 1789          <item row="0" column="2">
 1790           <widget class="QLabel" name="label_7">
 1791            <property name="text">
 1792             <string>Warnings:</string>
 1793            </property>
 1794           </widget>
 1795          </item>
 1796          <item row="0" column="3">
 1797           <widget class="QPushButton" name="warningsMapButton">
 1798            <property name="minimumSize">
 1799             <size>
 1800              <width>100</width>
 1801              <height>0</height>
 1802             </size>
 1803            </property>
 1804            <property name="toolTip">
 1805             <string>Select the color for warning markers</string>
 1806            </property>
 1807            <property name="text">
 1808             <string/>
 1809            </property>
 1810           </widget>
 1811          </item>
 1812          <item row="1" column="0">
 1813           <widget class="QLabel" name="label_8">
 1814            <property name="text">
 1815             <string>Bookmarks:</string>
 1816            </property>
 1817           </widget>
 1818          </item>
 1819          <item row="1" column="1">
 1820           <widget class="QPushButton" name="bookmarksMapButton">
 1821            <property name="minimumSize">
 1822             <size>
 1823              <width>100</width>
 1824              <height>0</height>
 1825             </size>
 1826            </property>
 1827            <property name="toolTip">
 1828             <string>Select the color for bookmark markers</string>
 1829            </property>
 1830            <property name="text">
 1831             <string/>
 1832            </property>
 1833           </widget>
 1834          </item>
 1835          <item row="1" column="2">
 1836           <widget class="QLabel" name="label_9">
 1837            <property name="text">
 1838             <string>Breakpoints:</string>
 1839            </property>
 1840           </widget>
 1841          </item>
 1842          <item row="1" column="3">
 1843           <widget class="QPushButton" name="breakpointsMapButton">
 1844            <property name="minimumSize">
 1845             <size>
 1846              <width>100</width>
 1847              <height>0</height>
 1848             </size>
 1849            </property>
 1850            <property name="toolTip">
 1851             <string>Select the color for breakpoint markers</string>
 1852            </property>
 1853            <property name="text">
 1854             <string/>
 1855            </property>
 1856           </widget>
 1857          </item>
 1858          <item row="2" column="0">
 1859           <widget class="QLabel" name="label_10">
 1860            <property name="text">
 1861             <string>Tasks:</string>
 1862            </property>
 1863           </widget>
 1864          </item>
 1865          <item row="2" column="1">
 1866           <widget class="QPushButton" name="tasksMapButton">
 1867            <property name="minimumSize">
 1868             <size>
 1869              <width>100</width>
 1870              <height>0</height>
 1871             </size>
 1872            </property>
 1873            <property name="toolTip">
 1874             <string>Select the color for task markers</string>
 1875            </property>
 1876            <property name="text">
 1877             <string/>
 1878            </property>
 1879           </widget>
 1880          </item>
 1881          <item row="2" column="2">
 1882           <widget class="QLabel" name="label_11">
 1883            <property name="text">
 1884             <string>Changes:</string>
 1885            </property>
 1886           </widget>
 1887          </item>
 1888          <item row="2" column="3">
 1889           <widget class="QPushButton" name="changesMapButton">
 1890            <property name="minimumSize">
 1891             <size>
 1892              <width>100</width>
 1893              <height>0</height>
 1894             </size>
 1895            </property>
 1896            <property name="toolTip">
 1897             <string>Select the color for change markers</string>
 1898            </property>
 1899            <property name="text">
 1900             <string/>
 1901            </property>
 1902           </widget>
 1903          </item>
 1904          <item row="3" column="0">
 1905           <widget class="QLabel" name="label_12">
 1906            <property name="text">
 1907             <string>Coverage:</string>
 1908            </property>
 1909           </widget>
 1910          </item>
 1911          <item row="3" column="1">
 1912           <widget class="QPushButton" name="coverageMapButton">
 1913            <property name="minimumSize">
 1914             <size>
 1915              <width>100</width>
 1916              <height>0</height>
 1917             </size>
 1918            </property>
 1919            <property name="toolTip">
 1920             <string>Select the color for coverage markers</string>
 1921            </property>
 1922            <property name="text">
 1923             <string/>
 1924            </property>
 1925           </widget>
 1926          </item>
 1927          <item row="3" column="2">
 1928           <widget class="QLabel" name="label_13">
 1929            <property name="text">
 1930             <string>Current Line:</string>
 1931            </property>
 1932           </widget>
 1933          </item>
 1934          <item row="3" column="3">
 1935           <widget class="QPushButton" name="currentMapButton">
 1936            <property name="minimumSize">
 1937             <size>
 1938              <width>100</width>
 1939              <height>0</height>
 1940             </size>
 1941            </property>
 1942            <property name="toolTip">
 1943             <string>Select the color for the current line marker</string>
 1944            </property>
 1945            <property name="text">
 1946             <string/>
 1947            </property>
 1948           </widget>
 1949          </item>
 1950          <item row="4" column="0">
 1951           <widget class="QLabel" name="label_15">
 1952            <property name="text">
 1953             <string>Search Markers:</string>
 1954            </property>
 1955           </widget>
 1956          </item>
 1957          <item row="4" column="1">
 1958           <widget class="QPushButton" name="searchMarkerMapButton">
 1959            <property name="minimumSize">
 1960             <size>
 1961              <width>100</width>
 1962              <height>0</height>
 1963             </size>
 1964            </property>
 1965            <property name="toolTip">
 1966             <string>Select the color for the search marker</string>
 1967            </property>
 1968            <property name="text">
 1969             <string/>
 1970            </property>
 1971           </widget>
 1972          </item>
 1973          <item row="4" column="2">
 1974           <widget class="QLabel" name="label_16">
 1975            <property name="text">
 1976             <string>Conflict Marker Line:</string>
 1977            </property>
 1978           </widget>
 1979          </item>
 1980          <item row="4" column="3">
 1981           <widget class="QPushButton" name="conflictMarkerMapButton">
 1982            <property name="minimumSize">
 1983             <size>
 1984              <width>100</width>
 1985              <height>0</height>
 1986             </size>
 1987            </property>
 1988            <property name="toolTip">
 1989             <string>Select the color for the conflict marker line marker</string>
 1990            </property>
 1991            <property name="text">
 1992             <string/>
 1993            </property>
 1994           </widget>
 1995          </item>
 1996          <item row="5" column="0">
 1997           <widget class="QLabel" name="label_14">
 1998            <property name="text">
 1999             <string>Background:</string>
 2000            </property>
 2001           </widget>
 2002          </item>
 2003          <item row="5" column="1">
 2004           <widget class="QPushButton" name="markerMapBackgroundButton">
 2005            <property name="minimumSize">
 2006             <size>
 2007              <width>100</width>
 2008              <height>0</height>
 2009             </size>
 2010            </property>
 2011            <property name="toolTip">
 2012             <string>Select the background color for the marker map</string>
 2013            </property>
 2014            <property name="text">
 2015             <string/>
 2016            </property>
 2017           </widget>
 2018          </item>
 2019         </layout>
 2020        </widget>
 2021       </item>
 2022       <item>
 2023        <widget class="QGroupBox" name="groupBox_17">
 2024         <property name="title">
 2025          <string>Shown Markers</string>
 2026         </property>
 2027         <layout class="QGridLayout" name="gridLayout_11">
 2028          <item row="0" column="0">
 2029           <widget class="QCheckBox" name="changesMarkerCheckBox">
 2030            <property name="toolTip">
 2031             <string>Select to show change markers</string>
 2032            </property>
 2033            <property name="text">
 2034             <string>Changes</string>
 2035            </property>
 2036           </widget>
 2037          </item>
 2038          <item row="0" column="1">
 2039           <widget class="QCheckBox" name="coverageMarkerCheckBox">
 2040            <property name="toolTip">
 2041             <string>Select to show coverage markers</string>
 2042            </property>
 2043            <property name="text">
 2044             <string>Coverage</string>
 2045            </property>
 2046           </widget>
 2047          </item>
 2048          <item row="1" column="0">
 2049           <widget class="QCheckBox" name="searchMarkerCheckBox">
 2050            <property name="toolTip">
 2051             <string>Select to show search markers</string>
 2052            </property>
 2053            <property name="text">
 2054             <string>Search Markers</string>
 2055            </property>
 2056           </widget>
 2057          </item>
 2058          <item row="2" column="0" colspan="2">
 2059           <widget class="QLabel" name="label_17">
 2060            <property name="text">
 2061             <string>&lt;b&gt;Note&lt;/b&gt;: Marker types not listed are always shown.</string>
 2062            </property>
 2063            <property name="wordWrap">
 2064             <bool>true</bool>
 2065            </property>
 2066           </widget>
 2067          </item>
 2068         </layout>
 2069        </widget>
 2070       </item>
 2071      </layout>
 2072     </widget>
 2073    </item>
 2074    <item>
 2075     <widget class="QGroupBox" name="groupBox_10">
 2076      <property name="title">
 2077       <string>Various</string>
 2078      </property>
 2079      <layout class="QVBoxLayout" name="verticalLayout_7">
 2080       <item>
 2081        <widget class="QCheckBox" name="miniMenuCheckBox">
 2082         <property name="toolTip">
 2083          <string>Select to show a minimalistic context menu</string>
 2084         </property>
 2085         <property name="text">
 2086          <string>Show minimal context menu</string>
 2087         </property>
 2088        </widget>
 2089       </item>
 2090       <item>
 2091        <widget class="QCheckBox" name="hideFormatButtonsCheckBox">
 2092         <property name="toolTip">
 2093          <string>Select to hide the Format Buttons bar when formatting is not supported</string>
 2094         </property>
 2095         <property name="text">
 2096          <string>Hide Format Buttons bar when not supported</string>
 2097         </property>
 2098        </widget>
 2099       </item>
 2100      </layout>
 2101     </widget>
 2102    </item>
 2103    <item>
 2104     <spacer>
 2105      <property name="orientation">
 2106       <enum>Qt::Vertical</enum>
 2107      </property>
 2108      <property name="sizeHint" stdset="0">
 2109       <size>
 2110        <width>558</width>
 2111        <height>20</height>
 2112       </size>
 2113      </property>
 2114     </spacer>
 2115    </item>
 2116   </layout>
 2117  </widget>
 2118  <tabstops>
 2119   <tabstop>editAreaOverrideCheckBox</tabstop>
 2120   <tabstop>editAreaForegroundButton</tabstop>
 2121   <tabstop>editAreaBackgroundButton</tabstop>
 2122   <tabstop>highlightingBackgroundButton</tabstop>
 2123   <tabstop>defaultFontButton</tabstop>
 2124   <tabstop>monospacedFontButton</tabstop>
 2125   <tabstop>monospacedCheckBox</tabstop>
 2126   <tabstop>linenoCheckBox</tabstop>
 2127   <tabstop>foldingCheckBox</tabstop>
 2128   <tabstop>foldingStyleComboBox</tabstop>
 2129   <tabstop>marginsForegroundButton</tabstop>
 2130   <tabstop>marginsBackgroundButton</tabstop>
 2131   <tabstop>foldmarginBackgroundButton</tabstop>
 2132   <tabstop>foldmarkersForegroundButton</tabstop>
 2133   <tabstop>foldmarkersBackgroundButton</tabstop>
 2134   <tabstop>linenumbersFontButton</tabstop>
 2135   <tabstop>customSelColourCheckBox</tabstop>
 2136   <tabstop>colourizeSelTextCheckBox</tabstop>
 2137   <tabstop>extentSelEolCheckBox</tabstop>
 2138   <tabstop>selectionForegroundButton</tabstop>
 2139   <tabstop>selectionBackgroundButton</tabstop>
 2140   <tabstop>caretWidthSpinBox</tabstop>
 2141   <tabstop>caretForegroundButton</tabstop>
 2142   <tabstop>caretlineVisibleCheckBox</tabstop>
 2143   <tabstop>caretlineAlwaysVisibleCheckBox</tabstop>
 2144   <tabstop>caretlineFrameWidthSpinBox</tabstop>
 2145   <tabstop>caretlineBackgroundButton</tabstop>
 2146   <tabstop>debugMarkerBackgroundCheckBox</tabstop>
 2147   <tabstop>currentLineMarkerButton</tabstop>
 2148   <tabstop>errorMarkerButton</tabstop>
 2149   <tabstop>bracehighlightingCheckBox</tabstop>
 2150   <tabstop>matchingBracesButton</tabstop>
 2151   <tabstop>matchingBracesBackButton</tabstop>
 2152   <tabstop>nonmatchingBracesButton</tabstop>
 2153   <tabstop>nonmatchingBracesBackButton</tabstop>
 2154   <tabstop>eolCheckBox</tabstop>
 2155   <tabstop>wrapModeComboBox</tabstop>
 2156   <tabstop>wrapVisualComboBox</tabstop>
 2157   <tabstop>wrapIndentComboBox</tabstop>
 2158   <tabstop>wrapStartIndentSpinBox</tabstop>
 2159   <tabstop>edgeModeCombo</tabstop>
 2160   <tabstop>edgeLineColumnSlider</tabstop>
 2161   <tabstop>edgeBackgroundColorButton</tabstop>
 2162   <tabstop>zoomfactorSlider</tabstop>
 2163   <tabstop>enableAnnotationsCheckBox</tabstop>
 2164   <tabstop>annotationsWarningFgButton</tabstop>
 2165   <tabstop>annotationsWarningBgButton</tabstop>
 2166   <tabstop>annotationsErrorFgButton</tabstop>
 2167   <tabstop>annotationsErrorBgButton</tabstop>
 2168   <tabstop>annotationsStyleWarningFgButton</tabstop>
 2169   <tabstop>annotationsStyleWarningBgButton</tabstop>
 2170   <tabstop>enableChangeTraceCheckBox</tabstop>
 2171   <tabstop>changeTraceTimeoutSpinBox</tabstop>
 2172   <tabstop>changeMarkerUnsavedColorButton</tabstop>
 2173   <tabstop>changeMarkerSavedColorButton</tabstop>
 2174   <tabstop>whitespaceCheckBox</tabstop>
 2175   <tabstop>whitespaceSizeSpinBox</tabstop>
 2176   <tabstop>whitespaceForegroundButton</tabstop>
 2177   <tabstop>whitespaceBackgroundButton</tabstop>
 2178   <tabstop>indentguidesCheckBox</tabstop>
 2179   <tabstop>indentationGuidesForegroundButton</tabstop>
 2180   <tabstop>indentationGuidesBackgroundButton</tabstop>
 2181   <tabstop>markerMapRightCheckBox</tabstop>
 2182   <tabstop>errorsMapButton</tabstop>
 2183   <tabstop>warningsMapButton</tabstop>
 2184   <tabstop>bookmarksMapButton</tabstop>
 2185   <tabstop>breakpointsMapButton</tabstop>
 2186   <tabstop>tasksMapButton</tabstop>
 2187   <tabstop>changesMapButton</tabstop>
 2188   <tabstop>coverageMapButton</tabstop>
 2189   <tabstop>currentMapButton</tabstop>
 2190   <tabstop>searchMarkerMapButton</tabstop>
 2191   <tabstop>conflictMarkerMapButton</tabstop>
 2192   <tabstop>markerMapBackgroundButton</tabstop>
 2193   <tabstop>changesMarkerCheckBox</tabstop>
 2194   <tabstop>coverageMarkerCheckBox</tabstop>
 2195   <tabstop>searchMarkerCheckBox</tabstop>
 2196   <tabstop>miniMenuCheckBox</tabstop>
 2197   <tabstop>hideFormatButtonsCheckBox</tabstop>
 2198  </tabstops>
 2199  <resources/>
 2200  <connections>
 2201   <connection>
 2202    <sender>edgeLineColumnSlider</sender>
 2203    <signal>valueChanged(int)</signal>
 2204    <receiver>edgeLineColumnLCD</receiver>
 2205    <slot>display(int)</slot>
 2206    <hints>
 2207     <hint type="sourcelabel">
 2208      <x>492</x>
 2209      <y>1144</y>
 2210     </hint>
 2211     <hint type="destinationlabel">
 2212      <x>625</x>
 2213      <y>1164</y>
 2214     </hint>
 2215    </hints>
 2216   </connection>
 2217   <connection>
 2218    <sender>zoomfactorSlider</sender>
 2219    <signal>valueChanged(int)</signal>
 2220    <receiver>zoomfactorLCD</receiver>
 2221    <slot>display(int)</slot>
 2222    <hints>
 2223     <hint type="sourcelabel">
 2224      <x>206</x>
 2225      <y>1265</y>
 2226     </hint>
 2227     <hint type="destinationlabel">
 2228      <x>635</x>
 2229      <y>1273</y>
 2230     </hint>
 2231    </hints>
 2232   </connection>
 2233  </connections>
 2234 </ui>