eric6/Preferences/ConfigurationPages/EditorStylesPage.ui

changeset 7749
285855999b4e
parent 7537
4e2d6b12f67c
equal deleted inserted replaced
7748:23e98236a4c4 7749:285855999b4e
4 <widget class="QWidget" name="EditorStylesPage"> 4 <widget class="QWidget" name="EditorStylesPage">
5 <property name="geometry"> 5 <property name="geometry">
6 <rect> 6 <rect>
7 <x>0</x> 7 <x>0</x>
8 <y>0</y> 8 <y>0</y>
9 <width>655</width> 9 <width>578</width>
10 <height>2891</height> 10 <height>3217</height>
11 </rect> 11 </rect>
12 </property> 12 </property>
13 <layout class="QVBoxLayout" name="verticalLayout_11"> 13 <layout class="QVBoxLayout" name="verticalLayout_5">
14 <item> 14 <item>
15 <widget class="QLabel" name="headerLabel"> 15 <widget class="QLabel" name="headerLabel">
16 <property name="text"> 16 <property name="text">
17 <string>&lt;b&gt;Configure editor styles&lt;/b&gt;</string> 17 <string>&lt;b&gt;Configure editor styles&lt;/b&gt;</string>
18 </property> 18 </property>
59 <bool>true</bool> 59 <bool>true</bool>
60 </property> 60 </property>
61 <property name="checked"> 61 <property name="checked">
62 <bool>false</bool> 62 <bool>false</bool>
63 </property> 63 </property>
64 <layout class="QHBoxLayout" name="horizontalLayout_7"> 64 <layout class="QGridLayout" name="gridLayout_6">
65 <item> 65 <item row="0" column="0">
66 <widget class="QLabel" name="TextLabel2_2_2_2_2_12"> 66 <widget class="QLabel" name="TextLabel2_2_2_2_2_12">
67 <property name="text"> 67 <property name="text">
68 <string>Edit area foreground:</string> 68 <string>Edit area foreground:</string>
69 </property> 69 </property>
70 </widget> 70 </widget>
71 </item> 71 </item>
72 <item> 72 <item row="0" column="1">
73 <widget class="QPushButton" name="editAreaForegroundButton"> 73 <widget class="QPushButton" name="editAreaForegroundButton">
74 <property name="minimumSize"> 74 <property name="minimumSize">
75 <size> 75 <size>
76 <width>100</width> 76 <width>100</width>
77 <height>0</height> 77 <height>0</height>
83 <property name="text"> 83 <property name="text">
84 <string/> 84 <string/>
85 </property> 85 </property>
86 </widget> 86 </widget>
87 </item> 87 </item>
88 <item> 88 <item row="0" column="2">
89 <spacer name="horizontalSpacer_6">
90 <property name="orientation">
91 <enum>Qt::Horizontal</enum>
92 </property>
93 <property name="sizeHint" stdset="0">
94 <size>
95 <width>263</width>
96 <height>20</height>
97 </size>
98 </property>
99 </spacer>
100 </item>
101 <item row="1" column="0">
89 <widget class="QLabel" name="TextLabel2_2_2_2_2_11"> 102 <widget class="QLabel" name="TextLabel2_2_2_2_2_11">
90 <property name="text"> 103 <property name="text">
91 <string>Edit area background:</string> 104 <string>Edit area background:</string>
92 </property> 105 </property>
93 </widget> 106 </widget>
94 </item> 107 </item>
95 <item> 108 <item row="1" column="1">
96 <widget class="QPushButton" name="editAreaBackgroundButton"> 109 <widget class="QPushButton" name="editAreaBackgroundButton">
97 <property name="minimumSize"> 110 <property name="minimumSize">
98 <size> 111 <size>
99 <width>100</width> 112 <width>100</width>
100 <height>0</height> 113 <height>0</height>
161 <widget class="QGroupBox" name="groupBox_5"> 174 <widget class="QGroupBox" name="groupBox_5">
162 <property name="title"> 175 <property name="title">
163 <string>Fonts</string> 176 <string>Fonts</string>
164 </property> 177 </property>
165 <layout class="QGridLayout"> 178 <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"> 179 <item row="0" column="1">
177 <widget class="QLineEdit" name="defaultFontSample"> 180 <widget class="QLineEdit" name="defaultFontSample">
178 <property name="focusPolicy"> 181 <property name="focusPolicy">
179 <enum>Qt::NoFocus</enum> 182 <enum>Qt::NoFocus</enum>
180 </property> 183 </property>
220 <property name="alignment"> 223 <property name="alignment">
221 <set>Qt::AlignHCenter</set> 224 <set>Qt::AlignHCenter</set>
222 </property> 225 </property>
223 <property name="readOnly"> 226 <property name="readOnly">
224 <bool>true</bool> 227 <bool>true</bool>
228 </property>
229 </widget>
230 </item>
231 <item row="2" column="0" colspan="2">
232 <widget class="QCheckBox" name="monospacedCheckBox">
233 <property name="toolTip">
234 <string>Select, whether the monospaced font should be used as default</string>
235 </property>
236 <property name="text">
237 <string>Use monospaced as default</string>
225 </property> 238 </property>
226 </widget> 239 </widget>
227 </item> 240 </item>
228 </layout> 241 </layout>
229 </widget> 242 </widget>
330 </item> 343 </item>
331 </layout> 344 </layout>
332 </item> 345 </item>
333 <item> 346 <item>
334 <layout class="QGridLayout" name="gridLayout"> 347 <layout class="QGridLayout" name="gridLayout">
335 <item row="0" column="0"> 348 <item row="3" column="0">
336 <widget class="QLabel" name="TextLabel2_2_2_2_2_6"> 349 <widget class="QLabel" name="label">
337 <property name="text"> 350 <property name="text">
338 <string>Margins foreground:</string> 351 <string>Foldmarkers foreground:</string>
339 </property> 352 </property>
340 </widget> 353 </widget>
341 </item> 354 </item>
342 <item row="0" column="1"> 355 <item row="0" column="1">
343 <widget class="QPushButton" name="marginsForegroundButton"> 356 <widget class="QPushButton" name="marginsForegroundButton">
353 <property name="text"> 366 <property name="text">
354 <string/> 367 <string/>
355 </property> 368 </property>
356 </widget> 369 </widget>
357 </item> 370 </item>
358 <item row="0" column="2"> 371 <item row="2" column="0">
372 <widget class="QLabel" name="TextLabel2_2_2_2_2_8">
373 <property name="text">
374 <string>Foldmargin background:</string>
375 </property>
376 </widget>
377 </item>
378 <item row="2" column="1">
379 <widget class="QPushButton" name="foldmarginBackgroundButton">
380 <property name="minimumSize">
381 <size>
382 <width>100</width>
383 <height>0</height>
384 </size>
385 </property>
386 <property name="toolTip">
387 <string>Select the background color for the foldmargin</string>
388 </property>
389 <property name="text">
390 <string/>
391 </property>
392 </widget>
393 </item>
394 <item row="1" column="0">
359 <widget class="QLabel" name="TextLabel2_2_2_2_2_7"> 395 <widget class="QLabel" name="TextLabel2_2_2_2_2_7">
360 <property name="text"> 396 <property name="text">
361 <string>Margins background:</string> 397 <string>Margins background:</string>
362 </property> 398 </property>
363 </widget> 399 </widget>
364 </item> 400 </item>
365 <item row="0" column="3"> 401 <item row="3" column="1">
402 <widget class="QPushButton" name="foldmarkersForegroundButton">
403 <property name="minimumSize">
404 <size>
405 <width>100</width>
406 <height>0</height>
407 </size>
408 </property>
409 <property name="toolTip">
410 <string>Select the foreground color of the foldmarkers</string>
411 </property>
412 <property name="text">
413 <string/>
414 </property>
415 </widget>
416 </item>
417 <item row="0" column="0">
418 <widget class="QLabel" name="TextLabel2_2_2_2_2_6">
419 <property name="text">
420 <string>Margins foreground:</string>
421 </property>
422 </widget>
423 </item>
424 <item row="1" column="1">
366 <widget class="QPushButton" name="marginsBackgroundButton"> 425 <widget class="QPushButton" name="marginsBackgroundButton">
367 <property name="minimumSize"> 426 <property name="minimumSize">
368 <size> 427 <size>
369 <width>100</width> 428 <width>100</width>
370 <height>0</height> 429 <height>0</height>
376 <property name="text"> 435 <property name="text">
377 <string/> 436 <string/>
378 </property> 437 </property>
379 </widget> 438 </widget>
380 </item> 439 </item>
381 <item row="1" column="0"> 440 <item row="4" 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"> 441 <widget class="QLabel" name="label_2">
429 <property name="text"> 442 <property name="text">
430 <string>Foldmarkers background:</string> 443 <string>Foldmarkers background:</string>
431 </property> 444 </property>
432 </widget> 445 </widget>
433 </item> 446 </item>
434 <item row="2" column="3"> 447 <item row="4" column="1">
435 <widget class="QPushButton" name="foldmarkersBackgroundButton"> 448 <widget class="QPushButton" name="foldmarkersBackgroundButton">
436 <property name="minimumSize"> 449 <property name="minimumSize">
437 <size> 450 <size>
438 <width>100</width> 451 <width>100</width>
439 <height>0</height> 452 <height>0</height>
444 </property> 457 </property>
445 <property name="text"> 458 <property name="text">
446 <string/> 459 <string/>
447 </property> 460 </property>
448 </widget> 461 </widget>
462 </item>
463 <item row="0" column="2">
464 <spacer name="horizontalSpacer_7">
465 <property name="orientation">
466 <enum>Qt::Horizontal</enum>
467 </property>
468 <property name="sizeHint" stdset="0">
469 <size>
470 <width>40</width>
471 <height>20</height>
472 </size>
473 </property>
474 </spacer>
449 </item> 475 </item>
450 </layout> 476 </layout>
451 </item> 477 </item>
452 <item> 478 <item>
453 <layout class="QHBoxLayout" name="horizontalLayout"> 479 <layout class="QHBoxLayout" name="horizontalLayout">
504 <item> 530 <item>
505 <widget class="QGroupBox" name="groupBox_3"> 531 <widget class="QGroupBox" name="groupBox_3">
506 <property name="title"> 532 <property name="title">
507 <string>Selection</string> 533 <string>Selection</string>
508 </property> 534 </property>
509 <layout class="QVBoxLayout" name="_2"> 535 <layout class="QVBoxLayout" name="verticalLayout_11">
510 <item> 536 <item>
511 <layout class="QGridLayout" name="_3"> 537 <layout class="QGridLayout" name="_3">
512 <item row="0" column="0"> 538 <item row="0" column="0">
513 <widget class="QCheckBox" name="customSelColourCheckBox"> 539 <widget class="QCheckBox" name="customSelColourCheckBox">
514 <property name="toolTip"> 540 <property name="toolTip">
543 </widget> 569 </widget>
544 </item> 570 </item>
545 </layout> 571 </layout>
546 </item> 572 </item>
547 <item> 573 <item>
548 <layout class="QHBoxLayout" name="_4"> 574 <layout class="QGridLayout" name="gridLayout_12">
549 <item> 575 <item row="0" column="0">
550 <widget class="QLabel" name="TextLabel2_2_2_2_2_4"> 576 <widget class="QLabel" name="TextLabel2_2_2_2_2_4">
551 <property name="text"> 577 <property name="text">
552 <string>Selection foreground:</string> 578 <string>Selection foreground:</string>
553 </property> 579 </property>
554 </widget> 580 </widget>
555 </item> 581 </item>
556 <item> 582 <item row="0" column="1">
557 <widget class="QPushButton" name="selectionForegroundButton"> 583 <widget class="QPushButton" name="selectionForegroundButton">
558 <property name="minimumSize"> 584 <property name="minimumSize">
559 <size> 585 <size>
560 <width>100</width> 586 <width>100</width>
561 <height>0</height> 587 <height>0</height>
567 <property name="text"> 593 <property name="text">
568 <string/> 594 <string/>
569 </property> 595 </property>
570 </widget> 596 </widget>
571 </item> 597 </item>
572 <item> 598 <item row="0" column="2">
599 <spacer name="horizontalSpacer_8">
600 <property name="orientation">
601 <enum>Qt::Horizontal</enum>
602 </property>
603 <property name="sizeHint" stdset="0">
604 <size>
605 <width>40</width>
606 <height>20</height>
607 </size>
608 </property>
609 </spacer>
610 </item>
611 <item row="1" column="0">
573 <widget class="QLabel" name="TextLabel2_2_2_2_2_5"> 612 <widget class="QLabel" name="TextLabel2_2_2_2_2_5">
574 <property name="text"> 613 <property name="text">
575 <string>Selection background:</string> 614 <string>Selection background:</string>
576 </property> 615 </property>
577 </widget> 616 </widget>
578 </item> 617 </item>
579 <item> 618 <item row="1" column="1">
580 <widget class="QPushButton" name="selectionBackgroundButton"> 619 <widget class="QPushButton" name="selectionBackgroundButton">
581 <property name="minimumSize"> 620 <property name="minimumSize">
582 <size> 621 <size>
583 <width>100</width> 622 <width>100</width>
584 <height>0</height> 623 <height>0</height>
790 <widget class="QGroupBox" name="groupBox_2"> 829 <widget class="QGroupBox" name="groupBox_2">
791 <property name="title"> 830 <property name="title">
792 <string>Debugging Line Markers</string> 831 <string>Debugging Line Markers</string>
793 </property> 832 </property>
794 <layout class="QGridLayout" name="gridLayout_10"> 833 <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"> 834 <item row="1" column="0">
806 <widget class="QLabel" name="TextLabel3_2_2"> 835 <widget class="QLabel" name="TextLabel3_2_2">
807 <property name="text"> 836 <property name="text">
808 <string>Current line marker:</string> 837 <string>Current line marker:</string>
809 </property> 838 </property>
823 <property name="text"> 852 <property name="text">
824 <string/> 853 <string/>
825 </property> 854 </property>
826 </widget> 855 </widget>
827 </item> 856 </item>
857 <item row="0" column="0" colspan="4">
858 <widget class="QCheckBox" name="debugMarkerBackgroundCheckBox">
859 <property name="toolTip">
860 <string>Select to indicate the debug markers using colored line backgrounds, arrow indicators otherwise</string>
861 </property>
862 <property name="text">
863 <string>Use background colors</string>
864 </property>
865 </widget>
866 </item>
867 <item row="2" column="0">
868 <widget class="QLabel" name="TextLabel4_2_2">
869 <property name="text">
870 <string>Error line marker:</string>
871 </property>
872 </widget>
873 </item>
828 <item row="1" column="2"> 874 <item row="1" column="2">
829 <widget class="QLabel" name="TextLabel4_2_2"> 875 <spacer name="horizontalSpacer_11">
830 <property name="text"> 876 <property name="orientation">
831 <string>Error line marker:</string> 877 <enum>Qt::Horizontal</enum>
832 </property> 878 </property>
833 </widget> 879 <property name="sizeHint" stdset="0">
834 </item> 880 <size>
835 <item row="1" column="3"> 881 <width>40</width>
882 <height>20</height>
883 </size>
884 </property>
885 </spacer>
886 </item>
887 <item row="2" column="1">
836 <widget class="QPushButton" name="errorMarkerButton"> 888 <widget class="QPushButton" name="errorMarkerButton">
837 <property name="minimumSize"> 889 <property name="minimumSize">
838 <size> 890 <size>
839 <width>100</width> 891 <width>100</width>
840 <height>0</height> 892 <height>0</height>
855 <widget class="QGroupBox" name="groupBox_6"> 907 <widget class="QGroupBox" name="groupBox_6">
856 <property name="title"> 908 <property name="title">
857 <string>Braces</string> 909 <string>Braces</string>
858 </property> 910 </property>
859 <layout class="QGridLayout" name="_9"> 911 <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"> 912 <item row="1" column="0">
871 <widget class="QLabel" name="TextLabel1_3_2"> 913 <widget class="QLabel" name="TextLabel1_3_2">
872 <property name="text"> 914 <property name="text">
873 <string>Matched braces:</string> 915 <string>Matched braces:</string>
916 </property>
917 </widget>
918 </item>
919 <item row="1" column="2">
920 <spacer name="horizontalSpacer_10">
921 <property name="orientation">
922 <enum>Qt::Horizontal</enum>
923 </property>
924 <property name="sizeHint" stdset="0">
925 <size>
926 <width>40</width>
927 <height>20</height>
928 </size>
929 </property>
930 </spacer>
931 </item>
932 <item row="2" column="1">
933 <widget class="QPushButton" name="matchingBracesBackButton">
934 <property name="minimumSize">
935 <size>
936 <width>100</width>
937 <height>0</height>
938 </size>
939 </property>
940 <property name="toolTip">
941 <string>Select the background color for highlighting matching braces.</string>
942 </property>
943 <property name="text">
944 <string/>
874 </property> 945 </property>
875 </widget> 946 </widget>
876 </item> 947 </item>
877 <item row="1" column="1"> 948 <item row="1" column="1">
878 <widget class="QPushButton" name="matchingBracesButton"> 949 <widget class="QPushButton" name="matchingBracesButton">
888 <property name="text"> 959 <property name="text">
889 <string/> 960 <string/>
890 </property> 961 </property>
891 </widget> 962 </widget>
892 </item> 963 </item>
893 <item row="1" column="2"> 964 <item row="3" column="0">
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"> 965 <widget class="QLabel" name="TextLabel2_2_2">
918 <property name="minimumSize"> 966 <property name="minimumSize">
919 <size> 967 <size>
920 <width>100</width> 968 <width>100</width>
921 <height>0</height> 969 <height>0</height>
924 <property name="text"> 972 <property name="text">
925 <string>Unmatched brace:</string> 973 <string>Unmatched brace:</string>
926 </property> 974 </property>
927 </widget> 975 </widget>
928 </item> 976 </item>
929 <item row="2" column="1"> 977 <item row="3" column="1">
930 <widget class="QPushButton" name="nonmatchingBracesButton"> 978 <widget class="QPushButton" name="nonmatchingBracesButton">
931 <property name="toolTip"> 979 <property name="toolTip">
932 <string>Select the color for highlighting nonmatching braces.</string> 980 <string>Select the color for highlighting nonmatching braces.</string>
933 </property> 981 </property>
934 <property name="text"> 982 <property name="text">
935 <string/> 983 <string/>
936 </property> 984 </property>
937 </widget> 985 </widget>
938 </item> 986 </item>
939 <item row="2" column="2"> 987 <item row="2" column="0">
988 <widget class="QLabel" name="TextLabel1_3_2_2">
989 <property name="text">
990 <string>Matched braces background:</string>
991 </property>
992 </widget>
993 </item>
994 <item row="4" column="0">
940 <widget class="QLabel" name="TextLabel2_2_2_3"> 995 <widget class="QLabel" name="TextLabel2_2_2_3">
941 <property name="minimumSize"> 996 <property name="minimumSize">
942 <size> 997 <size>
943 <width>100</width> 998 <width>100</width>
944 <height>0</height> 999 <height>0</height>
947 <property name="text"> 1002 <property name="text">
948 <string>Unmatched brace background:</string> 1003 <string>Unmatched brace background:</string>
949 </property> 1004 </property>
950 </widget> 1005 </widget>
951 </item> 1006 </item>
952 <item row="2" column="3"> 1007 <item row="4" column="1">
953 <widget class="QPushButton" name="nonmatchingBracesBackButton"> 1008 <widget class="QPushButton" name="nonmatchingBracesBackButton">
954 <property name="toolTip"> 1009 <property name="toolTip">
955 <string>Select the background color for highlighting nonmatching braces.</string> 1010 <string>Select the background color for highlighting nonmatching braces.</string>
956 </property> 1011 </property>
957 <property name="text"> 1012 <property name="text">
958 <string/> 1013 <string/>
1014 </property>
1015 </widget>
1016 </item>
1017 <item row="0" column="0" colspan="3">
1018 <widget class="QCheckBox" name="bracehighlightingCheckBox">
1019 <property name="toolTip">
1020 <string>Select whether matching and bad braces shall be highlighted.</string>
1021 </property>
1022 <property name="text">
1023 <string>Highlight braces</string>
959 </property> 1024 </property>
960 </widget> 1025 </widget>
961 </item> 1026 </item>
962 </layout> 1027 </layout>
963 </widget> 1028 </widget>
1505 </spacer> 1570 </spacer>
1506 </item> 1571 </item>
1507 </layout> 1572 </layout>
1508 </item> 1573 </item>
1509 <item> 1574 <item>
1510 <layout class="QHBoxLayout" name="horizontalLayout_3"> 1575 <layout class="QGridLayout" name="gridLayout_14">
1511 <item> 1576 <item row="0" column="0">
1512 <widget class="QLabel" name="TextLabel13_3_2_3"> 1577 <widget class="QLabel" name="TextLabel13_3_2_3">
1513 <property name="text"> 1578 <property name="text">
1514 <string>Unsaved changes color:</string> 1579 <string>Unsaved changes color:</string>
1515 </property> 1580 </property>
1516 </widget> 1581 </widget>
1517 </item> 1582 </item>
1518 <item> 1583 <item row="0" column="1">
1519 <widget class="QPushButton" name="changeMarkerUnsavedColorButton"> 1584 <widget class="QPushButton" name="changeMarkerUnsavedColorButton">
1520 <property name="minimumSize"> 1585 <property name="minimumSize">
1521 <size> 1586 <size>
1522 <width>100</width> 1587 <width>100</width>
1523 <height>0</height> 1588 <height>0</height>
1529 <property name="text"> 1594 <property name="text">
1530 <string/> 1595 <string/>
1531 </property> 1596 </property>
1532 </widget> 1597 </widget>
1533 </item> 1598 </item>
1534 <item> 1599 <item row="0" column="2">
1600 <spacer name="horizontalSpacer_12">
1601 <property name="orientation">
1602 <enum>Qt::Horizontal</enum>
1603 </property>
1604 <property name="sizeHint" stdset="0">
1605 <size>
1606 <width>40</width>
1607 <height>20</height>
1608 </size>
1609 </property>
1610 </spacer>
1611 </item>
1612 <item row="1" column="0">
1535 <widget class="QLabel" name="TextLabel13_3_2_4"> 1613 <widget class="QLabel" name="TextLabel13_3_2_4">
1536 <property name="text"> 1614 <property name="text">
1537 <string>Saved changes color:</string> 1615 <string>Saved changes color:</string>
1538 </property> 1616 </property>
1539 </widget> 1617 </widget>
1540 </item> 1618 </item>
1541 <item> 1619 <item row="1" column="1">
1542 <widget class="QPushButton" name="changeMarkerSavedColorButton"> 1620 <widget class="QPushButton" name="changeMarkerSavedColorButton">
1543 <property name="minimumSize"> 1621 <property name="minimumSize">
1544 <size> 1622 <size>
1545 <width>100</width> 1623 <width>100</width>
1546 <height>0</height> 1624 <height>0</height>
1614 </spacer> 1692 </spacer>
1615 </item> 1693 </item>
1616 </layout> 1694 </layout>
1617 </item> 1695 </item>
1618 <item> 1696 <item>
1619 <layout class="QHBoxLayout" name="_15"> 1697 <layout class="QGridLayout" name="gridLayout_15">
1620 <item> 1698 <item row="0" column="0">
1621 <widget class="QLabel" name="TextLabel2_2_2_2_2_9"> 1699 <widget class="QLabel" name="TextLabel2_2_2_2_2_9">
1622 <property name="text"> 1700 <property name="text">
1623 <string>Whitespace foreground:</string> 1701 <string>Whitespace foreground:</string>
1624 </property> 1702 </property>
1625 </widget> 1703 </widget>
1626 </item> 1704 </item>
1627 <item> 1705 <item row="0" column="1">
1628 <widget class="QPushButton" name="whitespaceForegroundButton"> 1706 <widget class="QPushButton" name="whitespaceForegroundButton">
1629 <property name="minimumSize"> 1707 <property name="minimumSize">
1630 <size> 1708 <size>
1631 <width>100</width> 1709 <width>100</width>
1632 <height>0</height> 1710 <height>0</height>
1638 <property name="text"> 1716 <property name="text">
1639 <string/> 1717 <string/>
1640 </property> 1718 </property>
1641 </widget> 1719 </widget>
1642 </item> 1720 </item>
1643 <item> 1721 <item row="0" column="2">
1722 <spacer name="horizontalSpacer_13">
1723 <property name="orientation">
1724 <enum>Qt::Horizontal</enum>
1725 </property>
1726 <property name="sizeHint" stdset="0">
1727 <size>
1728 <width>40</width>
1729 <height>20</height>
1730 </size>
1731 </property>
1732 </spacer>
1733 </item>
1734 <item row="1" column="0">
1644 <widget class="QLabel" name="TextLabel2_2_2_2_2_10"> 1735 <widget class="QLabel" name="TextLabel2_2_2_2_2_10">
1645 <property name="text"> 1736 <property name="text">
1646 <string>Whitespace background:</string> 1737 <string>Whitespace background:</string>
1647 </property> 1738 </property>
1648 </widget> 1739 </widget>
1649 </item> 1740 </item>
1650 <item> 1741 <item row="1" column="1">
1651 <widget class="QPushButton" name="whitespaceBackgroundButton"> 1742 <widget class="QPushButton" name="whitespaceBackgroundButton">
1652 <property name="minimumSize"> 1743 <property name="minimumSize">
1653 <size> 1744 <size>
1654 <width>100</width> 1745 <width>100</width>
1655 <height>0</height> 1746 <height>0</height>
1671 <item> 1762 <item>
1672 <widget class="QGroupBox" name="groupBox_15"> 1763 <widget class="QGroupBox" name="groupBox_15">
1673 <property name="title"> 1764 <property name="title">
1674 <string>Indentation Guides</string> 1765 <string>Indentation Guides</string>
1675 </property> 1766 </property>
1676 <layout class="QVBoxLayout" name="verticalLayout_5"> 1767 <layout class="QGridLayout" name="gridLayout_13">
1677 <item> 1768 <item row="0" column="0" colspan="3">
1678 <widget class="QCheckBox" name="indentguidesCheckBox"> 1769 <widget class="QCheckBox" name="indentguidesCheckBox">
1679 <property name="toolTip"> 1770 <property name="toolTip">
1680 <string>Select whether indentation guides should be shown.</string> 1771 <string>Select whether indentation guides should be shown.</string>
1681 </property> 1772 </property>
1682 <property name="text"> 1773 <property name="text">
1683 <string>Show Indentation Guides</string> 1774 <string>Show Indentation Guides</string>
1684 </property> 1775 </property>
1685 </widget> 1776 </widget>
1686 </item> 1777 </item>
1687 <item> 1778 <item row="1" column="0">
1688 <layout class="QHBoxLayout" name="_18"> 1779 <widget class="QLabel" name="TextLabel2_2_2_2_2_13">
1689 <item> 1780 <property name="text">
1690 <widget class="QLabel" name="TextLabel2_2_2_2_2_13"> 1781 <string>Indentation Guides foreground:</string>
1691 <property name="text"> 1782 </property>
1692 <string>Indentation Guides foreground:</string> 1783 </widget>
1693 </property> 1784 </item>
1694 </widget> 1785 <item row="1" column="1">
1695 </item> 1786 <widget class="QPushButton" name="indentationGuidesForegroundButton">
1696 <item> 1787 <property name="minimumSize">
1697 <widget class="QPushButton" name="indentationGuidesForegroundButton"> 1788 <size>
1698 <property name="minimumSize"> 1789 <width>100</width>
1699 <size> 1790 <height>0</height>
1700 <width>100</width> 1791 </size>
1701 <height>0</height> 1792 </property>
1702 </size> 1793 <property name="toolTip">
1703 </property> 1794 <string>Select the foreground color for indentation guides</string>
1704 <property name="toolTip"> 1795 </property>
1705 <string>Select the foreground color for indentation guides</string> 1796 <property name="text">
1706 </property> 1797 <string/>
1707 <property name="text"> 1798 </property>
1708 <string/> 1799 </widget>
1709 </property> 1800 </item>
1710 </widget> 1801 <item row="1" column="2">
1711 </item> 1802 <spacer name="horizontalSpacer_9">
1712 <item> 1803 <property name="orientation">
1713 <widget class="QLabel" name="TextLabel2_2_2_2_2_14"> 1804 <enum>Qt::Horizontal</enum>
1714 <property name="text"> 1805 </property>
1715 <string>Indentation Guides background:</string> 1806 <property name="sizeHint" stdset="0">
1716 </property> 1807 <size>
1717 </widget> 1808 <width>223</width>
1718 </item> 1809 <height>20</height>
1719 <item> 1810 </size>
1720 <widget class="QPushButton" name="indentationGuidesBackgroundButton"> 1811 </property>
1721 <property name="minimumSize"> 1812 </spacer>
1722 <size> 1813 </item>
1723 <width>100</width> 1814 <item row="2" column="0">
1724 <height>0</height> 1815 <widget class="QLabel" name="TextLabel2_2_2_2_2_14">
1725 </size> 1816 <property name="text">
1726 </property> 1817 <string>Indentation Guides background:</string>
1727 <property name="toolTip"> 1818 </property>
1728 <string>Select the background color for indentation guides</string> 1819 </widget>
1729 </property> 1820 </item>
1730 <property name="text"> 1821 <item row="2" column="1">
1731 <string/> 1822 <widget class="QPushButton" name="indentationGuidesBackgroundButton">
1732 </property> 1823 <property name="minimumSize">
1733 </widget> 1824 <size>
1734 </item> 1825 <width>100</width>
1735 </layout> 1826 <height>0</height>
1827 </size>
1828 </property>
1829 <property name="toolTip">
1830 <string>Select the background color for indentation guides</string>
1831 </property>
1832 <property name="text">
1833 <string/>
1834 </property>
1835 </widget>
1736 </item> 1836 </item>
1737 </layout> 1837 </layout>
1738 </widget> 1838 </widget>
1739 </item> 1839 </item>
1740 <item> 1840 <item>
2097 </property> 2197 </property>
2098 </widget> 2198 </widget>
2099 </item> 2199 </item>
2100 </layout> 2200 </layout>
2101 </widget> 2201 </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> 2202 </item>
2116 </layout> 2203 </layout>
2117 </widget> 2204 </widget>
2118 <tabstops> 2205 <tabstops>
2119 <tabstop>editAreaOverrideCheckBox</tabstop> 2206 <tabstop>editAreaOverrideCheckBox</tabstop>

eric ide

mercurial