[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Erc-discuss] [PATCH] erc: prefer 'font-lock-face to 'face where app
From: |
Lars Magne Ingebrigtsen |
Subject: |
Re: [Erc-discuss] [PATCH] erc: prefer 'font-lock-face to 'face where appropriate |
Date: |
Sun, 20 Mar 2016 11:52:26 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (gnu/linux) |
Vivek Dasmohapatra <address@hidden> writes:
> When inserting text into an erc buffer where font-locking is active
> and the highlighting is ad-hoc (ie not determined by predefined rules
> in font-lock-defaults, font-lock-keywords or similar) we should prefer
> the 'font-lock-face property for better interoperability with any
> other font-locking mechanisms that may be active.
After applying and compiling, I get the following error:
In toplevel form:
erc/erc-autoaway.el:31:1:Error: Assertion failed: (let ((str #("is bold" 3 7
(font-lock-face (bold erc-current-nick-face))))) (put-text-property 3 (length
str) (quote font-lock-face) (quote (bold erc-current-nick-face)) str)
(erc-faces-in str))
Could you have a look at that? This is with the current Emacs trunk.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: [Erc-discuss] bug#5001: erc should use 'font-lock-face, not 'face, Vivek Dasmohapatra, 2016/03/06
- [Erc-discuss] [PATCH] erc: prefer 'font-lock-face to 'face where appropriate, Vivek Dasmohapatra, 2016/03/09
- Re: [Erc-discuss] [PATCH] erc: prefer 'font-lock-face to 'face where appropriate,
Lars Magne Ingebrigtsen <=
- Re: [Erc-discuss] [PATCH] erc: prefer 'font-lock-face to 'face where appropriate, Vivek Dasmohapatra, 2016/03/21
- Re: [Erc-discuss] [PATCH] erc: prefer 'font-lock-face to 'face where appropriate, Vivek Dasmohapatra, 2016/03/25
- Re: [Erc-discuss] [PATCH] erc: prefer 'font-lock-face to 'face where appropriate, Vivek Dasmohapatra, 2016/03/25
- Re: [Erc-discuss] [PATCH] erc: prefer 'font-lock-face to 'face where appropriate, Vivek Dasmohapatra, 2016/03/25
- Re: [Erc-discuss] [PATCH] erc: prefer 'font-lock-face to 'face where appropriate, Vivek Dasmohapatra, 2016/03/29
- Re: [Erc-discuss] [PATCH] erc: prefer 'font-lock-face to 'face where appropriate, Lars Magne Ingebrigtsen, 2016/03/25