GNU bug report logs - #24153
25.1; Feature request: per-buffer cursor-color variable

Previous Next

Full log

Message #29 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Clément Pit--Claudel <clement.pit <at> gmail.com>
To: bug-gnu-emacs <at> gnu.org
Subject: Re: bug#24153: 25.1; Feature request: per-buffer cursor-color variable
Date: Fri, 5 Aug 2016 22:10:07 -0400

[Message part 1 (text/plain, inline)]

On 2016-08-04 22:17, Tej Chajed wrote:
>>> Perhaps using ‘buffer-list-update-hook’ instead of advising
>>> `select-window' would help?
>
> I haven't fully debugged this alternative, but it doesn't seem to
> work. company-coq still uses save-window-excursion in
> company-coq-ask-prover, which triggers the buffer-list-update-hook. 

IIRC I added this save-window-excursion call to work a Proof General issue, back when I didn't know much about PG.  Now that I have commit rights there, I could probably move the fix upstream and remove the save-window-excursion call.

Clément.

[signature.asc (application/pgp-signature, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.