205 |
|
|
206 |
(defcustom gnus-server-agent-face 'gnus-server-agent-face |
(defcustom gnus-server-agent-face 'gnus-server-agent-face |
207 |
"Face name to use on AGENTIZED servers." |
"Face name to use on AGENTIZED servers." |
208 |
|
:version "21.4" |
209 |
:group 'gnus-server-visual |
:group 'gnus-server-visual |
210 |
:type 'face) |
:type 'face) |
211 |
|
|
212 |
(defcustom gnus-server-opened-face 'gnus-server-opened-face |
(defcustom gnus-server-opened-face 'gnus-server-opened-face |
213 |
"Face name to use on OPENED servers." |
"Face name to use on OPENED servers." |
214 |
|
:version "21.4" |
215 |
:group 'gnus-server-visual |
:group 'gnus-server-visual |
216 |
:type 'face) |
:type 'face) |
217 |
|
|
218 |
(defcustom gnus-server-closed-face 'gnus-server-closed-face |
(defcustom gnus-server-closed-face 'gnus-server-closed-face |
219 |
"Face name to use on CLOSED servers." |
"Face name to use on CLOSED servers." |
220 |
|
:version "21.4" |
221 |
:group 'gnus-server-visual |
:group 'gnus-server-visual |
222 |
:type 'face) |
:type 'face) |
223 |
|
|
224 |
(defcustom gnus-server-denied-face 'gnus-server-denied-face |
(defcustom gnus-server-denied-face 'gnus-server-denied-face |
225 |
"Face name to use on DENIED servers." |
"Face name to use on DENIED servers." |
226 |
|
:version "21.4" |
227 |
:group 'gnus-server-visual |
:group 'gnus-server-visual |
228 |
:type 'face) |
:type 'face) |
229 |
|
|