133
133
(agda2-highlight-typechecks-face
134
134
:foreground "black"
135
135
:background "light blue")))
136
((equal group 'default-faces)
136
((equal group 'default-faces)
137
137
(list (cons 'agda2-highlight-keyword-face
138
(agda2-highlight-face-attributes
139
font-lock-keyword-face))
140
(cons 'agda2-highlight-string-face
141
(agda2-highlight-face-attributes
142
font-lock-string-face))
143
(cons 'agda2-highlight-number-face
144
(agda2-highlight-face-attributes
145
font-lock-constant-face))
146
(cons 'agda2-highlight-symbol-face
147
(agda2-highlight-face-attributes
148
font-lock-keyword-face))
149
(cons 'agda2-highlight-primitive-type-face
150
(agda2-highlight-face-attributes
151
font-lock-keyword-face))
152
(cons 'agda2-highlight-bound-variable-face
153
(agda2-highlight-face-attributes
154
font-lock-variable-name-face))
155
(cons 'agda2-highlight-inductive-constructor-face
156
(agda2-highlight-face-attributes
157
font-lock-type-face))
158
(cons 'agda2-highlight-coinductive-constructor-face
159
(agda2-highlight-face-attributes
160
font-lock-type-face))
161
(cons 'agda2-highlight-datatype-face
162
(agda2-highlight-face-attributes
163
font-lock-type-face))
164
(cons 'agda2-highlight-field-face
165
(agda2-highlight-face-attributes
166
font-lock-variable-name-face))
167
(cons 'agda2-highlight-function-face
168
(agda2-highlight-face-attributes
169
font-lock-function-name-face))
170
(cons 'agda2-highlight-module-face
171
(agda2-highlight-face-attributes
172
font-lock-type-face))
173
(cons 'agda2-highlight-postulate-face
174
(agda2-highlight-face-attributes
175
font-lock-type-face))
176
(cons 'agda2-highlight-primitive-face
177
(agda2-highlight-face-attributes
178
font-lock-constant-face))
179
(cons 'agda2-highlight-record-face
180
(agda2-highlight-face-attributes
181
font-lock-variable-name-face))
182
(cons 'agda2-highlight-dotted-face
183
(agda2-highlight-face-attributes
184
font-lock-variable-name-face))
185
(cons 'agda2-highlight-operator-face
186
(agda2-highlight-face-attributes
187
font-lock-function-name-face))
188
(cons 'agda2-highlight-error-face
189
(agda2-highlight-face-attributes
190
font-lock-warning-face))
138
(agda2-highlight-face-attributes
139
font-lock-keyword-face))
140
(cons 'agda2-highlight-string-face
141
(agda2-highlight-face-attributes
142
font-lock-string-face))
143
(cons 'agda2-highlight-number-face
144
(agda2-highlight-face-attributes
145
font-lock-constant-face))
146
(cons 'agda2-highlight-symbol-face
147
(agda2-highlight-face-attributes
148
font-lock-keyword-face))
149
(cons 'agda2-highlight-primitive-type-face
150
(agda2-highlight-face-attributes
151
font-lock-keyword-face))
152
(cons 'agda2-highlight-bound-variable-face
153
(agda2-highlight-face-attributes
154
font-lock-variable-name-face))
155
(cons 'agda2-highlight-inductive-constructor-face
156
(agda2-highlight-face-attributes
157
font-lock-type-face))
158
(cons 'agda2-highlight-coinductive-constructor-face
159
(agda2-highlight-face-attributes
160
font-lock-type-face))
161
(cons 'agda2-highlight-datatype-face
162
(agda2-highlight-face-attributes
163
font-lock-type-face))
164
(cons 'agda2-highlight-field-face
165
(agda2-highlight-face-attributes
166
font-lock-variable-name-face))
167
(cons 'agda2-highlight-function-face
168
(agda2-highlight-face-attributes
169
font-lock-function-name-face))
170
(cons 'agda2-highlight-module-face
171
(agda2-highlight-face-attributes
172
font-lock-type-face))
173
(cons 'agda2-highlight-postulate-face
174
(agda2-highlight-face-attributes
175
font-lock-type-face))
176
(cons 'agda2-highlight-primitive-face
177
(agda2-highlight-face-attributes
178
font-lock-constant-face))
179
(cons 'agda2-highlight-record-face
180
(agda2-highlight-face-attributes
181
font-lock-variable-name-face))
182
(cons 'agda2-highlight-dotted-face
183
(agda2-highlight-face-attributes
184
font-lock-variable-name-face))
185
(cons 'agda2-highlight-operator-face
186
(agda2-highlight-face-attributes
187
font-lock-function-name-face))
188
(cons 'agda2-highlight-error-face
189
(agda2-highlight-face-attributes
190
font-lock-warning-face))
191
191
(cons 'agda2-highlight-typechecks-face
192
192
(agda2-highlight-face-attributes
193
193
font-lock-type-face))