[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Info nodes titles font size customization
From: |
Lennart Borgman (gmail) |
Subject: |
Re: Info nodes titles font size customization |
Date: |
Mon, 06 Oct 2008 00:46:15 +0200 |
User-agent: |
Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.9) Gecko/20071031 Thunderbird/2.0.0.9 Mnenhy/0.7.5.666 |
Rodolfo Medina wrote:
> 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
You misspelled the hook variable.
- Re: Info nodes titles font size customization, (continued)
- 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, 2008/10/05
- Re: Info nodes titles font size customization,
Lennart Borgman (gmail) <=
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