|
1 <?xml version="1.0" encoding="UTF-8"?> |
|
2 <ui version="4.0"> |
|
3 <class>EditorKeywordsPage</class> |
|
4 <widget class="QWidget" name="EditorKeywordsPage"> |
|
5 <property name="geometry"> |
|
6 <rect> |
|
7 <x>0</x> |
|
8 <y>0</y> |
|
9 <width>462</width> |
|
10 <height>422</height> |
|
11 </rect> |
|
12 </property> |
|
13 <layout class="QVBoxLayout" name="verticalLayout"> |
|
14 <item> |
|
15 <widget class="QLabel" name="headerLabel"> |
|
16 <property name="text"> |
|
17 <string><b>Configure syntax highlighter keywords</b></string> |
|
18 </property> |
|
19 </widget> |
|
20 </item> |
|
21 <item> |
|
22 <widget class="Line" name="line5"> |
|
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 <layout class="QHBoxLayout" name="horizontalLayout"> |
|
36 <item> |
|
37 <widget class="QLabel" name="TextLabel1_3_3"> |
|
38 <property name="toolTip"> |
|
39 <string/> |
|
40 </property> |
|
41 <property name="text"> |
|
42 <string>Language:</string> |
|
43 </property> |
|
44 <property name="buddy"> |
|
45 <cstring></cstring> |
|
46 </property> |
|
47 </widget> |
|
48 </item> |
|
49 <item> |
|
50 <widget class="QComboBox" name="languageCombo"> |
|
51 <property name="sizePolicy"> |
|
52 <sizepolicy hsizetype="Expanding" vsizetype="Fixed"> |
|
53 <horstretch>0</horstretch> |
|
54 <verstretch>0</verstretch> |
|
55 </sizepolicy> |
|
56 </property> |
|
57 <property name="toolTip"> |
|
58 <string>Select the language to be configured.</string> |
|
59 </property> |
|
60 </widget> |
|
61 </item> |
|
62 <item> |
|
63 <widget class="QLabel" name="label"> |
|
64 <property name="text"> |
|
65 <string>Set:</string> |
|
66 </property> |
|
67 </widget> |
|
68 </item> |
|
69 <item> |
|
70 <widget class="QSpinBox" name="setSpinBox"> |
|
71 <property name="minimum"> |
|
72 <number>1</number> |
|
73 </property> |
|
74 <property name="maximum"> |
|
75 <number>8</number> |
|
76 </property> |
|
77 </widget> |
|
78 </item> |
|
79 </layout> |
|
80 </item> |
|
81 <item> |
|
82 <widget class="QLabel" name="setDescriptionLabel"> |
|
83 <property name="text"> |
|
84 <string/> |
|
85 </property> |
|
86 </widget> |
|
87 </item> |
|
88 <item> |
|
89 <widget class="QPlainTextEdit" name="keywordsEdit"> |
|
90 <property name="toolTip"> |
|
91 <string>Enter the keywords separated by a blank</string> |
|
92 </property> |
|
93 </widget> |
|
94 </item> |
|
95 <item> |
|
96 <layout class="QHBoxLayout" name="horizontalLayout_2"> |
|
97 <item> |
|
98 <widget class="QPushButton" name="defaultButton"> |
|
99 <property name="toolTip"> |
|
100 <string>Press to set the current keyword set to the default value</string> |
|
101 </property> |
|
102 <property name="text"> |
|
103 <string>to Default</string> |
|
104 </property> |
|
105 </widget> |
|
106 </item> |
|
107 <item> |
|
108 <widget class="QPushButton" name="allDefaultButton"> |
|
109 <property name="toolTip"> |
|
110 <string>Press to set all keyword sets of the selected language to default values</string> |
|
111 </property> |
|
112 <property name="text"> |
|
113 <string>All to Defaults</string> |
|
114 </property> |
|
115 </widget> |
|
116 </item> |
|
117 </layout> |
|
118 </item> |
|
119 </layout> |
|
120 </widget> |
|
121 <tabstops> |
|
122 <tabstop>languageCombo</tabstop> |
|
123 <tabstop>setSpinBox</tabstop> |
|
124 <tabstop>keywordsEdit</tabstop> |
|
125 </tabstops> |
|
126 <resources/> |
|
127 <connections/> |
|
128 </ui> |