[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [solved] Re: Info nodes titles font size customization
From: |
harven |
Subject: |
Re: [solved] Re: Info nodes titles font size customization |
Date: |
Sat, 11 Oct 2008 12:36:26 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.1 (darwin) |
Rodolfo Medina <rodolfo.medina@gmail.com> writes:
> In my ~/.emacs I put the following stuff:
>
> (add-hook
> 'Info-mode-hook
> (lambda ()
> (set-face-attribute
> 'info-title-1 nil
> :weight 'bold
> :height 1
> :family "-Sony-Fixed-Medium-R-Normal--16-120-100-100-C-80-ISO8859-1"
> )))
>
> (add-hook
> 'Info-mode-hook
> (lambda ()
> (set-face-attribute
> 'info-title-3 nil
> :weight 'bold
> :height 1
> :family "-Sony-Fixed-Medium-R-Normal--16-120-100-100-C-80-ISO8859-1"
> )))
>
> (add-hook
> 'Info-mode-hook
> (lambda ()
> (set-face-attribute
> 'info-menu-header nil
> :weight 'bold
> :height 1
> :family "-Sony-Fixed-Medium-R-Normal--16-120-100-100-C-80-ISO8859-1"
> )))
>
>
> One can learn more about those variable from the Elisp manual (`C-h i' from
> Emacs buffer).
>
> Thanks to all who helped.
> Rodolfo
A bit shorter, by using the mapc function, which applies the set-face-attribute
to all faces in the list:
(add-hook 'Info-mode-hook
(lambda () (mapc
(lambda (x)
(set-face-attribute x nil
:weight 'bold
:height 1
:family "-Sony-Fixed-Medium-R-Normal--16-120-100-100-C-80-ISO8859-1"))
(list 'info-title-1 'info-title-3 'info-menu-header))))
Cheers
- Re: Info nodes titles font size customization, (continued)
- Re: Info nodes titles font size customization, Nikolaj Schumacher, 2008/10/05
- Message not available
- Re: Info nodes titles font size customization, Rodolfo Medina, 2008/10/05
- Re: Info nodes titles font size customization, harven, 2008/10/05
- Re: Info nodes titles font size customization, Rodolfo Medina, 2008/10/05
- Re: Info nodes titles font size customization, Lennart Borgman (gmail), 2008/10/05
RE: Info nodes titles font size customization, Drew Adams, 2008/10/05
Re: Info nodes titles font size customization, Reiner Steib, 2008/10/05
[solved] Re: Info nodes titles font size customization, Rodolfo Medina, 2008/10/11
- Re: [solved] Re: Info nodes titles font size customization,
harven <=