19 entry will open an editor window and position the cursor at the respective line and position.</p></string> |
19 entry will open an editor window and position the cursor at the respective line and position.</p></string> |
20 </property> |
20 </property> |
21 <property name="sizeGripEnabled"> |
21 <property name="sizeGripEnabled"> |
22 <bool>true</bool> |
22 <bool>true</bool> |
23 </property> |
23 </property> |
24 <layout class="QVBoxLayout" name="verticalLayout_6"> |
24 <layout class="QVBoxLayout" name="verticalLayout_7"> |
25 <item> |
25 <item> |
26 <widget class="QFrame" name="filterFrame"> |
26 <widget class="QFrame" name="filterFrame"> |
27 <property name="sizePolicy"> |
27 <property name="sizePolicy"> |
28 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> |
28 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> |
29 <horstretch>0</horstretch> |
29 <horstretch>0</horstretch> |
31 </sizepolicy> |
31 </sizepolicy> |
32 </property> |
32 </property> |
33 <property name="frameShape"> |
33 <property name="frameShape"> |
34 <enum>QFrame::NoFrame</enum> |
34 <enum>QFrame::NoFrame</enum> |
35 </property> |
35 </property> |
36 <layout class="QHBoxLayout" name="horizontalLayout_5"> |
36 <layout class="QHBoxLayout" name="horizontalLayout_2"> |
37 <property name="leftMargin"> |
|
38 <number>0</number> |
|
39 </property> |
|
40 <property name="topMargin"> |
|
41 <number>0</number> |
|
42 </property> |
|
43 <property name="rightMargin"> |
|
44 <number>0</number> |
|
45 </property> |
|
46 <property name="bottomMargin"> |
|
47 <number>0</number> |
|
48 </property> |
|
49 <item> |
37 <item> |
50 <widget class="QTabWidget" name="optionsTabWidget"> |
38 <widget class="QTabWidget" name="optionsTabWidget"> |
51 <property name="currentIndex"> |
39 <property name="currentIndex"> |
52 <number>0</number> |
40 <number>0</number> |
53 </property> |
41 </property> |
256 <widget class="QWidget" name="scrollAreaWidgetContents"> |
244 <widget class="QWidget" name="scrollAreaWidgetContents"> |
257 <property name="geometry"> |
245 <property name="geometry"> |
258 <rect> |
246 <rect> |
259 <x>0</x> |
247 <x>0</x> |
260 <y>0</y> |
248 <y>0</y> |
261 <width>561</width> |
249 <width>543</width> |
262 <height>932</height> |
250 <height>887</height> |
263 </rect> |
251 </rect> |
264 </property> |
252 </property> |
265 <layout class="QVBoxLayout" name="verticalLayout_7"> |
253 <layout class="QVBoxLayout" name="verticalLayout_6"> |
266 <item> |
254 <item> |
267 <widget class="QGroupBox" name="groupBox"> |
255 <widget class="QGroupBox" name="groupBox"> |
268 <property name="title"> |
256 <property name="title"> |
269 <string>Source Style</string> |
257 <string>Source Style</string> |
270 </property> |
258 </property> |
743 <property name="maximum"> |
731 <property name="maximum"> |
744 <number>100</number> |
732 <number>100</number> |
745 </property> |
733 </property> |
746 <property name="value"> |
734 <property name="value"> |
747 <number>10</number> |
735 <number>10</number> |
|
736 </property> |
|
737 </widget> |
|
738 </item> |
|
739 </layout> |
|
740 </widget> |
|
741 </item> |
|
742 <item> |
|
743 <widget class="QGroupBox" name="groupBox_10"> |
|
744 <property name="title"> |
|
745 <string>Type Annotations</string> |
|
746 </property> |
|
747 <layout class="QGridLayout" name="gridLayout_6"> |
|
748 <item row="0" column="0"> |
|
749 <widget class="QLabel" name="label_18"> |
|
750 <property name="text"> |
|
751 <string>Min. Coverage:</string> |
|
752 </property> |
|
753 </widget> |
|
754 </item> |
|
755 <item row="0" column="1"> |
|
756 <widget class="QSpinBox" name="minAnnotationsCoverageSpinBox"> |
|
757 <property name="toolTip"> |
|
758 <string>Enter the minimum percentage of type annotations</string> |
|
759 </property> |
|
760 <property name="specialValueText"> |
|
761 <string>off</string> |
|
762 </property> |
|
763 <property name="suffix"> |
|
764 <string>%</string> |
|
765 </property> |
|
766 <property name="maximum"> |
|
767 <number>100</number> |
|
768 </property> |
|
769 </widget> |
|
770 </item> |
|
771 <item row="0" column="2"> |
|
772 <spacer name="horizontalSpacer_7"> |
|
773 <property name="orientation"> |
|
774 <enum>Qt::Horizontal</enum> |
|
775 </property> |
|
776 <property name="sizeHint" stdset="0"> |
|
777 <size> |
|
778 <width>352</width> |
|
779 <height>20</height> |
|
780 </size> |
|
781 </property> |
|
782 </spacer> |
|
783 </item> |
|
784 <item row="1" column="0"> |
|
785 <widget class="QLabel" name="label_19"> |
|
786 <property name="text"> |
|
787 <string>Max. Complexity:</string> |
|
788 </property> |
|
789 </widget> |
|
790 </item> |
|
791 <item row="1" column="1"> |
|
792 <widget class="QSpinBox" name="maxAnnotationsComplexitySpinBox"> |
|
793 <property name="toolTip"> |
|
794 <string>Enter the maximum type annotation complexity</string> |
|
795 </property> |
|
796 <property name="minimum"> |
|
797 <number>1</number> |
|
798 </property> |
|
799 <property name="maximum"> |
|
800 <number>9</number> |
748 </property> |
801 </property> |
749 </widget> |
802 </widget> |
750 </item> |
803 </item> |
751 </layout> |
804 </layout> |
752 </widget> |
805 </widget> |
963 <tabstop>deleteBuiltinButton</tabstop> |
1016 <tabstop>deleteBuiltinButton</tabstop> |
964 <tabstop>aggressiveCheckBox</tabstop> |
1017 <tabstop>aggressiveCheckBox</tabstop> |
965 <tabstop>complexitySpinBox</tabstop> |
1018 <tabstop>complexitySpinBox</tabstop> |
966 <tabstop>lineComplexitySpinBox</tabstop> |
1019 <tabstop>lineComplexitySpinBox</tabstop> |
967 <tabstop>lineComplexityScoreSpinBox</tabstop> |
1020 <tabstop>lineComplexityScoreSpinBox</tabstop> |
|
1021 <tabstop>minAnnotationsCoverageSpinBox</tabstop> |
|
1022 <tabstop>maxAnnotationsComplexitySpinBox</tabstop> |
968 <tabstop>startButton</tabstop> |
1023 <tabstop>startButton</tabstop> |
969 <tabstop>fixButton</tabstop> |
1024 <tabstop>fixButton</tabstop> |
970 <tabstop>loadDefaultButton</tabstop> |
1025 <tabstop>loadDefaultButton</tabstop> |
971 <tabstop>storeDefaultButton</tabstop> |
1026 <tabstop>storeDefaultButton</tabstop> |
972 <tabstop>resetDefaultButton</tabstop> |
1027 <tabstop>resetDefaultButton</tabstop> |