[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Info nodes titles font size customization
From: |
Rodolfo Medina |
Subject: |
Re: Info nodes titles font size customization |
Date: |
Sun, 05 Oct 2008 23:41:52 +0100 |
User-agent: |
Gnus/5.110007 (No Gnus v0.7) Emacs/22.0.50 (gnu/linux) |
Rodolfo wrote:
>> Strange: this works:
>>
>> ;(custom-set-faces
>> ;; custom-set-faces was added by Custom.
>> ;; If you edit it by hand, you could mess it up, so be careful.
>> ;; Your init file should contain only one such instance.
>> ;; If there is more than one, they won't work right.
>> '(info-title-1 ((t (:inherit info-title-2 :height 1)))))
>>
>>
>> and this does not:
>>
>> (add-hook 'info-mode-hook (lambda ()
>> (set-face-attribute 'info-title-1 t
>> :inherit info-title-2
>> :height 1
>> )))
harven <harven@free.fr> writes:
> You need
>
> (add-hook 'info-mode-hook (lambda ()
> (set-face-attribute 'info-title-1 nil
> :inherit info-title-2
> :height 1)))
Unfortunately, this doesn't work either
- Re: Info nodes titles font size customization, (continued)
- Re: Info nodes titles font size customization, harven, 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, Lennart Borgman (gmail), 2008/10/05
- RE: Info nodes titles font size customization, Drew Adams, 2008/10/05
- Message not available
- Re: Info nodes titles font size customization, Joost Kremers, 2008/10/05
- Re: Info nodes titles font size customization, Richard Riley, 2008/10/06
- Re: Info nodes titles font size customization, Joost Kremers, 2008/10/07
- 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 <=
- 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