|
1 <?xml version="1.0" encoding="UTF-8"?> |
|
2 <ui version="4.0"> |
|
3 <class>EditorSyntaxPage</class> |
|
4 <widget class="QWidget" name="EditorSyntaxPage"> |
|
5 <property name="geometry"> |
|
6 <rect> |
|
7 <x>0</x> |
|
8 <y>0</y> |
|
9 <width>400</width> |
|
10 <height>300</height> |
|
11 </rect> |
|
12 </property> |
|
13 <property name="windowTitle"> |
|
14 <string notr="true"/> |
|
15 </property> |
|
16 <layout class="QVBoxLayout" name="verticalLayout"> |
|
17 <item> |
|
18 <widget class="QLabel" name="headerLabel"> |
|
19 <property name="text"> |
|
20 <string><b>Configure Syntax Checker settings</b></string> |
|
21 </property> |
|
22 </widget> |
|
23 </item> |
|
24 <item> |
|
25 <widget class="Line" name="line2"> |
|
26 <property name="frameShape"> |
|
27 <enum>QFrame::HLine</enum> |
|
28 </property> |
|
29 <property name="frameShadow"> |
|
30 <enum>QFrame::Sunken</enum> |
|
31 </property> |
|
32 <property name="orientation"> |
|
33 <enum>Qt::Horizontal</enum> |
|
34 </property> |
|
35 </widget> |
|
36 </item> |
|
37 <item> |
|
38 <widget class="QGroupBox" name="onlineCheckBox"> |
|
39 <property name="toolTip"> |
|
40 <string>Select to enable the online syntax checker</string> |
|
41 </property> |
|
42 <property name="whatsThis"> |
|
43 <string><b>Online Syntax Check</b><p>Select this to enable syntax checks while typing. The check is performed, if typing is interrupted for the configured timeout period.</p></string> |
|
44 </property> |
|
45 <property name="title"> |
|
46 <string>Online Syntax Check</string> |
|
47 </property> |
|
48 <property name="checkable"> |
|
49 <bool>true</bool> |
|
50 </property> |
|
51 <layout class="QHBoxLayout" name="horizontalLayout"> |
|
52 <item> |
|
53 <widget class="QLabel" name="label"> |
|
54 <property name="text"> |
|
55 <string>Timeout Interval:</string> |
|
56 </property> |
|
57 </widget> |
|
58 </item> |
|
59 <item> |
|
60 <widget class="QSpinBox" name="onlineTimeoutSpinBox"> |
|
61 <property name="toolTip"> |
|
62 <string>Enter the timeout for the online syntax checker</string> |
|
63 </property> |
|
64 <property name="whatsThis"> |
|
65 <string><b>Timeout Interval</b><p>Enter the timeout interval for the online syntax check. The check is performed, if typing is interrupted for the configured timeout period.</p></string> |
|
66 </property> |
|
67 <property name="alignment"> |
|
68 <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set> |
|
69 </property> |
|
70 <property name="buttonSymbols"> |
|
71 <enum>QAbstractSpinBox::PlusMinus</enum> |
|
72 </property> |
|
73 <property name="suffix"> |
|
74 <string> s</string> |
|
75 </property> |
|
76 </widget> |
|
77 </item> |
|
78 <item> |
|
79 <spacer name="horizontalSpacer"> |
|
80 <property name="orientation"> |
|
81 <enum>Qt::Horizontal</enum> |
|
82 </property> |
|
83 <property name="sizeHint" stdset="0"> |
|
84 <size> |
|
85 <width>205</width> |
|
86 <height>20</height> |
|
87 </size> |
|
88 </property> |
|
89 </spacer> |
|
90 </item> |
|
91 </layout> |
|
92 </widget> |
|
93 </item> |
|
94 <item> |
|
95 <widget class="QGroupBox" name="groupBox"> |
|
96 <property name="title"> |
|
97 <string>Automatic Syntax Check</string> |
|
98 </property> |
|
99 <layout class="QHBoxLayout" name="horizontalLayout_2"> |
|
100 <item> |
|
101 <widget class="QCheckBox" name="automaticSyntaxCheckCheckBox"> |
|
102 <property name="toolTip"> |
|
103 <string>Select, whether source files should be checked automatically for syntax errors</string> |
|
104 </property> |
|
105 <property name="whatsThis"> |
|
106 <string><b>Automatic Syntax Check</b><p>Select to enable the automatic syntax checker. The syntax is checked, when a file is loaded or saved or the programming language of the editor is selected.</p></string> |
|
107 </property> |
|
108 <property name="text"> |
|
109 <string>Automatic Syntax Check</string> |
|
110 </property> |
|
111 </widget> |
|
112 </item> |
|
113 </layout> |
|
114 </widget> |
|
115 </item> |
|
116 <item> |
|
117 <spacer name="verticalSpacer"> |
|
118 <property name="orientation"> |
|
119 <enum>Qt::Vertical</enum> |
|
120 </property> |
|
121 <property name="sizeHint" stdset="0"> |
|
122 <size> |
|
123 <width>20</width> |
|
124 <height>108</height> |
|
125 </size> |
|
126 </property> |
|
127 </spacer> |
|
128 </item> |
|
129 </layout> |
|
130 </widget> |
|
131 <resources/> |
|
132 <connections/> |
|
133 </ui> |